半群与群

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

授课时间第十二周第 1 次课

半群与独异点的子代数和积代数

半群与独异点的同态

群的定义与性质

子群与群的直积

循环群

置换群

二、教学内容

半群的定义与实例

定义设V= 是代数系统,o为二元运算,如果ο运算是可结合的,则称V 为半群.

实例(1),,,,都是半群,+是

普通加法.

(2)设n 是大于1的正整数,都是半

群,其中+和·分别表示矩阵加法和矩阵乘法.

(3)为半群,其中⊕为集合的对称差运算.

(4)为半群,其中Zn={0,1, …, n-1},⊕为模n 加法.

(5)为半群,其中ο为函数的复合运算.

(6)为半群,其中R*为非零实数集合,ο运算定义

如下:∀x, y∈R*, x ο y =y

元素的幂运算性质

元素的幂运算定义

设V=为半群,对任意x∈S,规定:

x1 = x

xn+1 = xnο x,n∈Z+

幂运算规则:

xn ο xm = xn+m

(xn)m= xnm m, n∈Z+

证明方法:数学归纳法

特殊的半群

定义设V = 是半群

(1) 若ο运算是可交换的,则称V 为交换半群.

(2) 若e∈S 是关于ο运算的幺元,则称V 是含幺半群,也叫做独异点.

独异点V 记作V =

独异点的幂

独异点的幂运算定义

x0 = e

xn+1 = xnο x,n∈N

幂运算规则

xn ο xm = xn+m

(xn)m= xnm m, n∈N

交换半群和独异点的实例

例1 (1),,,都是交

换半群,也是独异点,+ 是普通加法.

(2)设n 是大于1 的正整数,都是

独异点,其中+和·分别表示矩阵加法和矩阵乘法. 加

法构成交换半群,乘法不是交换半群.

(3)为交换半群和独异点,其中⊕为集合的对

称差运算.

(4)为交换半群与独异点,其中Zn = {0, 1, …,

n-1},⊕为模n 加法.

(5)为独异点,不是交换半群,其中ο为函数的

复合运算.

半群与独异点的子代数

定义半群的子代数称为子半群,独异点的子代数称

为子独异点

判断方法

设V=为半群,T 是S 的非空子集,

T 是V 的子半群当且仅当T 对o 运算封闭.

设V = 为独异点,T 是V 的子独异点当且仅当T 对o 运算封闭,且e∈T 实例:

, 的子半群,

的子独异点,不是的子独异点.

半群与独异点的积代数

定义设V1=,V2= 是半群(或独异

点),令S = S1×S2,定义S 上的·运算如下:

,∈S,

· = < aοc, b∗d >

为V1 和V2 的积半群(直积),记作

V1×V2. 若V1 = 和V2 = 是独

异点,则V1×V2 = > 也是独异

点, 称为独异点的积独异点(直积).

半群和独异点的同态

定义(1) 设V1= ,V2= 是半群,ϕ:

S1→S2. 若对任意的x, y∈S1有

ϕ (xοy) = ϕ(x) ∗ϕ(y)

则称ϕ为半群V1 到V2 的同态映射,简称同态.

(2) 设V1 = ,V2 = 是独异点,

ϕ: S1→S2. 若对任意的x, y∈S1有

ϕ (xοy) = ϕ(x) ∗ϕ(y) 且ϕ (e1) = e2,

则称ϕ为独异点V1 到V2 的同态映射,简称同态.

同态的实例

例2 设半群 V1 = ,独异点 V2= . 其中 · 为矩阵乘法,e 为 2 阶单位矩阵,

令 ϕ :S →S, , ϕ 是半群 V1 的自同

态,不是独异点 V2 的自同态,因为它没有将 V2 的单

位元映到 V2 的单位元.

群的定义与性质

群的定义与实例

群中的术语

有限群、无限群与群的阶

Abel 群

群中元素的幂

元素的阶

群的性质

幂运算规则、

群方程的解

消去律

群的运算表的排列

群的定义与实例

定义 设是代数系统,ο为二元运算. 如果 ο

运算是可结合的,存在幺元 e ∈G ,并且对 G 中

的任何元素 x 都有 x -1∈G ,则称 G 为 群.

群的实例

(1) ,,是群;,不是群.

(2) 是群,而不是群.

(3) 是群,⊕为对称差运算.

(4) 是群. Zn={ 0,1, …, n -1},⊕为模 n 加.

Klein 四元群

设G = { e, a, b, c },G 上的运算由下表给出,

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 四元群

群中的术语

实例 ⎭⎬⎫⎩⎨⎧∈⎪⎪⎭⎫ ⎝⎛=R d a d a S ,|00⎪⎪⎭⎫ ⎝⎛=⎪⎪⎭⎫ ⎝⎛⎪⎪⎭⎫ ⎝⎛00000a d a ϕ

相关文档
最新文档