群环域
群
原群 Magma
原群是一种基本的代数结构，只要满足两元素作二元运算得到新元素仍属于该集合，即满足封闭性（closure）。
一言以蔽之，原群是运算具有 封闭性 的集合。即， G × G → G G\times G\to G G×G→G.
半群 Semigroup
代数结构在原群的基础上，若满足结合律，我们称之为半群。即， V = ( G , R ) V=(G,R) V=(G,R) , 若满足 ( a R b ) R c = a R ( b R c ) , ∀ a , b , c ∈ G (aRb)Rc=aR(bRc),\forall a,b,c \in G (aRb)Rc=aR(bRc),∀a,b,c∈G , 则称 V V V 是半群.
幺半群 Monoid
幺半群是在半群的基础上，还需要满足具有单位元。
单位元：若半群 V = ( G , R ) V=(G,R) V=(G,R)满足 ∀ a ∈ G , a R e = e R a = a \forall a \in G, a Re = e R a = a ∀a∈G,aRe=eRa=a. 则称 e e e 为 G G G 在 R R R 运算上的单位元。 V V V 此时为幺半群。
易知， a a a在加法的单位元为 0 0 0，在乘法的单位元为 1 1 1.
群 Group
若幺半群中每个元素都有逆元，我们称之为群。
逆元：若满足 ∀ a ∈ G \forall a \in G ∀a∈G, 一定存在另外一个元素 b b b 使得 a R b = e aRb=e aRb=e. 我们称 a a a 和 b b b 互为在 R R R 运算上的逆元。一般将 a a a 的逆元记作 a − 1 a^{-1} a−1。
易知， a a a在加法的逆元为相反数 − a -a −a，乘法的逆元为倒数 1 / a 1/a 1/a.
由此我们可以得出群的定义：
群(group)是两个元素作二元运算得到的一个新元素，需要满足群公理(group axioms)，即：
-
封闭性： ∀ a , b \forall a,b ∀a,b ∈ \in ∈ G G G, a R b ∈ G aRb \in G aRb∈G .
-
结合律： ∀ a , b , c \forall a,b,c ∀a,b,c ∈ \in ∈ G G G, ( a R b ) R c = a R ( b R c ) (a R b) Rc = a R (b Rc) (aRb)Rc=aR(bRc).
-
单位元： ∀ a ∈ G \forall a\in G ∀a∈G, a R e = e R a = a a Re = e R a = a aRe=eRa=a.
-
逆 元： ∀ a ∈ G \forall a\in G ∀a∈G, a R a − 1 = e aRa^{-1}=e aRa−1=e.
如，除0之外的有理数 在乘法下构成一个群。
阿贝尔群/交换群 Abelian Group
阿贝尔群(Abelian Group)在群的基础上，还需满足交换律(commutative)。如整数集合和加法运算， ( Z , + ) (Z,+) (Z,+)是一个阿贝尔群。
交换律： ∀ a , b ∈ G , a R b = b R a \forall a,b \in G, aRb=bRa ∀a,b∈G,aRb=bRa
References
http://sparkandshine.net/en/algebraic-structure-primer-group-ring-field-vector-space/
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
