加群

群の定義

集合Ｇにおいて、その中の任意の要素a,bについて、演算abが一意に定まり、 以下の条件を満たす時、集合Ｇは群であるという．
    　　
  1. 結合法則が成り立つ
    2. 　　
  2. 演算について単位元が存在する
    3. 　　
  3. 任意の要素について、逆元が存在する

加群の定義

群の定義に加えて、交換法則が成り立つ時、この集合は加群であるという．