近世代数第三章小结.docVIP

第三章 环与域总结 第一节 加群、环的定义 定义：一个交换群叫做一个加群。 ⑴一个加群的唯一的单位元叫做零元，记作0。 ⑵元的唯一的逆元叫做的负元，记作-，简称负。 环的定义：（） ①（+）是交换群（对+封闭）； ②· ：满足结合律，即 ③+和·都满足分配律：即对满足 称在+和·运算下是环。①.是一个加群； ②.对于另一个叫做乘法的代数运算来说是闭的； ③.这个乘法适合结合律： ，不管是的哪三个元； ④.两个分配律都成立： ，不管是的哪三个元。 环满足如下运算： ①,对 ② ③ ④ 定义：（），若对,有,即满足交换律的环是交换环。 （），若,对则称为的一个单位元。一般地，一个环不一定有单位元。 （），含有单位元，,若，使得,则称是的逆元。 （），，若,则称为左零因子，为右零因子。 既是左零因子又是右零因子的元叫做零因子。在交换群中无左右零因子，只有零因子。 定理：无零因子环里两个消去律都成立： （左消去） （右消去） 在一个环里如果有一个消去律成立，那么这个环没有零因子。 推论：在一个环里如果有一个消去律成立，那么另一个消去律也成立。 整环的定义：一个环叫做一个整环，假如满足： ①是交换环： ②是单位环，有单位元1： ③是无零因子环（满足消去律）： 这里可以是中的任意元。 第二节 除环、域 除环的定义：一个环叫做一个除环，假如满足： ①中至少包含一个不等于零的元 ②中有一个单位元 ③的每一个不等于零的元都有一个逆元 域的定义：一个交换除环叫做一个域。 除环和域的几个重要性质： ⑴除环没有零因子（满足消去律） ⑵一个除环的不等于零的元对于乘法来说作成的群，叫做R的乘群。因为 封闭性 满足结合律 有单位元 有逆元 第三节 环的特征 定理：在无零因子环中，所有非零元在加法运算下的阶是一致的，称此阶是环的特征。 定理：无零因子环的特征要么是无穷，要么是素数。 第四节 子环 子环的定义：一个环R的一个子集S叫做R的一个子环，假如S本身对于R的代数运算来说作成一个环。 一个环R的一个子集S叫做R的一个子除环，假如S本身对于R的代数运算来说作成一个除环。 第五节、同态 同态的定义：（）（）环，：映射，若满足下列条件： ① ② 若是同态满射，则称和同态。 定理：（），（）,同态，则。 若是交换环，则是交换环。 定理：如果环与同构，则有：若是整环，则是整环；若是除环，则是除环；若是域，则是域。 定理：假定和是两个环，且同态。那么的零元的象是的零元，的元的负元的象是的象的负元。并且，假如是交换环，那么也是交换环；假如有单位元，那么也有单位元，而且是的象。 定理：假定是环的一个子环，在里的补足集合（这就是所有不属于的的元作成的集合）与另一个环没有公共元，并且,那么存在一个与同构的环，并且是的子环。 第六节 多项式环 多项式定义：一个可以写成形式的的元叫做上的的一个多项式，叫做多项式的系数。 多项式环的定义：叫做上的的多项式环。 未定元的定义：的一个元叫做上的一个未定元，假如在里找不到不都等于零的元，使得 多项式次数的定义：令是环上一个一元多项式。那么非负整数叫做这个多项式的次数。多项式0没有次数。 对于给定的来说，未必含有上的未定元。 定理1：给了一个有单位元的交换环，一定有上的未定元存在，因此也就有上的多项式环存在。 无关未定元的定义：的个元叫做上的无关未定元，假如任何一个上的的多项式都不会等于零，除非这个多项式的所有系数都等于零。 定理2：给了一个有单位元的交换环同一个正整数，一定有上的无关未定元存在，因此也就有上的多项式环存在。 定理3：假如和都是有单位元的交换环上的多项式环，是上的无关未定元，是上的任意元，那么与同态。 第七节 理想 理想的定义：环的一个非空子集叫做一个理想子环，简称理想。假如 ① ② 注：理想是子环，但子环不一定是理想。 一个环至少有两个理想：①只包含零元的集合，这个理想叫做的零理想②本身，称单位理想。 定理1：除环只有两个理想，即零理想和单位理想。 主理想的定义：，由生成的理想（即包含的所有理想的交或包含的最小理想）称为主理想，记为（）。 第八节 剩余类环 剩余类的定义：对于给定的环及其一个理想，若只就加法来看，作成一个群，作成的一个不变子群。这样