- 论坛徽章:
- 0
|
http://hongen.com/proedu/jsjkj/jsjdjks/stjj/html/jj042554.ht
2.2 群
下面讨论一个典型的代数系统。
2.2.1 群的基本概念
定义⒈ 设 为代数系统, 是 上的二元运算,如果
⑴ 运算 是可结合的;
⑵ 存在单位元 ;
⑶ 中每个元素都是可逆的
则称 为群。
由定义可知,
⑴ 群中没有零元(零元不可逆);
⑵ 群中每个元素的逆元都是唯一的。
例⒈ 是群(+为普通加法)
+满足结合律,对任意的 ,
0是运算+的单位元,又由于
所以 从而 为群。
( 为普通乘法)不是群。对于任意的 ,由于
所以0为运算•的零元,零元不可逆。 不满足群的定义
定义2. 设 为群,如果 中含有无限个元素,则称 是无限群,如果 中含有有限个元素,则称 为有限群。称 ( 中所含元素的个数)为群 的阶。
为无限群。
例2. 设代数系统为 ,证明 是群
证明 的运算表为
0 1 2
0
1
2 0 1 2
1 2 0
2 0 1
由运算表可知, 满足结合律。即对任意的 ,有
单位元为0,且每个元素均可逆
所以 是群。由于 ,故 为三阶群。
通常将群的运算记为 •
下面介绍两类重要的群。
交换群
定义3. 设 是群,如果•是可交换的,则称 为交换群或阿贝尔群。
由 的运算表可知 为交换群。
例3. 设 为代数系统, ,运算表为
e a b c
e
a
b
c e a b c
a e c b
b c e a
c b a e
证明 是交换群。
证明 由运算表可见运算 满足交换律, 是单位元,对任意的 ,逐一验证,可知
即运算 满足结合律。
由运算表可知
综上, 为交换群。
上面的群称为Klein四阶元群。
设 为群,由于群中单位元存在,对任意的 ,规定
由于群中每个元素都有逆元,规定
( 为正整数)
因而,对于群来说,幂运算可以扩充到整数。
循环群
定义4. 设 为群,如果存在 ,使得
则称 为循环群,称 为循环群 的生成元。
例4. 是3阶循环群。
前面已证明了 为交换群,由于
因而1为 的生成元,所以 为循环群。
例5. 是无限阶循环群。
前面已证明了, 是群,由于 满足交换律,所以 是交换群
的单位元为0,对于1 ,由于
1+(-1)=0
所以 ,于是对任意 ,
若 ,则
;
若 ,则
若 ,则
综上,有 ,对任意的 . 因而, ,从而 是无限阶循环群。
同理可证-1也是 的生成元。容易验证除1和-1外,其它元素均不是生成元,故 只有两个生成元1和-1.
若 为循环群,则
从而有对任意的 ,则 ,于是
所以循环群一定是交换群,但反之不成立。在例3中 , 为交换群,但 均不是生成元。故 不是循环群。
[/img] |
|