BR0-代数中MT理想的扩展及素MT理想的存在性.pdfVIP

第 期 电 子 学 报 ６ Ｖｏｌ．４３ Ｎｏ．６ 年 月 ２０１５ ６ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｊｕｎ． ２０１５ 代数中 理想的扩展及素 ＢＲ ＭＴ ＭＴ ０ 理想的存在性 吴洪博，王 娜 （陕西师范大学数学与信息科学学院，陕西西安 ７１００６２） 摘 要： 代数是一类重要的基础逻辑代数，其中著名的 代数和 代数均是 代数的特款，因而对 ＢＲ ＭＶ Ｒ ＢＲ ０ ０ ０ 代数研究结果具有普遍的实用性 首先，通过 代数中极大并 理想的存在性证明了 代数中素并 理想的存 ＢＲ ． ＢＲ  ＢＲ  ０ ０ ０ 在性；其次，利用对偶范畴的思想方法和 滤子的特征，在 代数中提出了 理想，极大 理想，素 理想等 ＭＰ ＢＲ ＭＴ ＭＴ ＭＴ ０ 概念，讨论了它们的基本性质及相互关系，并通过素并 理想构造性的证明了素 理想的存在性；最后，在非退化的  ＭＴ 代数中证明了任何一个真 理想可以扩展为一个极大素 理想 本文的工作是对 代数研究内容和方法的 ＢＲ ＭＴ ＭＴ ． ＢＲ ０ ０ 有益补充． 关键词： 逻辑代数； 代数；素并 理想； 理想；扩展；素 理想；存在性 ＢＲ  ＭＴ ＭＴ ０ 中图分类号： 文献标识码： 文章编号： （ ） Ｏ１４１１ Ａ ０３７２２１１２２０１５０６１１３７０７ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１５．０６．０１５ ＴｈｅＥｘｔｅｎｓｉｏｎｏｆＭＴＩｄｅａｌｓａｎｄｔｈｅＥｘｉｓｔｅｎｃｅｏｆＰｒｉｍｅＭＴＩｄｅａｌ ｉｎＢＲＡｌｇｅｂｒａｓ ０