군의 정의를 만족하면서
교환법칙,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