几类半环和环半模对的研讨.pdfVIP

中文摘要 源自于理论计算机科学和信息科学的几类半环受到了高度的重视与关注． 本文研究的正是这几类半环和其相应的半环半模对．主要结果如下： 1．研究了弱归纳宰．半环的矩阵以及形式幂级数．得到了它的上(下)三角 矩阵半环也是弱归纳木．半环．通过对此类半环结构的分析，给出了证明“弱归 纳宰．半环的形式幂级数半环仍然是弱归纳木．半环的另一种思路． 2．研究了扩半环的矩阵．证明了它的上(下)三角矩阵半环也是扩半环． 3．研究了半环半模对上的形式幂级数．给出了半环半模对上形式幂级数的 定义，构造了其上的u运算，证明了双归纳半环半模对上的形式幂级数仍然是双 归纳半环半模对． 4．研究了几类半环半模对．给出了几类半环相应半环半模对的定义，讨论 了它们之间的关系，证明了双妒半环半模对的上(下)三角矩阵仍然是双少半 环半模对，得到了双木吵半环半模对的矩阵仍然是它本身．利用这几类半环半模 对之间的关系，讨论了它们的形式幂级数，得到了一些很好的结果． 5．研究了双弱归纳半环半模对．给出了双弱归纳半环半模对的定义，讨论 了它的矩阵和形式幂级数：证明了它的上(下)三角矩阵仍然是它本身，得到了 它的形式幂级数是它本身的充要条件． 关键词 弱归纳丰-半环；胪半环；半环半模对；矩阵；形式幂级数． Abstract(英文摘要) Derivedfromtheoretical scienceandinformation computer science，several areattached andconcern．This studies semirings greatimportance paperprecisely are tothe these and which pairs corresponding semiringssemiring-semimodule mainresultsareasfollows： several above．The semirings formal series ofweakin- 1．Thematrix andthe semiring semiring power ductive arestudied．Weobtainits matrix 宰一semiring upper(10wer)triangular isalsoaweak thestructuralof semiring inductive宰一semiring．Byanalyzing such anotherto formal series semiring，wegive wayprove“thepower semiring ofweak isstillaweak inductive,-semiringinductive木一semiring一． its 2．Thematrix isstudied．We semiring proveupper(10