数学工具(群、环).pptVIP

2.3.4 子环 2.3.5 理想 2.3.6 商环 2.3.7 环的同构 对于两个形式上不同的环,如果它们是同构的,那么我们就可以抽象地将它们看成是本质上相同的环.对于两个同构的环,所不同的只不过是它们相应元素的符号不同而已.正是由于它们相应元素的符号不同,所以才使得两个同构的环的运算表面上看起来也不同.由于两个同构的环本质上是相同的,所以今后我们把两个同构的环看成是同一个环. 域 域的定义 子域 域的特征 域的同构 素域 域的定义 定理2.17 域一定是整环 注意:整环不一定是域. 定理2.18 有限整环一定是域. 子域 定义2.17 设F,+,*是一个域,F’为F的非空子集.如果F’,+,*仍然是一个域,则F’为F的子域,称F为F’的扩域. 注意: F’,+,*与F,+,*的运算完全相同 定理2.19 设F,+,*是一个域,F’为F的非空子集,则F’,+,*为F’,+,*的子域当且仅当对任意的a,b∈F’,a-b ∈F’,并且当b≠0, ab-1 ∈F’, 域的特征 定义2.28 设F是一个域,e∈F为乘法单位元, 0为加法单位元.如果对任意正整数n,都有ne≠0,则称域F的特征为0.如果存在正整数n,使得ne=0,则称满足ne=0的最小正整数n为域F的特征. 例2.16 有理数域和实数域以及复数域的特征都是0,对任意素数p,有限域Zp的特征是 定理2.