矩阵半群的伴随以及格林关系-基础数学专业毕业论文.docxVIP

版权声明 任何收存和保管本论文各种版本的单位和个人, 未经本论文 作者同意, 不得将本论文转借他人, 亦不得随意复制、抄录、拍照 或以任何方式传播. 否则, 引起有碍作者著作权之问题, 将可能承 担法律责任. 烟 台 大 学 硕 士 学 位 论 文 PAGE 10 1 引言 1.1 研究背景与现状 本文提到的矩阵半群是指数域F 上的一些方阵按照矩阵通常的乘法运算构成的，见 文献[1-20]. 己Mn(F )为数域F 上全体n阶方阵的集合，GLn(F )为数域F 上全体n级可逆 矩阵的集合. 显然，Mn(F )与GLn(F )按照通常的矩阵乘法运算构成半群，所以它们都 是矩阵半群，后者还是矩阵群. 研究矩阵半群通常研究矩阵半群的重要类别，例如[1]研 究逆矩阵半群，[2]研究完全单的矩阵半群，[3]研究紧致交换矩阵半群，[8]研究正则单半 群，[4-8]研究了正则矩阵半群的性质. 本文将继续研究正则矩阵半群. 确定给定半群的 格林关系对于研究该半群具有重要的意义，对于矩阵半群也不例外，见[16-20]. 对于任 意的矩阵半群，完全确定其格林关系的问题还远远没有解决，其主要的困难在于根据定 义必须在给定的半群范围内寻找方程的解. [16-20]对于全矩阵半群Mn上的格林关系给 出了一些刻画. 但全矩阵半群只是矩阵半群的一个特例，对任意的矩阵半群上的格林关 系至今尚无刻画. 本文也仅是对有限阶及特殊无限阶的正则矩阵半群进行讨论，对非正 则情形的研究仍然是个难题. 本文的结果推广了[16-20]中的相关结论. 我们知道现在大多文献研究中出现的矩阵半群都只具有单一的运算，即乘法运算. 而文[15, 21, 22, 26, 27]中出现的半群以及矩阵半群，其结构与其它结构如模与环等紧 密相连. 在该文中，我们将引入一个半群G对另一个半群S作用的概念从而得到一种代 数结构，叫做带数乘的半群，或者就简单地叫做G-半群. 这里仍用(Mn(F ),.)表示域F 上 全体矩阵半群按照通常的乘法运算构成的半群. 如果S是(Mn(F ),.)的子半群，则称S为 一个矩阵半群. 粗略地讲，G-半群是介于半群与代数之间的一种结构. 半群容许一个运 算，代数容许三个运算，而G-半群则容许两个运算. G-半群与S-系的概念相似但不完全 相同. 后者是半群在一个集合上的作用，见文[9];而前者却是半群在半群的作用. 不过， 这两者都来源于模的思想. 本文将这种思想运用于矩阵半群从而得到带数乘的矩阵半群或者矩阵G-半群的概 念，见定义1.3.7注意这个概念不同于文[10]中矩阵半群的模的概念. 特别地，如果S是 域F 上一个矩阵半群而G是F 上一个乘法子半群，那么我们可以自然地定义G在S上的 作用为通常的数乘运算，由此得到一个G-半群，我们称之为S的伴随矩阵，己为[S]. 显 然，伴随半群与原半群之间有着密切的关系，见定理4.3.4. 在第4.4节和第4.5节，我们将 深入揭示这种关系. 第4.4节的主要结果(定理4.4.4)，可以简单地表达如下:在一定条 件下，半群S 是正则的(单的，纯正的，逆的，Clifford)半群(群)的充分必要条件是 其伴随半群[S] 亦然. 第4.5节的主要结论刻画了伴随半群的军等性和军么性，分别见定 理4.5.2和定理4.5.3. 有关半群理论的一些基本概念和己号，见文[23-25]. 本文的部分结 果己发表在文[28]，[29]中. 1.2 本文主要工作 本文利用半群与正则半群之间的格林关系, 得出有限阶正则矩阵半群上的格林关系 的一些充要条件; 并将结果推广到无限阶矩阵半群. 同时讨论了带数乘的矩阵半群的基 本性质, 及与其伴随矩阵的关系，并得出矩阵半群的伴随半群的军等性和军零性的一些 性质. 文章大致分为四部分: 第一部分主要是给出格林关系, G-半群, 伴随矩阵半群等定义,主要引理有引理1.4.1, 引理1.4.4, 引理1.4.5. 第二部分利用全矩阵半群与其正则子半群的关系，得到有限阶正则矩阵半群中的 格林关系的一些充要条件. 并讨论在一个己知的正则矩阵半群中添加一个特殊矩阵所生 成的矩阵半群的格林关系. 第三部分将有限阶矩阵半群的结果推广到无限阶矩阵半群, 给出无限阶矩阵半群上 格林关系的充要条件. 第四部分研究矩阵半群与其伴随矩阵之间的关系，讨论了伴随半群中的格林关系， 并得到一定条件下:S是正则的(单的、纯正的、逆的、Clifford)半群(群)的充要条件 是[S]也是如此，并刻画了[S]的军零性和军么性，给出了一些充要条件. 1.3 基本定义 设S是一个非空集合，μ为二元运算，即μ是一个映射S × S → S，若对任意x, y, z ∈ S有μ(