群在向量空间上的广义作用

设G为群,GL(V)是向量空间V的全体可逆线性变换组成的乘法群,群G到GL(V)的一个广义同态φ称为G的一个广义线性表示,这实质是群G在向量空间V上的广义作用.该文通过研究群在向量空间上的广义作用,得到了与群G结构相关的几个重要结果.     

可逆上三角矩阵群的交换自同构

设G是群,φ:G→G为自同构.若对任意的x∈G,有φ(x)x=xφ(x),则称φ为G上的交换自同构.设Tn是域F上所有n×n阶可逆上三角矩阵全体按矩阵乘法构成的群,n≥3,F*为F中非零元全体组成的乘法群.证明了映射φ:Tn→Tn为Tn的交换自同构当且仅当存在群同态σi:F*→F*,1≤i≤n,使得φ(A)=(∏ni=1σi(aii))A,对A=(aij)n×n∈Tn,并且对任意的k=1,2,…,n,以及任意的a∈Imσk,方程xσ1(x)σ2(x)…σn(x)=a在F*中存在唯一解.     

半线性群的子群结构

设 K为域, F为其素子域, V为 K上 n维线性空间,记 GLn(V)为 V上一般线性群。以 Ln(V)表示 V上全体可逆半线性变换全体组成的群。本文给出中间群 GLn(V) XΓ Ln(V)与中间域 F■ E■ K的对应关系。     

二元域上线性半群到任意域上线性半群的同态

群同态是群论研究的主要问题,F2上的半群同态也一直是群论研究者关注的热点问题.为探讨二阶线性半群间的同态问题,本文在引进标准型、延断型、平凡型概念的基础上,通过矩阵计算与群的定义关系,描述了F2上的线性半群Mn(F2)到任意域K上的线性半群Mm(K)的同态形式(n≥m2).给出了nm,乘法半群同态(不必保幺元)为In,s,r或为φ1的延断(其中:若X为GL2(F2)的2阶元,φ1(X)=-1;若X=I2或X为3阶元,φ1(X)=1);当n=m时,乘法半群同态(不必保幺元)除In,s,r外,为标准型或为线性非平凡解同态的延断.这些结果结合文献中已有的关于一般线性群及二阶线性半群的结果,完全描述了二元域上的线性半群到任意域上的线性半群的同态的形式.     

(M,H)-临界矩阵

引进(M,H)临界矩阵的概念,研究由广义对称算子诱导的两非零广义对称张量相等的必要条件和VX∈Mn(C),多项式恒等dHM(AX)=dHM(XA)成立的充要条件,这里H是n次对称群Sn的子群,而dHM表示由群H的酉表示M诱导的矩阵函数.     

一类广义矩阵环的结构

设Fmn是数域F上m×n矩阵的全体,在Fmn上定义一个新的矩阵乘法A×PB=APB,得到一类广义矩阵环Rmn(P).给出了环Rmn(P1)与Rmn(P2)同构的一个充要条件.最后研究了环Rmn(P)的商环.     

幂零完全可约线性群的阶的上界

研究了幂零完全可约线性群的阶的上界,并且由此改进了Burnsidepaqb补充定理.证明了:定理1　令V≠0是含qm个元素的有限域上的n维向量空间,q为素数.设G为完全线性群GL(V)的幂零完全可约子群,则有(Ⅰ)|G|≤14|V|β,除非(i)　|V|≤8,|G|=|V|-1;(ii)　|V|=32l(l≥1)且|G|=12|V|β=25·2l-1-1,此时GL(V)=GL(2l,3),G∈Syl2(GL(V)),β=log32/log9.(Ⅱ)若G是p群且(p,q)(2,F)∪(M,2)∪(2,7),|G|≠12(|V|-1),则有|G|≤38|V|,特别地若还有|V|≠24,q,q3,则|G|≤14|V|.其中F,M分别表示Fermat和Mersenne素数集.     

群在集合上的广义作用及广义自同构群

设G1,G2是群,映射φ:G1→G2叫做G1到G2的广义同态映射,如果a,b∈G1,等式(ab)φ=aφbφ和(ab)φ=bφaφ,至少有一个成立.称群G广义作用在集合Ω上,如果群G到变换群SΩ有一个广义同态映射.通过研究有限群在集合上的广义作用及广义自同构群,得到了若干结果,推广了一些相关的经典定理.     

点数为素数方幂的线传递点拟本原的有限线性空间

设F为一个有限线性空间,G≤Aut（F）为F的线传递且点拟本原的自同构群,若v=p^n,p为素数,则下列之一成立（a)S=PG(d-1,q),d≥3且(q^d-1)/(q-1)=p^n,PSL（d,q)≤G≤PFL(d,q)。（b)v=q^2 q 1是一个素数且G是一个q^2 q 1阶循环群或是一个阶为（q^2 q 1)（q 1)或（q^2 q 1)q的Frobenius群。(c)线性空间的点集合是p元域上的n维向量空间V(n,p)的所有向量组成的集合,N≤G≤AGL(n,p)且G0是GL（n,p)的一个不可约的子群,这里N表示平移子群。     

线性群同态的一个结论

设F,K为域,SLn(F)表示F上的n级特殊线性群,PGLn(K)表示F上的n级射影一般线性群,ψ:SLn(F)→PGLn(K)(n≥3)为非平凡同态,得到了当K的特征为2时有关ψ的一个结论.     

n维空间的线性变换群SL(n)的不可约张量表示

在本文中引入n维空间R_n中按GL(n)(n阶线性变换群)变换的张量。r级张量,构成维数为n~r的矢量空间并且作为群G的某个表示的基。利用杨氏对称子(置换算子)可以将该表示分解为群G的不可约表示。 (一) 按GL(n)变换的张量 设G为n维空间R_n中的线性变换群(G可以为某个抽象群的确实表示)作用于R_n中的矢量x,其分量为x_1,x_2,…,x_n。A∈G把矢量x变为x′:     

广义自同构与有限群结构

设G1,G2是群,映射f：G1→G2叫做G1到G2的广义同态映射,如果任意a,b∈G1,等式（ab）^f=a^fb^f和（ab）^f=b^fa^f至少有一个成立．利用广义同态映射,以统一的观点处理互为对称的同态映射与反同态映射,所得相关结果在一定程度上揭示了广义自同构与有限群结构的联系．     

幂零矩阵和幂零线性变换

用T(n,F)表示数域F上全体n阶严格上三角矩阵作成的幂零结合代数,证明了对于n维线性空间V,必存在V的一组基使得由V的幂零线性变换生成的幂零代数N中任意元素在该基下的矩阵均为严格上三角矩阵;由V的幂零线性变换生成的最大的幂零代数均同构于T(n,F).     

广义作用与有限群结构

设G和H是给定的有限群,若φ是H到Gut(G)内的一个同态映射,就称φ为H在G的广义作用.通过研究群的广义作用,该文得到了若干结果,推广了群作用的某些结果.     

多项式环上n×n矩阵半群的积性函数

设F是任意域,M_n(x)表示多项式环F〔x〕上n×n矩阵半群。本文决定了全部从M_n(x)到F〔x〕的半群乘法同态,亦即M_n(x)的全部积性函数。     

广义四元数代数的线性表示及其乘法的可易性

给出了广义四元数代数的两种线性表示,导出了两个广义四元数代数同构的充要条件;推出了广义四元数矩阵乘法的可易性.     

任意域上一般线性群周期元素的阶

设F是任意一个域,GL(m,F)为F上的一般线性群,SF(m)表示GL(m,F)中周期元素的阶数集.对任意正整数n,GL(m,F)中有阶为n的元素的充分必要条件被证明.进一步,若E/F为域扩张,SF(m)=SE(m)的条件被得到.       

关于自反性和初等性

本文总假设 H=C 是 n 维复 Hilbert 空间,M 表示 n×n 矩阵所构成的集,我们把 M 按通常意义看成 H 上的线性算子.设 F=(?)是(?)的函数矩阵,若存在可逆矩阵 c,d∈M,使得:cFd=G=(g(?))(?),则称 F 与 G 是等价的,记为 F～G.设 S 是 M_(?)线性子空间,若(?),则称 S 是 k~-初等的,若(?),则称 S 是 k~-自反的.引理1 设F=(?),G=(?)是两个函数矩阵,若 F～G,则 F 与 G 有相同的秩.引理2 设(Ⅰ),(Ⅱ)是如下的两组方程组:     

GF(2~m)上线性码自同构群的进一步研究

从线性码的生成矩阵出发 ,研究线性码的自同构群 .给出了通过求解可逆矩阵构成的一般线性群 ,获得线性码的自同构群的方法 ,并利用矩阵广义逆理论 ,对线性码的自同构群进行进一步刻划 .所获得的结论对线性码的自同构群的理论研究与实际计算 ,对译码算法和密码体制的设计具有基础性意义 .     

有关广义自同构群的一些结论

设G1,G2是群,映射f:G1→G2叫做G1到G2的广义同态映射,如果a,b∈G1,等式(ab)f=afbf和(ab)f=bfaf至少有一个成立.通过研究群的广义自同构群,该文得到了若干结果,推广了一些相关的经典定理,包括P.Hall关于自同构群的一个定理等.