交换环上线性群的平延换位子

GLn(R)表示一个含1交换环R上的n级一般线性群,n≥2,T12(1)表示(1,2)位置元与所有对角元都是l而其余元为零的GLn(R)中元,GLn(R)中与T12(1)相似的矩阵称为R上n级平延,在剩余数≥2的限制下,证明下述事实设A∈GLn(R),则A是平延换位子当且仅当A相似于     

体上二维特殊线性群的对合换位子生成

本文给出体上二维线性群是由对合换位子生成的结论,推广了域上相应的结论。     

局部环上特殊线性群的u-伸缩换位子生成

设只是局部环,J是R的根,U(R)是R中单位元素集合．在一般线性群GLn(R)(n)2)中与u Ln-1相似的元素称为一个U-伸缩, 其中u U(R)．在|R/j|>2的假设下,证明SL(R)。u一伸缩构成的换位子生成。并在R是域时、在|R|=3或4的假设下,确定SL2(R)中u一伸缩换位子生成个数。     

体上不同级的射影特殊线性群的同态

设F,K为体,ChF表示F的特征;n∈Z ,GLn(F),SLn(F)分别表示F上的n阶一般线性群和n阶特殊线性群.PGLn(F),PSLn(F)分别表示F上的n阶射影一般线性群和n阶射影特殊线性群.文献[2]确定了域上PSLn(F)到PSLm(F)(n>m)的同态形式,得到了此时的同态是平凡的结论.在此基础上继续研究,使用与[2-3]类似的方法,得到了结论:当n>m、n≥3且ChK=2时PSLn(F)到PSLm(K)的同态是平凡的.     

体上一般线性群的同态(英文)

设K1和K2均为体,m和n为两个正整数,GLm(K1)和GLn(K2)分别表示K1上m阶一般线性群和K2上n阶一般线性群,映射f:GLm(K1)→GLn(K2)称为从GLm(K1)到GLn(K2)的群同态,如果f(AB)=f(A)f(B),A,B∈GLm(K1)。刻画了m>n时从GLm(K1)到GLn(K2)的所有群同态。     

域上同级射影特殊线性群的同态

设F,K为体,ChF和ChK分别表示F和K的特征,n为正整数,SLn(F)和SLn(K)分别表示F和K上的n级特殊线性群,PSLn(F)和PSLn(K)分别表示F和K上的n级射影特殊线性群。郝立柱确定了ChF=2时SLn(F)到SLn(K)(n≥3)的同态形式,得到了此时的同态是平凡的结论。在以上基础上继续研究,使用矩阵计算等方法和技巧,确定了当F,K为域且ChK=2时PSLn(F)到PSLn(K)(n≥3)的同态形式,得到了特征为2的域上同级射影特殊线性群的同态是平凡的结论。     

除环上一般线性群表示定理的新证明

利用除环上Ｓｔｅｉｎｂｅｒｇ群的Ｂｒｕｈａｔ分解，给出子除环上一般线性群表示定理一个新的证明。     

域上的辛平延的换位子

设F是域(以下F均如此假设),n为正整数。GLn(F)表示F上的可逆矩阵的全体,称为F上的n级一般线性群[1];设A∈Sp2n(F),若resA=1,则称A是一个辛平延[2]。给出了域上的辛平延换位子的等价形式,并对相互交换的辛平延换位子之积做了一定的探讨。     

布尔环上的线性群（Ⅰ）

本文定出了布尔环上的２级线性群和其自同构群的半直积．完全解决了２级线性群的自同构映射之充要条件，从而具体地定出了全部的自同构映射．     

射影特殊线性群L3（8）的一个特征性质

证明若Ｇ是有限群,则Ｇ≌Ｌ３（８）的充条件是πｅ（Ｇ）＝πｅ（Ｌ３（８））,其中πｅ（Ｇ）表示Ｇ中元的阶之集。     

域上保上三角矩阵群逆的线性映射

设F是一个元素个数大于4的域,n≥2是一个正整数.令Mn(F)和Tn(F)分别是F上n×n全矩阵空间和上三角矩阵空间.首先刻画从Tn(F)到Mn(F)的保矩阵群逆的所有线性单射,由此Tn(F)到自身的所有保矩阵群逆的线性双射被刻画.     

关于特征2的域上保对称矩阵群逆的线性保持

设F是一个特征2的域且n≥2是一个正整数.令Mn(F)和Sn(F)分别是n×n的全矩阵空间 和对称矩阵空间.我们首先刻划从Mn(F)到Sn(F)的保矩阵群逆的所有线性单射,由此从Sn(F)到 自身的所有保矩阵群逆的线性双射被刻划.     

体上拟伸缩

设K是一个给定的体,用GLn(K)表示体K上的n级一般线性群,用resA表示矩阵A的剩余数.在文献[3]基础上,对拟中心矩阵的概念进行重新定义,并得到相应结果.同时,引入拟伸缩矩阵的概念,并对它进行了刻画.     

线性方程组在线性代数教学中的应用

研究了线性方程组在解决矩阵秩的问题,判断向量组的线性相关性,求向量组的极大线性无关组等教学中的应用.通过引入线性方程组,降低了教学难度,提高了学生的学习积极性,取得了较好的教学效果.     

向量组的线性无关度及其应用

利用向量组的格拉姆矩阵,给出了欧氏空间中向量组线性无关度的定义,讨论了相关性质,并利用线性无关度给出了向量到子空间的距离公式和非齐次线性方程组最小二乘解的误差公式.据此可以确定一组线性无关度较小的向量组误差最小的线性表示,一个实际例子表明利用向量的线性无关度可以分析一组向量中最重要的向量.     

域上从对称矩阵空间到全矩阵空间保幂等的线性算子

刻画了特征不为2,3,5的域F上从对称矩阵空间Sn(F)到全矩阵空间Mm(F)的保幂等的线性算子(n≤m)。类似地,立方幂等保持,群逆保持,{1}逆保持,{1,2)逆保持等也被刻画。     

一般厄米特群的基本子群的生成元所满足的关系

1998年,唐国平以矩阵的形式定义一般厄米特群及其基本子群。以变换的形式定义一般厄米特群GH2n(R,a1,…,ar),在此基础上给出基本子群EH2n(R,a1,…,ar)的3类生成元,并证明生成元所满足的11种关系,从而取代文献[1]中5类生成元所满足的48个关系。得到的结论不但比文献[1]简单,而且对于进一步研究厄米特型的k1-函子和k2-函子具有一定的意义。     

p~4阶群与李环结构之间的关系

继单群分类定理完成之后,有限p群逐渐成为有限群研究的热点.证明了在p~4阶群G关于其子群N(G)={a-pb-papbp,c-p2b-p2ap 2-pbp2c pa,b,c∈G}的商群中定义加法和Lie乘运算为aN(G)bN(G)=(ab)pN(G),aN(G)bN(G)[a,b]N(G),则GN(G)成为Lie环.由于Lie环的可算性,这一结论有利于对p4阶群的结构进行研究.