代数系统--群（1）

 

子群：设（G，*）是群，A是G的非空子群，且（A，*）是群，则称（A，*）是（G，*）的子群。（A，*）与（G，*）有相同的幺元。

({e},*)和（G，*）也都是（G，*）的子群，称这两个群为平凡子群，其它子群为非平凡子群。

定理:设（G，*）是群，A是G的有限子群，如果*对于A是封闭的，则（A，*）是（G，*）的子群。

定理：设（G，*）是n阶有限群，如果（G，*）具有k阶子群，则k必能整除n..

 

循环群：设（G，*）是有限群，如果G中存在着元素a,使得G中任意元素g都能表示成a的幂的形式，即g=a的k次幂。则称a为群G的生成元，具有生成元的群称为循环群。

定理1,设（G，*）是n阶循环群，a是生成元，则生成元的阶数是n.

推论:当a的阶数n与群的阶数相同时，a就是生成元，群为n阶循环群。

定理：设（G，*）是n阶循环群，a是生成元，则G={a1,a2,a3…an}

定理：k阶循环群同构于模K加。（同构，对应元素个数相同）

定理：循环群一定为阿贝尔群。

 

半群：满足封闭可结合运算的代数系统。

子半群：设（A，*）是半群，B是A的子集，且（B，*）也是半群，则称（B，*）为

（A，*）的子半群。

定理1：设（A，*）是半群，B是A的子集，如果*对于B是封闭的，则（B，*）为

（A，*）的子半群。

独异点：封闭，可结合，有幺元的代数系统。即含幺元的半群。、

子独异点：设（A，*）是独异点，B是A的子集，如果（B,*）是独异点，且其幺元与

（A，*）的幺元相同，则称（B，*）为（A，*）的子独异点。

结论：（A，*）是独异点，则*的运算表中任意两行，两列均不相同。

 

群：封闭，可结合，有幺元，且每一个元素都存在逆元的代数系统。

有限群与无限群：群（G,*）中，如果G是有限集合，则称此群为有限群。G中元素的个数称为该有限群的阶数；如果G是无限集合，则称此群为无限群。

定义：设（G，*）是群，如果*对于G是可交换运算，则称此群为可交换群或 阿贝尔群。

群的基本性质：

1， 群中的幺元是唯一的等幂元。

2， 设（G，*）是群，a属于G，如果对于G中一个元素b有a*b=b(或b*a=b)，则a是(G,*)的幺元。

3， 设（G，*）是群，对于G中任意元素a和b,都有（a*b）逆=b逆*a逆

4， 设（G，*）是群，对于G中任意元素a,b ,c，如果成立着a*b=a*c或b*a=c*a，则必有b=c

5， 设（G，*）是有限群，则在*的运算表中，每一行（或每一列）的元素都是不相同的