第5章节 群、环和域.ppt

Chapter 5 群、环、域 接下来的两章将介绍常见的几种代数结构，它是一种用代数方法建立的数学模型. 代数结构简称代数，它是抽象代数(abstract algebra)或近世代数(modern algebra)，不是初等代数，也不是高等代数，它始于19世纪初，形成于20世纪30年代，在这期间，挪威数学家N. H. Abel、法国数学家E. Galois、英国数学家A. De Morgan和G. Boole等人都作出了杰出的贡献. 5.1 代数结构简介 1.代数结构的定义 “代数”总是与运算联系在一起的. Def 设A是非空集合, f1, f2,…, fk(k ? 1)是A上的代数(封闭)运算,则集合A连同其上的代数运算称为代数结构(algebra structure)或代数系统(algebra system)或简称代数(algebra),记为(A, f1, f2,…, fk),在已知运算的情况下可简记为A. 5.2 群的定义及性质 一元四次及以下的方程有求根公式. 在1824年由挪威数学家 Niels Henrik Abel (1802~1829) 借助于群和域的思想证明了一元五次及以上的方程不可能根式求解.{在1829年临终前将结果通知了Crelle和Legendre} 后来由正在念大学年仅20岁的法国数学家Evarisfe Galois(1811~1832)用[roots!]置换群和域证明了: 一般的一元五次及以上的方程没有求根公式，完全解决了长达200多年的难题. 5.3 置换群 置换群就是E. Galois研究的最早的群，有了置换群及相关内容后，除解决了一般的一元五次及以上方程没有求根公式外，还解决了在历史上长达2000年的限用圆规直尺的古希腊四大几何作图难题: (1)将任意角三等分; (2)作正n边形; (3)倍立方; (4)化圆为方.{从公元前300年左右Eucilid开始算.} 置换群可以提供具体的有限群的例子. 5.4 Abel群与循环群 Abel群与循环群是两类较简单的群. 1. Abel群 在5.2节中的前两个例子中的群, 其运算都满足交换律，这样的群称为交换群或Abel群. Def 设(G, ?)是群，若其运算?是可交换的，则称 (G, ?)为交换群(commutative group)或Abel群(Abelian group). 5.5 子群、群的陪集分解及正规子群 1.子群 根据5.1节,可以考虑群的子代数—子群. Def 设(G, ?)是群,? ? H ? G,若H关于群G的运算构成群(H, ?),则称(H, ?)是(G, ?)的子群(subgroup),记为(H, ?) ? (G, ?),可简记为H ? G. 根据定义容易验证(Z, +) ? (R, +). 对于任意群(G, ?),设e为其单位元,则{e}和G都是G的子群,称为G的平凡子群. 5.6 群的同态与同构 群的同态与同构是借助于映射去讨论两个群之间的关系,它是研究群的一种重要方法. 1.群的同态 类似于5.1节一般代数结构间的同态映射, 但有其特殊性. Def (G1, *)和(G2, ?)是群: 5.7 环 群仅一个2元运算,环是有两个2元运算的代数结构. 1. 环的定义 Def 设(R, +, ?)是含两个2元运算的代数结构，若 (1) (R, +)是Abel群. (2) (R, ?)是半群. (3)?对+可分配: 则称(R, +, ?)是环(ring). 5.8 域 1.域的定义 Def 5-29 设(F, +, ?)是环, 若(F – {0}, ?)是Abel群, 则称(F, +, ?)是域(field). 对于域(F, +, ?), 有 |F| ? 2. 例5-45 验证: (R, +, ?)是域, 而整数环(Z, +, ?)不是域. 2.环的基本性质 设(R, +, ?)是环, 记R关于加法运算+的单位元为0. Theorem 5-25 设(R, +, ?)是环, 对于任意x ? R, 有x ? 0 = 0 ? x = 0. Proof 由上定理可知, 加法单位元是乘法零元, 称为环的零元. 设(R, +, ?)是环, 对于任意x ? R, 记x关于加法运算+的逆元为-x, 且x – y = x + (-y). 下述定理是加法逆元的性质. Theorem 5-26 设(R, +, ?)是环, 对于任意x , y, z ? R, 有 (1)x ?(-y) = (-x) ?y = -(x ?y). (2)(-x) ?(-y) = x ?y. (3)x ?(y – z) = x ?y - x ?z, (y – z) ?x = y ? x - z ? x. 环的基本性质与整数