矩阵环的单侧理想

《矩阵环的单侧理想》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、本科毕业论文（设计、创作）题　　目：　　　矩阵环的单侧理想　　学生姓名：　冯兆东　学号：　A00914178院（系）：　数学科学学院　专业：数学与应用数学入学时间：二○○九年　九月导师姓名：　葛茂荣职称/学位：副教授　导师所在单位：　数学科学学院　　　完成时间：二○一三年　　六　月矩阵环的单侧理想摘要本文将证明:若是一个单环,则是单环;若是一个有单位元的环，则一定是单环,并给出了主理想环上的矩阵环的全部理想的形式以及上三角形矩阵环一类理想的构造方法.讨论了实数域上矩阵环中的单侧理想、伪理想、双边理想,给出了它们的结构和性质。关键词：矩阵环；单环

2、；理想；伪理想;双边理想TheonesideidealofmatrixringAbstractThepaperprovedthatRissingleringifissinglering,issingleringifRissinglering,gaveallidealformofmatrixringwithchiefidealIandanstructuralmethodofallidealofuppertriangularmatrix.Inthispaper,onesideideal,Pseudoidealsandidealsinmatricer

3、ingonrealnumberfieldarediscussed,thestructureandcharactersisgiven.Keywords:matrixring;singlering;ideal;Pseudoideal;ideal目录第一章前言11.1矩阵理论的发展史11.2引言11.3矩阵环的定义2第二章矩阵环22.1单环22.2单环与有单位元的环的关系4第三章矩阵环的理想形式43.1主理想环上的矩阵环的理想43.2n阶上三角矩阵环的一类理想的构造方法4第四章矩阵环中的单侧理想64.1单侧理想及伪理想64.2双边理想8主要参考文献1

4、0致谢11第一章前言1.1矩阵理论的发展史根据世界数学发展史记载，矩阵概念产生于19世纪50年代，是为了解线性方程组的需要而产生的。然而，在公元前我国就已经有了矩阵的萌芽。在我国的《九章算术》一书中已经有所描述，只是没有将它作为一个独立的概念加以研究，而仅用它解决实际问题，所以没能形成独立的矩阵理论。1850年，英国数学家西尔维斯特(SylveSter，1814--1897)在研究方程的个数与未知量的个数不相同的线性方程组时，由于无法使用行列式，所以引入了矩阵的概念。1855年，英国数学家凯莱(Caylag，1821--1895)在研究线性变换

5、下的不变量时，为了简洁、方便，引入了矩阵的概念。1858年，凯莱在《矩阵论的研究报告》中，定义了两个矩阵相等、相加以及数与矩阵的数乘等运算和算律，同时，定义了零矩阵、单位阵等特殊矩阵，更重要的是在该文中他给出了矩阵相乘、矩阵可逆等概念，以及利用伴随阵求逆阵的方法，证明了有关的算律，如矩阵乘法有结合律，没有交换律，两个非零阵乘积可以为零矩阵等结论，定义了转置阵、对称阵、反对称阵等概念。1878年，德国数学家弗罗伯纽斯(Frobeniws，1849一1917)在他的论文中引入了矩阵的行列式因子、不变因子和初等因子等概念，证明了两个矩阵等价当且仅当它

6、们有相同的不变因子和初等因子，同时给出了正交矩阵的定义,1879年，他又在自己的论文中引进矩阵秩的概念.矩阵的理论发展非常迅速，到19世纪末，矩阵理论体系已基本形成。到20世纪，矩阵理论得到了进一步的发展。目前，它己经发展成为在物理、控制论、机器人学、生物学、经济学等学科有大量应用的数学分支。1.2引言我们知道，域上的线性空间是定义了加法与乘法运算的一种代数系统。除以上两种运算外，如果还定义了一个乘法运算，并且满足分配律与结合律，称这样的代数系统是一个结合代数，简称是一个代数。实数域上的全阵环中的理想只有平凡理想.本文来讨论其中的广义理想.本文

7、中的一切记号见[2],特别是文中反复使用的表示第行第列的元素为1,其余元素为0的阶方阵,左理想和右理想的概念见[1].1.2.1理想的定义定义1.2.1[2]：非空子集称为代数的一个理想，如果对加法和数乘运算封闭；12对，一切形如及的元素的有限和都属于。注：如果把改为一切形如的元素的有限和都属于，称为代数的一个左理想，类似定义的右理想，把左理想（或右理想）称为单侧理想。设是数域，是上矩阵的全体，上定义了三种运算：矩阵加法，数乘矩阵，矩阵乘法，因此，不仅是一个维的线性空间，还是上的一个有限（维）结合代数。本文的目的是刻画出的所有单侧理想。定义1.

8、2.2:环的理想叫做一个极大理想，如果并且对于的每一个理想，或。1.3矩阵环的定义定义1.3.1[2]：设是环，上一切阶方阵关于矩阵的加法和乘法形成一