离散数学第2版教学课件-环与域.pdfVIP

8.4 群的扩展——环与域 环、域：群扩展后得到的具有两个运算的代数系统。 8.4 群的扩展——环与域 环定义 定义8.13 设R,+,·是代数系统，+和·是二元运算. 如果满足 以下条件: (1) R,+构成交换群 (2) R,·构成半群 (3) ·运算关于+运算适合分配律 则称R,+,·是一个环. 通常称+运算为环中的加法，·运算为环中的乘法. 环中加法单位元记作0，乘法单位元（如果存在）记作1. 对任何元素x ，称x 的加法逆元为负元，记作x . 若x 存在乘法逆元的话，则称之为逆元，记作x1. 8.4 群的扩展——环与域 环的实例 例14 (1) 整数集、有理数集、实数集和复数集关于普通的加法和乘法构成环，分 别称为整数环Z ，有理数环Q，实数环R和复数环C. (2) n(n≥2)阶实矩阵的集合M (R)关于矩阵的加法和乘法构成环，称为n 阶实 n 矩阵环. (3) 集合的幂集P(B)关于集合的对称差运算和交运算构成环. (4) 设Z ＝{0,1, ... , n －1}，和分别表示