近世代数课件(全)-3-1-环的定义与性质

近世代数第三章环与域§1环的定义与性质

8/8/2023近世代数第三章环与域8/1/2023一、环的定义定义1设是一个非空集合.上定义了两个代数运算“+”与“.”关于加法构成一个交换群（加群）；(3)乘法对加法两个分配律成立：则称为环,或简称为环.(分别称为加法与乘法),并且满足如果在(1)(2)乘法结合律成立：

8/8/2023一、环的定义定义1设是一个非空集合.上定义了两个代数运说明：

是一个交换群.其加法单位元常用0表示,称为环的零元.

设的加法逆元称为的负元.的零元与的每个元素的负元都是,记作唯一的.

8/8/2023说明：是一个交换群.其加法单位元常用0表示,称为环的零元.定义2如果环的乘法还满足交换律,为交换环.中存在元素,使得则称为有单位元的环,并称为的定义3

如果环单位元.则称

8/8/2023定义2如果环的乘法还满足交换律,为交换环.中存在元素,使例1整数集关于数的加法与乘法构成有单位元的交换环.这个环的零元是数0,单位元是数1.这个环称为整数环.同样,有理数集,实数集,复数集关于数的加法与乘法构成有单位元的交换环

8/8/2023例1整数集关于数的加法与乘法构成有单位元的交换环.这个环的定理1设是一个环,如果有单位元,则单位元是唯一的.的单位元常记作.

8/8/2023定理1设是一个环,如果有单位元,则单位元是唯一的.的单位元常二、环的性质性质1.规定减法:，则有移项法则:

8/8/2023二、环的性质性质1.规定减法:，则有移项法则:8/1/性质2.规定倍数:设,规定则有倍数法则:对任意

8/8/2023性质2.规定倍数:设,规定则有倍数法则:对任意性质3.设为环,则对,有

8/8/2023性质3.设为环,则对,有8/1/2023性质4.规定方幂:设,规定,则有下列指数法则:注意:如果环不是交换环,则等式一般不成立.

8/8/2023性质4.规定方幂:设,规定,则有下列指数法则:注意性质5.广义分配律:设,则

8/8/2023性质5.广义分配律:设,则8/1/2023三、子环定义4若环的非空子集关于环的加法与乘法也做成环，称为的子环定理2

，记作例2

8/8/2023三、子环定义4若环的非空子集关于环的加法与乘法也做成环，例3数域上的全体阶方阵的集合关于矩阵的加法与乘法上的它的零元为零矩阵,单位元为单位矩阵.构成环.这个环称为数域阶全阵环.当时,这是一个非交换环,

8/8/2023例3数域上的全体阶方阵的集合关于矩阵的加法与乘法上的它的零例4证明数集关于数的加法与乘法构成有单位元的交换环.为非平方整数,则关于数的加法与乘法都构成有单位元的交换环.这个环称为高斯整环.类似地可证,如果

8/8/2023例4证明数集关于数的加法与乘法构成有单位元的交换环.为非四、特殊类型的环1.无零因子环为环,为的非零元素.，使，则称的一个左零因子；，使，则称的一个右零因子.定义5设如果存在非零元为如果存在非零元为左零因子与右零因子统称为零因子.不是左零因子也不是右零因子的元素，叫做正则元.

8/8/2023四、特殊类型的环1.无零因子环为环,为的非零元素.，使，则例5设都是的非零元,而,所以分别为的左右零因子.

8/8/2023例5设都是的非零元,而,所以分别为的左右零因子.8/1/2定义6一个没有零因子的环称为无零因子环.定理3无零因子环中,关于乘法,如果或,则两个消去律成立.即设

8/8/2023定义6一个没有零因子的环称为无零因子环.定理32.整环定义7一个交换的,有单位元且的无零因子环称为整环.例6整数环,高斯整环而偶数环为都是整环,无零因子环.

8/8/20232.整环定义7一个交换的,有单位元且的无零因子环称为整3.除环和域定义8设为有单位元的环,,如果存在,使得,则称为的可逆元,并称为的逆元.可逆,则的逆元唯一,且的逆元也可逆.可逆元的唯一的,且若逆元记作

8/8/20233.除环和域定义8设为有单位元的环,,如果存在,使得,例7的可逆元仅有1,-1;由于没有单位元,所以它没有可逆元.可逆当且仅当例9试求高斯整环

例8解的可逆元.

8/8/2023例7的可逆元仅有1,-1;由于没有单位元,所以它没有可逆定义9设是有单位元的环,且.如果中每个非零元都可逆,则称为除环.交换的除环称为域.例10都是域.

8/8/2023定义9设是有单位元的环,且.如果中每个非零元都可逆,则称为除例11为域.是有单位元的交换环.的每个非零元都可逆.证明证明可证下证,

8/8/2023例11为域.是有单位元的交换环.的每个非零元都可逆.证明域的除法设为域,则对任意的,有，记作由此可定义域的"除法":设,规定,称为以除的商.

8/8/2023域的除法设为域,则对任