가환군,commutative_group

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 비아벨군 KmsK:비가환군 Ndict:비가환군 Bing:비가환군 } (또는 비아벨군)이라 한다.
(정리) 모든 순환군, =순환군, { Bing:순환군 } 은 가환군이다.
direct_product { direct product 직접 직곱 ... KmsE:direct product Wten:direct_product "direct product" "direct product" } direct_sum { direct sum 직합 .. WtEn:direct_sum
KmsE:direct sum "direct sum" "direct sum" } 정의함.