有限几何与不完全区组设计的构作(VI)利用有限域上向量空间的子空间而构作的多个结合类的结合方案

1.引言设F_q是q个元素的有限域,q是一个素数的幂。以v_n(F_q)表由所有n维行向量的全体所组成的F_q上的n维向量空间。v_n(F_q)上作用着n级一般线性群GL_n(F_q),它由F_q上所有n×n 非奇异矩阵组成。v_n(F_q)的一个m维子空间P可用一个秩为m的m×n矩阵来表示,只要这个矩阵的m个行向量组成P的一组基。我们常用同一字母P来代表表示一个子空间P的矩阵。当然同一子空间可用不同的矩阵P和Q表示,只要有     

Abel群的一些分解定理的推广(Ⅲ)

从主理想整环上有界模分解的Prüfer-Baer定理出发,研究(无限维)向量空间的代数的线性变换的几个基本问题,得到了如下结果:设V是域F上的(无限维)向量空间,A是V上的一个代数的线性变换,则有(1)若任何与A可交换的线性变换均与线性变换B可交换,则B=f(A),其中f是F上的多项式.进而线性变换B也是代数的.(2) V中存在一组基,使A在这组基下的矩阵是有理标准型(经典标准型)矩阵.当F是代数闭域时,经典标准型矩阵即为若当标准型矩阵.(3)当F是代数闭域时,A存在相应的Jordan-Chevalley分解.进一步,该结论在完全域上仍成立.这些研究推广了有限维向量空间上线性变换的相关结果.     

有限局部环上对称矩阵的计数定理(Ⅰ)

设A_n(R)是有限局部环Z/p~k Z上n阶对称矩阵的集合,这里n≥2．p是大于2素数,p≡1(mod4)且k＞1．通过确定有限局部环Z/p~k Z上对称矩阵的标准型,计算出A_n(R)在线性群GL_n(R)作用下的轨道数,从而计算出由特定对称矩阵确定的正交群的阶以及与特定对称矩阵在同一轨道的对称矩阵的阶．     

特征数2的体上酉群的构造

1.引言设K是一个特征数等于2的体(不一定可交换),是K的一个对合性反自同构,卽为K的一个反自同构,且对一切有。设H为K上的一个n阶可逆哈矩阵(Hamiltonian matrix),卽H可逆且(其中H＇表示H的传置矩阵,是将H的每个元hij换以所成之矩障)。体K上一切满足条件之n阶矩阵Q组成一个群,叫做K上由H定义之n阶酉群(Unitary group),记作U_n(K,H)。     

集合上的混合变换群

本文对非空集合Ｍ的变换特别是非双射变换作成的群的情况进行了研究和讨论，并推广了近世代数中的一个定理。最后又讨论了线性空间的可逆线性变换和非可逆线性变换群。     

环上的线性群

<正> 体上线性群的自同构及构造曾有很详尽的研究(详见[1],[2]).整数环上线性群的自同构是由华罗庚及 I.Reiner 开始研究的.万哲先及了 J.Landin 和 I.Riener 讨论了非交换主理想整环上一般线性群的自同构,[4]中还讨论了非交换欧氏环上特殊线性群的自同构.本文将讨论一般环上线性群的自同构与构造.以 R 表任一给定的环,R 上的 n 级特殊线性群 SL_n(R)定义为由一切形如(?)(其中 I=I~((n)),是 n 阶单位方阵,Eij 表示在(i,j)位置上有元素1而其余位置是零的 n×n方阵)的 n×n 方阵所生成的群;R 上的 n 级一般线性群 GL_n(R)定义为 R 上一切可逆的n×n 方阵所作成的群.在本文中我们证明了:若 R 是特征数≠2的可换整环(无零因     

k元线性变换的矩阵表示

本文在线性空间中一元线性变换的基础上，给出了ｋ元线性变换、重矩阵的定义，并且给出了ｋ元线性变换在一个基上的矩阵表示，是一元线性变换的推广．     

关于本原环的矩阵表示的结构

<正> 设■是除环 F 上 n-维向量空间,则熟知地 m 的共轭空间(?)必是 n-维,并且对 m 的任一基{u_i}在(?)中必存在一个伴随基{v_i},即{u_i}与{v_i)满足(u_i,v_i)=δ_(ij),其中δ_(ij),是 Kronecker 符号.记σ是(?)的任一线性变换,那未必存在(?)的一个线性变换(?),使得在上述{u_i}及{v_i}基下,σ与(?)听对应的矩阵恰好互为转置.这是有限维空间的一个基本结果.为了进一步研究线性变换环的结构,我们首先要把上述     

k元线性变换的矩阵表示

本在线性空同中一元线性变按的基础上，给出了量元线性变换、重矩阵的定义，并且给出了k元线性变换在一个基上的矩阵表示，是一元线性变换的推广。     

矩阵环的有限乘法子群

将Minkowski关于有限整数矩阵群的著名结果推广到一般的环上,主要结果是证明了:对任意环R,如果R的加法群为有限生成的自由Abel群,则R的所有乘法可逆元构成的群U(R)中的有限子群精确到同构只有有限多个.     

L(V)是无限维中心代数的初等证明

研究域F上无限维线性空间V的任一子空间W的线性变换在V上的扩张,用初等方法可证明V的线性变换代数L(V)是无限维的中心代数.在一定意义上推广了域F上的n级矩阵代数是中心代数这一结果.     

半环上的三角矩阵乘法半群的自同构

设R是含有恒等元1的半环,C是R上的中心子半环.Tn(R)是R上的n阶上三角矩阵C-代数.证明了当R是一个幂等元都是中心元的半环时,映射Φ:Tn(R)→Tn(R)是乘法半群自同构当且仅当存在Tn(R)中的可逆矩阵G和R中的半环自同构τ使得A=(aij)n×n∈Tn(R),均有Φ(A)=G-1τ(A)G.这里τ(A)=(τ(aij))n×n,n2.     

酉群对于它的换位子群的商群的构造

<正> 设 K 为体,a→(?)为 K 的一个对合,并设此对合不是单位映射.再设 H 为 K 上 n 阶可逆斜哈矩阵,当 chK=2时,更设 H 是迹式的.K 上 n×n 矩阵 P 称为对 H 而言的酉矩阵,如果PH(?)=H.全体对 H 而言的酉矩阵组成一个群,称为对 H 而言的酉群,记为 U_n(K,H).一个酉矩阵T 称为酉平延,如果 I-T 为秩是 1 的幂零矩阵.全体酉平延生成的群是 U_n(K,H)的正     

非负交换整半环上矩阵的正/负行列式保持问题

设R为非负交换整半环,用M_n(R)表示R上所有n×n矩阵构成的矩阵半环.令T是M_n(R)到其自身的线性变换,若T满足|T(X)|~+=|X|~+,■X∈M_n(R)(或|T(X)|~-=|X|~-,(?)X∈Mn(R)),称T为M_n(R)上保持正行列式(负行列式)的线性变换.刻画了n≥4时,M_n(R)上保持正行列式/负行列式的线性满射形式.     

赋值环上的Suslin稳定性定理

本文证明了赋值环上的Suslin稳定性定理,研究并得到:当n3时,任意赋值环V上的特殊线性群SL_n(V[x])可以由该环上初等矩阵群E_n(V [x])生成,即SL_n(V [x])中每一个矩阵都可以分解成初等矩阵的乘积.进一步证明了,对于任意算术环R,当n3时, SL_n(R[x])=SL_n(R)·E_n(R[x]).     

一类环上G_n(R)的自同构

设R是连通可和环, 2是R的单位。R上一切形如■的可逆上三角阵构成的乘法群为G_n(R),设Λ是G_n(R)的自同构,则Λ必为以下形状之一; 其中P∈G_n(R),σ是R的自同构; 其中τ是R的自同构,p(A)是A的(n,n)位置的元素。     

与线性变换的完全环同构的环理论(Ⅴ)

<正> 一个环 R 称为本原环,若 R 同构于线性变换稠密环.如果 R 含有非零基座,那末 R 可与除环 F 上的一个对偶空间(A,A′)联系起来,并有熟知的同构定理.F 上向量空间 A的一个线性变换σ称为在 A′上有一个伴随σ′,若σ′是 A′上的一个线性变换并且(aσ,a′)=(a,a′σ′),其中 a∈A,a′∈A′.在有限拓扑意义下,具有伴随的线性变换一定是连续的.我们始终记(?)_(A′)(A)为 A 的所有连续线性变换的环,(?)_A′(A)为秩有限的所有连续线性变换的环.     

单位积决定的若当矩阵代数(英文)

本文研究了单位积决定的若当矩阵代数M=Mn(R)的条件及分类问题.利用基矩阵及巧妙对对称双线性映射{·,·}进行构造和扩充,用初等矩阵的方法,获得了一系列新的同样重要的定义,结论与证明(与参考文献[1]相比较),推广了参考文献[1]的结论,作为其应用可以进一步证明了Mn(R)上的任意可逆线性映射都是保单位积的.     

线性群中的一类可解完全群

设 m 为奇数(m≥3),模 m 剩余类环 Zm 内的全体可逆元组成的集合记为 Zm~*。我们定义的 n 级(n=2v,v≥2)线性群 G 是由如下形式的辛矩阵生成的     

可换环上上三角矩阵代数的若当自同构分解(英文)

设R是含单位元1和可逆元2的可换环,Tn+1(R)表示R上(n+1)×(n+1)级上三角矩阵全体所形成的矩阵代数.本文证明了T(R)的每一个若当自同构都可唯一的分解为图自同构,内自同构和对角自同构的乘积.