若群G的非空子集H对于G中定义的代数运算也构成群.PPTVIP

第二部分 代数引论 要求掌握的内容 群 环的概念 域的概念 会判断 子群、陪集的概念 线性空间的概念 欧几里德除法 设b是正整数，则任意正整数a b皆可唯一地表示成 a = qb + r 0≤ r b 最大公约数、欧几里德算法、最小公倍数 同时除尽a,b,…,l(不全为0)的正整数，称为a,b,…,l的公约数，其中最大者称为最大公约数，用(a,b,…,l)或者GCD(a,b,…l)表示。若(a,b,…,l)=1,则称a,b,…,l互素。 给定两正整数a, b, 且ab，若a=bq+r，则(a, b)=(b, r)——根据该定理可以求2个数的最大公约数 欧几里德算法：给定任意正整数a,b，必存在有整数A，B使 (a, b) = Aa+Bb 最小公倍数：设a,b为任意两个正整数，若有一整数M使a|M, b|M，则称M是a,b的公倍数，其中最小的正公倍数称为最小公倍数，记为[a, b]或LCM(a, b)。 同余和剩余类 同余：若整数a和b被同一正整数m除时，有相同的余数，则称a、b关于模m同余，记为 群(Group)的定义 设G是一个非空集合，并在G内定义了一种代数运算 “ 。”，若满足： 有关群的几个概念 群的阶(Order of a Group) 有限群(Finite Group)、无限群(Infinite Group) 加群、乘群 阿贝尔群(Abel Group) 半群、若群 群 群G的单位元是唯一的 群中每个元素的逆元是唯一的 若a,b∈G，则(a*b)-1=b-1*a-1 给定G中任意两个元素a和b，方程a*x=b和y*a=b在G中有唯一解 令G为二元运算*下的一个群，H为G的一个非空子集，若 i) H在二元运算*下封闭，ii）H中任意元素a，a的逆元仍在H中，则H是G的一个子群。 四、环(Ring)的定义 非空集合R中，若定义了两种代数运算加和乘，且满足： 1) 集合R在加法运算下构成阿贝尔群 2) 乘法有封闭性 3) 乘法结合律成立，且加和乘之间有分配律 五、有关环的几个概念 有单位元环（对于乘法而言） 可换环(Commutative Ring) 有零因子环 整环(Domain)，既无零因子环 除环(有单位元、每个非零元素有逆元，非可换的环) 六、域(Field)的定义 非空集合F，若F中定义了加和乘两种运算，且满足： 1) F关于加法构成阿贝尔群，加法恒等元记为0 2) F中所有非零元素对乘法构成阿贝尔群，乘法恒等元记为1 3) 加法和乘法之间满足分配律 子群的定义 子群：若群G的非空子集H对于G中定义的代数运算也构成群，称H为G的子群 群G的非空子集H为G的子群的充要条件：1）若a∈H, b∈H,则ab∈H；2）若a∈H，则a-1∈H H是G的子群的充要条件：对任何a，b∈H，恒有ab-1∈H 陪集的概念 定义：H是群G的一个子群，g是G中的任意一个元素，将g左（右）乘H中的每一个元素，得到一个集合，记为gH（Hg），该集合为子群H的一个左（右）陪集，g为该陪集的陪集首。 陪集的概念 陪集的性质 令H为群G在二元运算*下的一个子群，则H的陪集中任意两个元素互不相同 对群G的子群H，其任意两个不同的陪集之间没有相同的元素 G中每个元素出现且仅出现在一个H的陪集中 H的所有不同陪集之间互不相交 H的所有不同陪集并构成群G 线性空间 如果域F上的n重元素集合V满足下述条件： 1、V关于加法构成阿贝尔群 2、对对V中任何元素v和F中任何元素c， cv∈V。 我们称V中元素v为矢量(向量)， F中元素c为纯量或标量， 称乘c运算为数乘。 3、分配律成立， 对任何u， v∈V， c， d∈F恒有： c(u+v)=cu+cv ， (c+d)v=cv+dv 4、若c, d∈F , v∈V, 有: (cd)v=c(dv), 1·v=v, 1∈F 则称V是域F上的一个n维线性空间或矢量空间， 一般用VnF表示。 几个概念：线性子空间，线性组合，线性相关，线性独立，张成，基底，维数 线性结合代数 域F上的有限维线性空间A，若元素之间定义了乘法， 且有如下性质： (1) 乘法封闭。 对每一个a, b∈A， 恒有ab∈A。 (2) 乘法结合律成立: 对每一个a, b, c∈A恒有 (ab)c=a(bc)。 (3) 分配律成立 ① a(ab+bc)=a(ab)+b(ac) ② (ab+bc)a=a (ba)+b (ca) a,b∈F， a, b, c∈A 则称A是一