离散数学第十三十四章半群与群环与域.pptVIP

第十三、十四章 半群与群、环与域 13.1 半群和独异点的定义 13.4 群的基本定义 14.1 环的定义 14.4 域的定义 13.1 半群和独异点的定义 定义13.1.1 给定S，⊙，若⊙满足结合律，则称S，⊙为半群。即对S中的任意元素x,y,z，有 (x⊙y)⊙z=x⊙(y⊙z)。 可见，半群就是由集合及其上定义的一个可结合的二元运算组成的代数结构。 定义13.1.2 给定M，○，若M，○是半群且○有幺元或○满足结合律且拥有幺元，则称M，○为独异点。 可以看出，独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元e，独异点表为M，○，e。 例13.1.1 给定N，+和N，×，其中N为自然数集合，+和×为普通加法和乘法。由普通加法和乘法满足结合律易知，N，+和N，×都是半群，而且还是独异点。因为0是+的幺元，1是×的幺元。 例 由有限字母表Σ所组成的字母串集合Σ*与并置运算∥所构成的代数结构Σ*，∥是个特异点。 因为首先它满足结合律，例如 ab//(cd//ef ) = (ab//cd)//ef = abcdef. 其次，它有一个幺元——?，使得对Σ*内任意一元素A，有 ?//A=A//?=A. 故Σ*，∥是个特异点。 显然，我们令∑+＝ ∑*－{?}，则∑+，//是一个半群。 定义13.1.3 给定半群S，⊙，若⊙是可交换的，则称S，⊙是可交换半群。类似地可定义可交换独异点M，○，e。 例13.1.2 给定P(S)，∪和P(S)，∩，其中P(S)是集合S的幂集，∩和∪为集合上的并与交运算。可知P(S)，∪和P(S)，∩都是可交换半群。不仅如此，它们还都是可交换独异点，因为?与S分别是它们的幺元。 13.4 群的基本定义 定义13.4.1 给定G，⊙，若G，⊙是独异点且每个元素存在逆元，或者说 ①⊙是可结合的，②关于⊙存在幺元，③G中每个元素关于⊙是可逆的，则称G，⊙是群。 可见，群是独异点的特例，或者说，群比独异点有更强的条件。 例13.4.1 给定Z，+和Q，×，其中Z和Q分别是整数集合和有理数集合，+和×是一般加法和乘法。可知Z，+是群，0是幺元，每个元素i∈Z的逆元是-i；Q，×不是群，1是幺元，0无逆元。但Q-{0}，×便成为群。 这里我们只介绍群的一个重要性质： 定理13.4.1 G，⊙是群∧|G|＞1?G，⊙无零元。 其中|G|表示集合G的基数（势） 证明见p255 定义13.4.4 给定群G，⊙，若⊙是可交换的，则称G，⊙是可交换群或G，⊙是Abel群。 例13.4.3 例13.4.1中 Z，+和例12.1.2中P(S)，? 都是Abel群。 14.1 环 定义14.1.1 给定R，+，·，其中+和·都是二元运算，若 ①R，+是Abel群， ②R，·是半群， ③·对于+是可分配的，即：对任意x,y,z∈R，x · (y+z) = x · y + x · z(y+z) · x = y · x + z · x 则称R，+，·是环。 为了方便，通常将+称为加法，将·称为乘法，把R，+称为加法群，R，·称为乘法半群。而且还规定，运算的顺序先乘法后加法。 注意这里加法和乘法不一定仅限于初等数学的加与乘。同样，加运算的幺元我们用“0”表示，乘运算的幺元用“1”表示，0与1的含义也不一定仅限于初等代数中的0与1. 由于环的定义中③的存在， ③·对于+是可分配的，即：对任意x,y,z∈R，x · (y+z) = x · y + x · z(y+z) · x = y · x + z · x 所以加法的幺元(我们用0表示)必是乘法的零元，故R，·有零元。但我们知道，群中一定不出现零元，因此R，·不可能是群，只是一个半群。 定义 环的加法群的幺元或乘法零元称为环的零元，以0示之。若a∈R，则其加法逆元以－a表之。 常常又根据环中乘法半群满足不同性质，将环冠于不同的名称。 定义14.1.2 给定环R，+，·，若R，·是可交换半群，则称R，+，·是可交换环；若R，·是独异点，则称R，+，·是含幺环(即R，·的幺元就称为环的幺元)；若R，·满足等幂律，则称R，+，·是布尔环。 通常用1表示R，·的幺元。在R，·中，若a∈R的逆元存在，则以a-1表示其乘法逆元。 例14.1.1 Z，+，·，R，+，·，Q，+，·，E，+，·和C，+，·等都是环。而且除E，+，·外都是拥有加法幺元——数0和乘法幺元——数1的可交换含幺环。这里Z、R、Q、E、C分别为整数集合、实数集合、有理数集合、偶数集合和复数集合，而+和×分别是大家熟悉的加法和乘法运算。 例 Mn(R),+,·是环，其中Mn(R)是n阶实矩阵的集合，+、· 分别是矩阵加