精选近世代数课件 22 3 单位元.pptVIP

§ 2-3 . 单位元、逆元、消去律 内容提要 2.1 单位元 2.2 逆元 2.3 乘方 2.4 消去律 2.5 有限群的另一定义 2.6 加群 2.7 元素的阶 在这一节里我们要证明群的几个极重要的性质． 证明 ……… 证完． 定义 1 一个群 的唯一的能使 ( 是的任意元） 的元 叫做群 的单位元． G ea ae a ? ? e G 单位元 定理１ 在一个群里存在一个并且只存在一 个元，能使 对于 的任意元 都对 ． ea ae a ? ? G a 2.1 逆元 定理２ 对于群 的每一个元 来说，在 里存在 一个而且只存在一个元 ，能使 2.2 G a G 1 a ? 1 1 a a aa e ? ? ? ? 证明 . 证完 . 定义 2 唯一的能使 的元 叫做元 的 逆元 （有时简称 逆 ）． 1 1 a a aa e ? ? ? ? 1 a ? a 例１ 我们已经知道全体不等于零的有理数对于普通 乘法来说作成一个群．这个群的单位元１， 的逆元 是 ． a 1 a 例２ 全体整数对于普通加法来说作成一个群．这个群 的单位元是零， 的逆元是 ． a a ? 2.3 乘方 当是正整数时，我们已经规定过符号的意义，并且 （１） （２） n m n m a a a ? ? ( ) n m nm a a ? 现在我们利用唯一的单位元 和 的逆元 规定： 0 a e ? e a 1 a ? m 问题 : ?? ( ) n n n ab a b ? 1 ( ) n n a a ? ? ? (n 正整数） 这样规定以后，我们很容易算出，（１），（２）两式对于任何整数 、 都对． n 推论 在一个群里，方程 ， 各有唯一的解． ax b ? ya b ? 证明 ……… 2.4 消去律 定理３ 一个群的乘法适合 VI ． 消去律 ：若 ， 那么； 若 ，那么 ． ax ax ? x x ? ya y a ? y y ? 2.5 有限群的另一定义 假如一个群它一定满足 : I. 闭合性 II. 结合律 VI. 消去律 现在我们反过来问：假定一个集合适合Ⅰ，Ⅱ， VI ，它 是不是一定构成群 ? 例 3 ＝ { 所有不等于零的整数 } ． 对于普通乘法来说这个 适合Ⅰ，Ⅱ， VI ，可是不构 成群． 但如果 是一个有限集合时，情形就不同了． G G G 定理 4 一个有乘法的有限集合 若是适合Ⅰ，Ⅱ和 VI, 那么构成群 ． 证明 我们使用定义 IV, 先证明， ax b ? G G 在 G 中有解． G n 1 { , } n G a a ? 假定 有 个元， 我么用 从左边来乘所有的 而作成一个集合 a i a 1 { , } n aG aa aa ? ……… 证完 . 由这个定理我们可以得到 有限群的另一定义 我们说，一个有乘法的有限不空集合 作成一个群 ，假如Ⅰ，Ⅱ， VI 能被满足． 一个有限集合的