1. 半群
设 < S , ∗ > <S,*> <S,∗>为一代数系统,若运算" * "满足结合律,即 ∀ x , y , z ∈ S \forall x,y ,z \in S ∀x,y,z∈S,有 ( x ∗ y ) ∗ z = x ∗ ( y ∗ z ) (x*y)*z=x*(y*z) (x∗y)∗z=x∗(y∗z),则称 < S , ∗ > <S,*> <S,∗>为半群。
2. 幺半群
设 < S , ∗ > <S,*> <S,∗>为一半群,若 < S , ∗ > <S,*> <S,∗>中有单位元,即存在 e ∈ S e \in S e∈S,使得 ∀ x ∈ S \forall x \in S ∀x∈S, x e = e x = x xe=ex=x xe=ex=x,则称 < S , ∗ > <S,*> <S,∗>为幺半群(有1半群、独立点)
3. 群
设
<
G
,
∗
>
<G,*>
<G,∗>为幺半群,如果
∀
a
∈
G
\forall a \in G
∀a∈G,
a
a
a的逆元
a
−
1
a^{-1}
a−1均存在,则称
<
G
,
∗
>
<G,*>
<G,∗>为群。换而言之,一代数系统
<
G
,
∗
>
<G,*>
<G,∗>。如果满足下列条件:
(1)结合律成立,
(
a
b
)
c
=
a
(
b
c
)
(ab)c=a(bc)
(ab)c=a(bc),
∀
a
,
b
,
c
∈
G
\forall a,b,c \in G
∀a,b,c∈G
(2)
G
G
G中有单位元
e
e
e,
e
a
=
a
e
=
a
ea=ae=a
ea=ae=a,
∀
a
∈
G
\forall a \in G
∀a∈G
(3)
∀
a
∈
G
\forall a \in G
∀a∈G,存在
a
−
1
∈
G
a^{-1} \in G
a−1∈G使
a
−
1
a
=
a
a
−
1
=
e
a^{-1}a=aa^{-1}=e
a−1a=aa−1=e
称
<
G
,
∗
>
<G,*>
<G,∗>为群。
4. 循环群
设 G G G是一个群,如果存在 a ∈ G a \in G a∈G,使得 G = ( a ) = { a i ∣ i ∈ Z } G=(a)=\{a^i |i \in Z\} G=(a)={ai∣i∈Z},称 G G G为由 a a a生成的循环群, a a a为其生成元。
5. 置换群
有限集 S S S到自身的双射称为 S S S上的置换,当 ∣ S ∣ = n |S|=n ∣S∣=n时, S S S上的置换也称为 n n n次置换。
-
例:
设 S = { 1 , 2 , … , n } S=\{1,2,\dots,n\} S={1,2,…,n},要确定 S S S上的一个置换 δ \delta δ,只要给出 S S S中任一元素 i i i在 δ \delta δ下的象即可,因此, δ \delta δ可以表示成如下形式
δ = ( 1 2 … n δ ( 1 ) δ ( 2 ) … δ ( n ) ) \delta = \begin{pmatrix} 1 & 2 & \dots & n\\ \delta(1) & \delta(2) & \dots & \delta(n) \\ \end{pmatrix} δ=(1δ(1)2δ(2)……nδ(n)) -
例:
( 1 2 3 4 2 4 3 1 ) = ( 1 2 4 ) \begin{pmatrix} 1 & 2 & 3 & 4\\ 2& 4 & 3 & 1 \\ \end{pmatrix} =(1 \quad 2 \quad 4) (12243341)=(124)( 1 2 3 4 1 3 2 4 ) = ( 2 4 ) \begin{pmatrix} 1 & 2 & 3 & 4\\ 1& 3 & 2 & 4 \\ \end{pmatrix} = (2 \quad 4) (11233244)=(24)
( 1 2 3 4 1 2 3 4 ) = ( 1 ) \begin{pmatrix} 1 & 2 & 3 & 4\\ 1& 2 & 3 & 4 \\ \end{pmatrix} = (1) (11223344)=(1)