离散数学 第四章 代数系统(2)
第四章-代数系统

例: 设<S,*>和<T,+>是两个代数系统,其中*和+均是二 元运算。在集合S×T上定义运算为:<x1,y1><x2,y2>=
<x1*x2,y1+y2>,则<S×T,>构成代数系统。
证明 对于任意的<a,b>、<c,d>∈S×T,有a、c∈S和b、 d∈T。由<S,*>是代数系统可得,a*c∈S且惟一确定。由<T, +>是代数系统可得,b+d∈T且惟一确定。因此,对于运算来说, <a,b><c,d>=<a*c,b+d>∈S×T且惟一确定,故<S×T,> 构成代数系统。
定理设<S,*>是一个代数系统,|S|>1,若存在单位元e和 零元 ,则e≠。 证明 反证法。若e=,则对任意的x∈S,必有x=e*x=
*x=,可见S中的元素都相同,与|S|>1矛盾。所以e≠。
例:设S={a,b,c},且对任意的x、y∈S有x*y=x。列 出运算表,并判断*的性质和相应的特殊元素。 解 运算表如下表所示
(2)若一个元素x的逆元x-1存在,则x-1是惟一的。 证明 (1) xl=xl*e=xl *(x*xr)=(xl*x)*xr=e*xr=xr 。 (2)若x∈S也是x的逆元,则x=x*e=x*(x*x-1)=(x*x)*x-1 =e*x-1=x-1。
幂等律与幂等元
定义:设<S,*>是一个代数系统,若对任意的x∈S有x*x= x,则称*是幂等的,或说*满足幂等律。若a∈S,使得a*a=a, 则称a是幂等元。 例:给定<P(A),∩,∪>,则∩和∪都满足幂等律。因为对
离散数学知识汇总

离散数学笔记第一章命题逻辑合取析取定义 1. 否定:当某个命题为真时.其否定为假.当某个命题为假时.其否定为真定义 1. 条件联结词.表示“如果……那么……”形式的语句定义 1. 双条件联结词.表示“当且仅当”形式的语句定义合式公式(1)单个命题变元、命题常元为合式公式.称为原子公式。
(2)若某个字符串 A 是合式公式.则⌝A、(A)也是合式公式。
(3)若 A、B 是合式公式.则 A ∧B、A∨B、A→ B、A↔B 是合式公式。
(4)有限次使用(2)~(3)形成的字符串均为合式公式。
等值式析取范式与合取范式将一个普通公式转换为范式的基本步骤推理定义 设 A 与 C 是两个命题公式. 若 A → C 为永真式、 重言式.则称 C 是 A 的有 效结论.或称 A 可以逻辑推出 C.记为 A => C 。
(用等值演算或真值表)第二章 谓词逻辑、基本概念∀:全称量词 ∃:存在量词一般情况下. 如果个体变元的取值范围不做任何限制即为全总个体域时. 带 “全称量词”的谓词公式形如"∀x(H(x)→B(x)).即量词的后面为条件式.带“存在量词”的谓词公式形如∃x(H(x)∨WL(x)).即量词的后面为合取式 例题R(x)表示对象 x 是兔子.T(x)表示对象 x 是乌龟. H(x,y)表示 x 比 y 跑得快.L(x,y)表示x 与 y 一样快.则兔子比乌龟跑得快表示为: ∀x ∀y(R(x)∧T(y)→H(x,y))有的兔子比所有的乌龟跑得快表示为:∃x ∀y(R(x)∧T(y)→H(x,y))、谓词公式及其解释定义 、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22y x 的 f(x,y))、 谓词常元(如表示人类的 H(x))。
定义 、逻辑符号:个体变元、量词(∀∃)、联结词(﹁∨∧→↔)、逗号、括号。
定义 、项的定义:个体常元、变元及其函数式的表达式称为项(item)。
自考离散数学第4章

例:设集合A={a,b,c,d},在A上定义两个运算*和
,如表所示: 解:b,d是A中关于*运算的左幺元,而a是A中关于运算的右幺元。
a d a a a b a b b b c b c c c d c d c d a b c
* a b c d
a a b c
b b a d
c d c a
定义4.3.7 设<G,*>为群,若在G中存在一个元素a,使得G中的任意元素都由a
例:设A={a,b,c,d},*为A上的二元运算,
* a b c d
a a b c d
b b d a a
c c a b c
d d c b d
可以看出a为单位元。由a*a=a,b*c=a,c*b=a,d*b=a, 故a有逆元a;b有左逆元c,d;c有左逆元b;b有右逆元c;c有右逆元b;d有
定义4.3.2 设<G,*> 为一个群,如果G是有限集合,则称<G,*> 是有限群。G中
元素的个数通常称为有限群的阶数,记为|G|。
定义4.3.3 若群G中,只含有一个元素,即G={e},|G|=1,则称G为平凡群。 例:设G={e,a,b,c},运算*如表所示:
* e a b c
e e a b c
4.2 半群与独异点
4.3 群与子群
定义4.3.1 设<G,*>为一个代数系统,其中G是非空集合,*是G上一个二元运算,
① 如果*是封闭的; ② 运算*是可结合的; ③ 存在幺元e; ④ 对于每一个元素x G,存在它的逆元x-1; 则称<G,*>是一个群。
4.3 群与子群
4.3 群与子群
4.1 代数系统
离散数学-习题集

离散数学-习题集《离散数学》习题集第⼀部分判断题⼀、第⼀章—集合1、()已知集合A的元素个数为10,则集合A的幂集的基=102。
2、()已知两个集合A、B,若A中的元素都是B中的元素,则记为A∈B。
2、()已知集合A的元素个数为n,则集合A的幂集P(A)的元素个数为n2。
3、( ) 已知两个集合A={Ф,{Ф}},B={Ф},则A∩B={Ф}。
4、()已知两个集合A={Ф,{Ф}},B={Ф},则A∩B=Ф。
5、()已知两个集合A、B,若A中的元素都是B中的元素,则记为A∈B。
6、()已知集合A的元素个数为n,则集合A的幂集P(A)的元素个数为n2。
7、()已知集合A的元素个数为n,则A×A的幂集的元素个数为n2。
8、()已知两个集合A、B,则A-B是由属于B但不属于A的元素构成的集合。
⼆、第⼆章—⼆元关系1、()若R是A上的⼆元关系,I A是A上的恒等关系,则当且仅当I A∈R时,R是A上的⾃反关系。
2、(√)若R是集合A上的⼆元关系,且当(a,b)∈R且(a,c)∈R时,就有(b,c)∈R,则R是A 上的可传递关系。
3、()设A是集合,A1、A2、...A n都是A的⾮空⼦集,令S={A1,A2,...,A n},则如果S是集合A的⼀个划分,那么S⼀定是集合A的⼀个完全覆盖;反之亦然。
5、()R是⾮空集合A上的等价⼆元关系,则A关于R的商集A/R是集合A的⼀个划分,但不是A的⼀个完全覆盖。
6、()已知集合A有4元素,易知集合A共有24个互不相同的⼦集合,所以在集合A上⼀共可定义24个互不相同的⼆元关系。
7、()若R1和R2都是集合A上的可传递⼆元关系,则R1∪R2也是A上的传递关系。
8、()设R是有限的⾮空集合A上的偏序关系,则A必有极⼤(⼩)元和最⼤(⼩)元。
9、()若R1和R2都是集合A上的相容关系,则R1∩R2也是A上的相容关系。
10、()若R1和R2都是集合A的可传递⼆元关系,则R1∩R2也是A上的传递关系。
离散数学

性质:设º 是A上的一个n元运算,S1、S2 A,º 对 S1、S2均封闭,an S1∩S2, ∵ a1,a2…an S1 且运算º在S1上封闭 ∴ º a1,a2…an ) S1,又∵ a1,a2…an S2 且 ( 运算º在S2上封闭 ∴ º a1,a2…an ) S2 ( º a1,a2…an) S1∩S2, ( ∴ º对S1∩S2是封闭的 三、二元运算的若干性质 (设º 和*是A上的两个二元运算) 1 可交换性:a1º a2=a2º (N上的加、乘运算) a1 2 可结合性: (a1º a3=a1º a3) a2)º (a2º (N上的加、乘运算)
14
3 可数集的基数≤任何无限集的基数 ∵任何一个无限集均包含一个可数集
∴无限集的基数中的最小者是可数集 4 可数集的基数<不可数集的基数
即< 0א
1א
对任何集合A,有|A|<|2A| ∴不存在最大基的集合,即无论一个集合的基 数多么大,一定有一个更大基数的集合存在。
15
第四章 代数系统
13
1 定义:设A ’ B(不等势),但A与B的一个 真子集等势,则称A的基数小于B的基数,记为 #A<#B Ne={2,4,6,…} , N={1,2,3,…} NeN #Ne<#N (×) 2 性质:若A1A,B1B,AB1,BA1, 则AB 证明: ∵ AB1,而B1B ∴|A|≤|B| 又∵ BA1 ,且A1A ∴|B| ≤|A| ∴|A|=|B| ∴ AB
4 集合A、B均可数, A∩B= ,则A∪B可数 (正整数∪负整数)
6
证明:设A={a1, a2, a3, …}, B={b1, b2, b3, …} ∵ A∩B= ∴ A∪B= {a1,b1,a2, b2, a3, b3,…} ∵ A∪B 可排成一个序列 ∴ A∪B可数
离散数学 第4章 代数系统(2)

离散数学
定理1.设(G,*)是群,|G|2 。则 (1)G中每个元素的逆元是唯一的; (2)G中无零元。 [证]. (1)由于群有结合律,所以由书86页定理4.2可知, 逆元唯一;
(2)采用反证法:若零元0G ,则对任何元素gG , 都有 0 * g=g * 0=0 (1) 由于G是群,每个元都有逆元。设0的逆元为g0,则有 0 * g0=g0 * 0 = 0 (2) 由逆元定义知 0 无逆元,与群中每个元素都有逆元矛盾。 所以G中无零元。
16
离散数学
例8.(G,o)是一有限群 o e a b c e e a b c 这里: G={e,a,b,c}, o运算的 a a e c b 运算表如右: b b c e a (1)封闭性:由表1可得; c c b a e (2)结合律:留待后证; 表1 (3)有幺元:e ; (4)有逆元:e-1=e,a-1=a,b-1=b,c-1=c 。 例如其第三行就与表头元素构成一置换P3。 此群一般称为Klein 4-群,又称为几何群或运动群。
注:Klein 日耳曼民族,几何学家,我国著名几何学家苏步青是他 的晚年弟子;
17
离散数学
e a bc P3 bc ea 。
[证]. 只证关于第i(1i n)行结论成立。我们设 G={a1(=e), a2,, an} 构造自然眏射 fi :GG 使得 对任何的aG, fi(a)=ai * a 为此,只须证明fi是一双射函数即可。 ①后者唯一: aj, akG, aj=ak ai * aj= ai * ak fi(aj)= fi(ak) ;
4
离散数学
例2. (I, +)是一个群 这里: I是整数集合,+是整数加法,由算术知识知: (1)封闭性:两个整数之和仍为整数,且结果唯一。即 a,b, aIbI a+bI ; (2)结合律:整数加法满足结合律。即 a,b,cI, (a+b)+c = a+(b+c) ; (3)有幺元:取 0I, aI,有a+0=0+a=a。 由幺元的定义知,0是关于+的幺元; (4)有逆元:aI,取-aI,有a+(-a)=(-a)+a=0。 由逆元的定义知I中每个元素都有逆元; 由群的定义知(I, Ʊ 设(G,*)是群,则*运算满足消去律。即x,y,zG, xy=xzy=z; yx=zxy=z 。 [证]. 只证第一式。x,y,zG, y=e*y = (x-1*x)* y = x-1*(x* y) (结合律) = x-1*(x* z) (条件:x y = x z ) = (x-1*x)* z (结合律) = e* z = z
离散习题代数系统部分答案

离散习题代数系统部分答案1(共3页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--《离散数学》代数系统1.以下集合和运算是否构成代数系统如果构成,说明该系统是否满足结合律、交换律求出该运算的幺元、零元和所有可逆元素的逆元.1)P(B)关于对称差运算⊕,其中P(B)为幂集.构成代数系统;满足结合律、交换律;幺元φ;无零元;逆元为自身。
2)A={a,b,c},*运算如下表所示:构成代数系统;满足结合律、交换律;无幺元;无逆元;零元b.2.设集合A={a,b},那么(1)在A上可以定义多少不同的二元运算(2)在A上可以定义多少不同的具有交换律的二元运算24个不同的二元运算;23个不同的具有交换律的二元运算3.设A={1,2},B是A上的等价关系的集合.1)列出B的元素.2元集合上只有2种划分,因此只有2个等价关系,即B={I A,E A}2)给出代数系统V=<B,∩>的运算表.3)求出V的幺元、零元和所有可逆元素的逆元.幺元E A、零元I A;只有E A可逆,其逆元为E A.4)说明V是否为半群、独异点和群V是为半群、独异点,不是群4.设A={a,b,c},构造A上的二元运算*,使得a*b=c,c*b=b,且*运算满足幂等律、交换律.1)给出关于*运算的一个运算表.其中表中位置可以是a、b、c。
2)*运算是否满足结合律,为什么不满足结合律;a*(b*b)=c ≠(a*b)*b=b5.设<R,*>是一个代数系统。
*是R上的一个二元运算,使得对于R(实数集合)中的任意元素a,b都有a*b=a+b+a·b(·和+为数集上的乘法和加法).证明::<R,*> 是独异点.6.如果<S,*>是半群,且*是可交换的.证明:如果S中有元素a,b,使得a*a=a和b*b=b,则(a*b)*(a*b)=a*b.(a*b)*(a*b)= a*(b*a)*b 结合律= a*( a*b)*b 交换律= (a* a)*(b*b)= a*b.7.设<G,·,–1,e>是一个群,则a,b,c∈S。
离散数学中代数系统知识点梳理

离散数学中代数系统知识点梳理离散数学作为一门数学学科,研究的是离散化的对象和结构。
代数系统作为离散数学的一个重要分支,是对数学对象的代数性质进行研究的一种形式化工具。
在离散数学中,代数系统的概念和相关知识点是非常重要的。
一、代数系统的基本概念代数系统是指由集合和一组运算构成的数学结构。
其中,集合是代数系统中最基本的概念,可以是有限集或无限集;运算是指对集合中的元素进行操作并得到新的元素。
代数系统主要包括代数结构、代数运算和代数性质三个方面。
1. 代数结构:代数结构由集合和一组运算构成,可以包括加法、减法、乘法、除法等。
常见的代数结构有群、环、域等。
2. 代数运算:代数运算是指对集合中的元素进行操作,可以是二元运算也可以是多元运算。
常见的代数运算有加法、乘法、幂运算等。
3. 代数性质:代数系统具有一些特定的性质,如封闭性、结合律、交换律、单位元素、逆元素等。
二、代数系统的分类根据代数运算的性质,代数系统可以分为群、环、域和向量空间等不同类型。
1. 群:群是一种代数系统,具有封闭性、结合律、单位元素和逆元素等性质。
群分为有限群和无限群,可以是交换群或非交换群。
2. 环:环是一种代数系统,具有封闭性、结合律、交换律和单位元素等性质。
环分为有限环和无限环,可以是可除环或非可除环。
3. 域:域是一种代数系统,具有封闭性、结合律、交换律、单位元素、逆元素和分配律等性质。
域是一种完备的代数系统,可以进行加、减、乘、除运算。
4. 向量空间:向量空间是一种代数系统,具有封闭性、结合律、交换律、单位元素、逆元素和分配律等性质。
向量空间是一种具有线性结构的代数系统。
三、代数系统的应用代数系统作为离散数学的一个重要分支,在计算机科学、密码学、通信工程等领域有着广泛的应用。
1. 计算机科学:代数系统在计算机科学中起到重要的作用,比如在数据库设计、编译原理、算法设计等方面都有应用。
代数系统可以描述和分析计算机系统的运行和性能。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
4
离散数学
由群的定义知(I, +)是群。
例3. (Mnn, +)是一个群 这里: Mnn是nn实矩阵的全体,+是矩阵加法。由 线性代数知: (1)封闭性:两个nn实矩阵相加仍为nn实矩阵,且 结果唯一。即 A,B,AMnnBMnnA+BMnn ; (2)结合律:实矩阵加法满足结合律。即 A,B,CI,(A+B)+C=A+(B+C) ; (3)有幺元:取零矩阵0Mnn,AMnn,有 A+0=0+A=A。由幺元的定义知0是关于+的幺元; (4)有逆元:AMnn, 取-AMnn, 有
-i -i i 1 -1
18
离散数学
(-1)1=-1, (-1)2=1, (-1)3 =-1, (-1)4 =1, (-1)5 =-1 ,… ; (i)1=i ,(i)2=-1, (i)3=-i, (i)4=1, (i)5=i ,… ; (-i)1=-i, (-i)2=-1,(-i)3=i ,(-i)4=1 ,(-i)5=-i ,…。
e a bc
[证]. 只证关于第i(1i n)行结论成立。我们设 G={a1(=e), a2,, an} 构造自然眏射 fi :GG 使得 对任何的aG, fi(a)=ai * a 为此,只须证明fi是一双射函数即可。
15
离散数学
①后者唯一: aj, akG, aj=ak ai * aj = ai * ak fi(aj)= fi(ak) ; ②单射: aj, akG, fi(aj)= fi(ak) ai * aj= ai * ak aj=ak (消去律); ③满射: ajG,根据群有逆元及运算封闭性知, ak = ai-1 * aj G ,使得 fi(ak)= ai * ak = ai *(ai-1 * aj)
o e a b c
e e a b c
a a e c
b b c e
c c b a e
14
b a 表1
离散数学
(4)有逆元:e-1=e,a-1=a,b-1=b,c-1=c 。 例如其第三行就与表头元素构成一置换P3。 此群一般称为Klein 4-群,又称为几何群或运动群。
注:Klein 日耳曼民族,几何学家,我国著名几何学家苏步青是他 的晚年弟子; P3 bc ea。
3
离散数学
(P[x], )已经验证都是含幺半群; 但它们都不是群,原因就在于不能保证每个元素都有 逆元。 例2. (I, +)是一个群 这里: I是整数集合,+是整数加法,由算术知识知: (1)封闭性:两个整数之和仍为整数,且结果唯一。即 a,b,aIbIa+bI ; (2)结合律:整数加法满足结合律。即 a,b,cI,(a+b)+c=a+(b+c) ; (3)有幺元:取 0I, aI,有a+0=0+a=a。 由幺元的定义知,0是关于+的幺元; (4)有逆元:aI,取-aI,有a+(-a)=(-a)+a=0。 由逆元的定义知I中每个元素都有逆元;
19
离散数学
注:从定义可知,元素g的阶k是使gm=e成立的最小正整数; 由于元素的自乘幂是一次一次乘的,因此这个无穷只能是可 数无穷; 由定义5可知,么元是群中唯一的一个一阶元素; 这里要强调的是,我们现在有群的阶和群中元素的阶这样两 个阶的概念,这是两个根本不同的概念。群的阶是指群中元素的个 数,而群中元素的阶是指使gm=e成立的最小正整数k;一个是对整 体而言,一个是对整体中的个体而言。
7
离散数学
例5. (2X, )是一个群 这里: X是一非空集合,2X是X的幂集,是集合的 环和运算,即A B=(AB)(BA)。由集合一章知: (1)封闭性:环和是2X上的二元运算,具有封闭性; (2)结合律:环和运算满足结ቤተ መጻሕፍቲ ባይዱ律; (3)有幺元:关于环和运算的幺元是; (4)有逆元:A2X,A的逆元是其本身; 由群的定义知(2X, )是群。
离散数学
一行(每一列)都与G中元素的自然顺序构成一个置换(双 射)。 也就是说,每个元素在每行(每列)必出现一次且只出 现一次。
注:因此n阶有限群的运算表是由G中元素的 (n个行或n个列所形成 的) n个置换所构成的。这个性质来源于群中每个元素都有逆元。
例8.(G,o)是一有限群 这里: G={e,a,b,c}, o运算的 运算表如右: (1)封闭性:由表1可得; (2)结合律:留待后证; (3)有幺元:e ;
10
离散数学
[证]. (1)由于群有结合律,所以由§1定理2可知,逆元唯 一; (2)采用反证法:若零元0G ,则对任何元素gG , 都有 0 * g=g * 0=0 (1) 由于G是群,每个元都有逆元。设0的逆元为g0,则有 0 * g0=g0 * 0=e (2) e为群G的幺元。根据(1) ,特别地有 0 * g0=g0 * 0=0 (3) 由(2),(3)有 e=0 因而对群G的任何元g,都有 g=g * e=g * 0=0 故此|G|=1。 因而与定理所给条件|G|2矛盾。 11
离散数学
定理2. 设(G,*)是群。则 a,bG,有 (1)反身律:(a-1)-1 =a ; (2)鞋袜律:(a*b)-1 = b-1*a-1 。 [证]. (1)aG, (a-1)-1=(a-1)-1*e =(a-1)-1*(a-1 *a) =((a-1)-1*a-1 ) *a (结合律) =e *a =a ; (2)a,bG, (a*b)-1 = (a*b)-1 *e =(a*b)-1*(a * b * b-1 * a-1 ) (结合律) =((a*b)-1*(a * b))* (b-1 * a-1 ) (结合律) =e *(b-1 * a-1 ) =b-1*a-1。
例6. (P[x],+)是一个群 这里: P[x]是实系数多项式的全体,+是多项式的加 法。 (1)封闭性:由于两个多项式之和仍为多项式,且结 果唯一。即p(x), q(x),
8
离散数学
p(x)P[x]q(x)P[x]p(x)+q(x)P[x] ; (2)结合律:由于实数加法满足结合律,故多项式的加 法满足结合律。即 p(x),q(x),r(x)P[x], (p(x)+q(x))+ r(x)=p(x)+(q(x)+ r(x)) ; (3)有幺元:取0P[x],p(x)P[x],有 0+p(x)=p(x)+0=p(x) 由么元的定义知0是关于+的么元; (4)有逆元: p(x)P[x],取-p(x)P[x],有 p(x) +(-p(x))=(-p(x))+p(x)=0 由逆元的定义知P[x]中每个元素都有逆元。 由群的定义知,(P[x], +)是群。 定义2.交换群(Abel群 加群) 设(G,*)是群。若*运算满足交换律,则称(G,*)是交换
注:从上例各元素乘幂的结果看,都有一个现象,就是4次乘幂的 结果是1,为群的幺元;而这正好说明它们都是四次方程x4=1的根; 群的元素乘幂回归幺元是群的元素一个比较普遍的现象;这 点被总结成下面的定义。它在寻找群的子群,元素的求逆,元素性 质的探讨等方面都有着广泛的作用。
定义5.元素的阶(rank) 设(G,*)是群。 gG,我们称 k=min{m:mN\{0}gm=e} 为元素g的阶; 若这样的k不存在,则称g的阶为无穷。
离散数学
西安交通大学 电子与信息工程学院 计算机软件所 刘国荣
1
离散数学
§4.群
群的基本概念 群的性质 群中元素的阶 循环群 置换群 子群 陪集与拉格郎日(Lagrange)定理
2
离散数学
§4.群
定义1.群(group) 设(G, *)是含幺半群。若G中每个元素都有逆元,即 g(gG g-1G),则称(G, *)为群。
注:群就是每个元素都有逆元的含幺半群; 验证一个代数系统是群,必须验证以下四点: (1)封闭性 (2)结合律 (3)有幺元 (4)有逆元
例1.(I,), (Mnn, ), (Nm, m ), (2X, ), (P[x], )都不是群 上一节中的五个例子(I,), (Mnn, ), (Nm, m ), (2X, ),
5
离散数学
A+(-A)=(-A)+A=0. 由逆元的定义知Mnn中每个元素都有逆元; 由群的定义知(Mnn, +)是群。 例4. (Nm, +m)是一个群 这里:Nm = {[0]m, [1]m, …, [m-1]m }, +m定义如下 [i]m ,[j]mNm, [i]m +m[j]m =[(i+j)mod m]m (1)封闭性:由于0(i+j) mod m<m, 且结果唯一。即 [i]m ,[j]m , [i]mNm[j]mNm [i]m+m[j]mNm ; (2)结合律:由于 [i]m ,[j]m ,[k]mNm,有 ([i]m +m[j]m)+m[k]m=[(i+j) mod m]m +m[k]m =[((i+j) mod m + k) mod m]m=[(i+j+k) mod m]m [i]m +m([j]m +m[k]m)=[i]m +m[(j+k) mod m]m
9
离散数学
群。
例7.前面的例2,例3,例4,例5,例6都是交换群。
定义3.群的阶(rank) 设 (G,*)是群。称G的势(基数)为群(G,*)的阶。
注:群的阶反映群的大小; 由定义3知有限群的阶就是G中元素的个数 ;无限群的阶是G 的势;群的阶统一记为|G| 。
定理1.设(G,*)是群,|G|2 。则 (1)G中每个元素的逆元是唯一的; (2)G中无零元。
16
离散数学
= ( ai *ai-1 ) * aj = e* aj = aj 。 (结合律)