第二学期第十四次课.doc

《第二学期第十四次课.doc》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、第二学期第十四次课第八章有理整数环§1有理整数环的基本概念8.1.1有理整数环的基本概念全体整数所组成的集合中有两种运算：加法和乘法，而且它们满足下面运算法则：1）加法满足结合律；2）加法满足加换律；3）有一个数0，是对任意整数，；4）对任意整数，存在整数，使；5）乘法满足结合律；6）有一个数1，是对任意整数，7）加法与乘法满足分配律：；8）乘法满足加换律；9）无零因子：如果，则。我们把满足上述九条运算性质的代数系统称为有理整数环，并用代表它。“整除”、“互素”、“倍数”、“因数”、“最大公因数”、“最小公倍数”等概念在

2、小学和中学已介绍，在这里就不再赘述。现在，我们从抽象的角度对“环”这一代数对象作一概述。设是一个非空集合。如果在的元素之间定义了一种运算，称做加法，即对中任意两元素，都按某法则对应于内的一个唯一确定的元素，记作，且满足如下运算法则：（i）结合律：；（ii）中有一元素0，是对一切；（iii）对中任一元素，有；（iv）交换律：。又设内另有一种运算称作乘法，即对中任意两个元素，都按某个法则对应于内一个唯一确定的元素，记作，且满足如下运算法则：（v）结合律：；（vi）加法与乘法有两方面的分配律：则成为一个环。如果一个环的乘法也满

3、足交换律，则称为交换环；如果环内存在一个元素，使，则称为的单位元素，称为有幺元的环；如果环内存在两个非零元，使，则（）称为左（右）零因子，这时称为有零因子环；如果环至少包含两个元素，可交换，有幺元，无零因子，则称为一个整环；如果是一个整环，且对内任一非零元素都有逆元，则称为一个域。8.1.2整除性理论命题（带余除法）对任意，唯一的存在两个整数，满足：证明存在性如果，考虑整数序列则必落在该序列中的某两项之间，从而必存在，使得。令，则有如果，我们有唯一性设另外有使，则进而得到

4、。如果，则等式的左端，但另一方面，即可知等式的右

5、端。这个矛盾说明，从而。定理得证。用辗转相除法求二整数的最大公因子给定整数且，则由得。所以。同理可证，故。给定整数，做带余除法，。若，则。若，则再做带余除法因为，所以经有限步后必有。这时，这种算法叫Euclid算法，也叫辗转相除法。8.1.3有理整数环的理想定义8.1（理想的定义）设是的一个非空子集，且满足下列条件：（i）若，则；（ii）若，则对任意有，则称为的一个理想。显然，单由0组成的子集{0}及自身都是理想，这两个理想称作平凡理想，{0}称为零理想。的其他理想称为非平凡理想。定义8.2（主理想的定义）任给，定义则称

6、为由生成的主理想。显然，(0)={0},(1)=为平凡理想，其他理想均为非平凡主理想。关于理想，我们有以下简单的性质：1）且；2）。命题有理整数环的理想都是主理想，即设是的一个理想，则存在非负整数，使。证明若是零理想{0}，取=0即可。现设，于是中必有非零之整数，现令为中的最小正整数，他显然存在且唯一。此时对任意都有，于是。反之，设为中任意整数，按带余除法，存在，使。又因，由的最小性知。故，即。于是。定义8.3（主理想整环（PID）的定义）设为一交换环，如果中的理想皆为主理想，则称为主理想环。如果同时又为整环（即环至少包

7、含两个元素，交换，有幺元，无零因子），则称为主理想整环。现在我们来看一下理想的性质：给定的两个理想，则1）它们的交集也是的理想，称为此两理想的交；2）定义则也是的理想，称为的和。我们不难得到关于理想的两个重要结论：结论1设是两个非零整数，是的最小公倍数，则。结论2设是两个不全为零的整数，则，其中。作为结论2的推论，我们有一个重要的结果：命题设是两个不全为零的整数，则下面命题互相等价：（i）互素，即；（ii）有，使；(iii).8.1.4因子唯一分解定理定义8.4（唯一分解整环的定义）设为一整环（即环至少包含两个元素，交换

8、，有幺元，无零因子）。如果满足下列两条件，则叫做一个唯一（因子）分解整环（也叫高斯整环）：1）的每个非零非单位的元素恒可以写成有限多个不可约元素的积；2）上述分解在相伴意义下是唯一的，即若元素有两种分解。则而且适当改变的角标可使（或在抽象意义下）。在抽象代数课程中，我们将用（1）因子链条件（参见习题一第7题）和（2）整环中的不可约元即为素元素（即下面的引理）来证明定理主理想整环是唯一分解整环。在这里，我们仅就有理整数环这一特殊情形给出证明，即有下面的定理：定理（算术基本定理）任一正整数都能表成若干素数的乘积，为素数并且若

9、不计的排列次序，上述表法唯一。先证明引理（有理整数环中的素因子即为不可约因子）设是素数，且。若，则或。事实上，因只有两个正因子1和，故或1。若，则；而若，即有使得，另一方面可设，，于是故。运用数学归纳法，就有若素数整除，则整除某个因子。现在可以来证明定理本身了。存在性对用数学归纳法。当时，结论显然成立。故可设，并设结