via 수백 ¶
군의 정의를 만족하면서 교환법칙,commutativity(vg pagename. rename예정. 교환성,commutativity or 가환성,commutativity?)까지 만족하는
다시말해 다음 1~4까지 만족하는 군,group이면서 추가로 5까지 만족하는 것.
1. 닫힘성,closure
2. 결합성,associativity
3. 항등원,identity_element의 존재성,existence
4. 역원,inverse_element의 존재성
5. 교환성,commutativity
5번을 만족하지 않으면 비가환군, =비가환군, { AKA 비아벨군 비가환군 비가환군 비가환군 } (또는 비아벨군)이라 한다.
(정리) 모든 순환군, =순환군, { 순환군 } 은 가환군이다.
direct_product { direct product 직접 직곱 ... direct product Wten:direct_product "direct product" "direct product" } direct_sum { direct sum 직합 .. direct_sum
다시말해 다음 1~4까지 만족하는 군,group이면서 추가로 5까지 만족하는 것.
1. 닫힘성,closure
2. 결합성,associativity
3. 항등원,identity_element의 존재성,existence
4. 역원,inverse_element의 존재성
5. 교환성,commutativity
5번을 만족하지 않으면 비가환군, =비가환군, { AKA 비아벨군 비가환군 비가환군 비가환군 } (또는 비아벨군)이라 한다.
(정리) 모든 순환군, =순환군, { 순환군 } 은 가환군이다.
direct_product { direct product 직접 직곱 ... direct product Wten:direct_product "direct product" "direct product" } direct_sum { direct sum 직합 .. direct_sum
Up; 군,group