- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
 - 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
 - 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
 - 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
 - 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
 - 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
 - 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
 
                        查看更多
                        
                    
                近世代数--主理想环
                    	§ 3. 主理想环	 3.1 定义 3.2 两个有趣的引理 3.3主要定理         要知道一个整环是不是一个唯一分解铪不是一件容易的事,因为要测验唯一分解定义里的条件(ⅰ),(ⅱ)或是(Ⅳ),2,定理2里的条件(ⅰ),(ⅲ)能否被满足,一般是非常困难的。以下我们要认识几种特殊的唯一分解环,使得我们在解决以上问题时可以有一点帮助。 3.2 两个有趣的引理         本节证明, 一个主理想环一定是一个唯一分解环。为证明这一点,我们需要两个引理。这两个引理本身也是很重要。 3.3主要定理 作业 P138: 1,2 * 3.1 定义 第一种是主理想环。 定义  一个环    叫做一个主理想环,假如    的没个理想都是主理想。 例1     环R的理想升链: 的并            是理想 例2 在整环中,  (2)                       是相伴元  (1)       引理 1  假定    是一个主理想环,若在序列                中每一个元是前面一个真因子,那么这个序列一定是一个有限序列, 也就是说, 一定存在     , 使得    不是      的真因子。 证明  构造主理想  由于     是    的因子,显然      我们看这些理想的并集   ,     是R的一个理想(例1)。由于R是主理想环,   一定是一个主理想:        。这个d属于   ,所以也属于某一个    。我们将证明,这个    一定是我们要求的元。 首先,                              =   可以得到 于是    其次,已知条件          这样      和    是相伴元。证完。        引理 2  假定R是一个主理想环,那么R的一个素元    生成一个最大理想。 证明  假定   是满足条件的理想: 由于R是主理想环,我们有 因而                        是   的因子。但   是素元,所以   不是   的相伴元,就是单位。  如果   是   的相伴元,  如果   是单位,  证完 现在我们证明 定理  一个主理想环R是一个唯一分解环。 证明  我们使用第二阶的定理2  (ⅰ)R的每一个既不是零也不是单位的元   都有一个分解     (反证法) 我们看R的一个不是零也不是单位的元    , 假定    不能写成有限个素元的乘积,那么    不会是一 个素元,那么 b 和c都是   的真因子。   的这两个真因子之中至少有一 不能写成素元的乘积,不然的话    就会是素元的乘积,与假定冲突。我们得到了结论:假如一个元   没有分解,那么   一定有一个真因子    ,     也没有分解。这样,在元   没有分解的假定之下,我们会得到一个无穷序列 在这个序列里每一个元前面一个真因子, 与引理1矛盾, 这是不可能的,所以    一定有分解。 (ⅲ)R的一个素元   若能整除     ,那么   能整除   或    。 假定R的素元   能够整除     , 那么 这就是说在剩余类环        里,  依照引理2,    是最大理想,因此依照第三章,9,定理,      是一个域。因为域没有零因子, 上边的式子告诉我们 这就是说       这样                  证完 * 
                
原创力文档
                        

文档评论(0)