= 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" } 정의함.
----
AKA '''[[아벨_군,abelian_group]]'''

[[https://terms.naver.com/entry.naver?docId=3404934&cid=47324&categoryId=47324 수학백과: 가환군]]

Up; [[군,group]]