局部环上线性群GL_n(V)的强平延生成定理

令 R 是局部环,GL_n(V)是 R 上的线性群,本文在 GL_n(V)中给出了强平延定义及 GL_n(V)中元素由强平延表出的最小长度定理。     

局部环上的PSL_n(V)的自同构

Pomfret·J 和 B·R·Mcdonald 在[1]中用矩阵方法确定了局部环上 GL_n(n≥3)的自同构,该文同时定出了 SL_n (V)的自同构.本文在[1]的基础上证明了 PSL_n(V)的自同构也具有标准形式.设尺是局部环,m 是 R 的极大理想,V 是 R 上的空间,SL_(?)(V)PSL_n(V)分别表示 V 上的特殊线性群与射影特殊线性群(n≥3).定义1 PSL_n(V)中的元素(?)称为射影对合,如果有:(?)=i.若(?)是射影对合,那么σ~2=αI,αI∈RL_n(V)∩SL_n(V),α∈R.称α为(?)的数量     

半序线性空间的分子结构

给出数域F上线性空间的一类更一般的统一框架，即广义线性空间的概念：设T是论域，F是数域，V(T)=|ρ|ρ：T→F|，任意ρ，σ∈V(T)，任意α∈F，规定(ρ+σ)(x)=ρ(x)+σ(x)，(αρ)(x)=α(ρ(x)，则V(T)为F上的广义线性空间．在该框架下引入半序关系，构造一类半序线性空间(V，≤)：任意α，β，γ∈V，任意α∈F，α≤β，则1)α+γ≤β+γ且γ+α≤γ+β；2)当α≥0时，αα≤αβ，当α<0时，αβ≤αα．同时构造了分子概念：格L中的元素α称为并既约元，若任意x，y∈L，α=x∨y，则α=x或α=y，L中非最小元的并既约元称为L中的分子．并讨论其分子结构，从而为进一步探讨线性空间上的代数结构、序结构及拓扑结构的复合结构奠定理论基础．     

交换环上线性群中直和因子定驻子群的一类子群

设R是含幺交换环,V是n(n≥2)维自由R-模,W,U是V的非平凡自由R-子模,且V=W U.GL(V/R)是V作为R-模的自同构群,即R上的n级一般线性群.GW,U是GL(V/R)中同时定驻W和U的子群,GW是GL(V/R)中W的定驻子群,显然GW,U是GW的子群.本文定出了在线性群中的全部扩群.     

半线性群的子群结构

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

环上模的Fuzzy同态

在环的Fuzzy同态基础上 ,给出了环上模的Fuzzy同态和F 子模、F 线性空间等概念 ,进而得到R 模的模糊同态基本定理及其模糊同构定理 .     

关于D.G.James的一个问题的解答

D心·Ja哪“曾提出一个问题,在局部环R上,当di叻V)3,公妻1时,.对任意两个理想A、B,夕(V,AB)=〔忍(V,A),卫(V,.B)〕吗?〔1〕本文解决了这个问题.同时对线性群.辛辟也考虑了相应的问题,即〔SC(V,A),S口(V,.B)〕二SC(V,AB),SSP(V,AB)=〔55尸(V,A),SSP(V,召)〕. 设R是具有极大理想卿一与剩余域F一R/形的局部环.V表”维R空间,如A是R的理想,则有自然环态射刀护R、R/A,它导出R、态射刀A:V,V/AV,刀A确定一个群态射月尸GL(V)、GL(V/AV),这一态射由: (又A“)H=H人“爹含出. 定义:对理想A,水平A的一般同余子群是: GC(V,A)…     

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

设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*中存在唯一解.     

阶化Cartan型李代数的阶化模

1.阶化李代数的正、负阶化模域F上李代数称为一阶化李代数,如(子空间直和)且显然这时是的子代数。模V称为正(负)阶化模如V=V_i(子空间直和)且必要时改变足标,总设V_o≠0_o V_o是模,称为V的底(顶)空间。我们定义了阶化模V的根R,它是V的一个子模。V为可迁当且仅当R=0_o利用根的概念,我们证明了     

Fuzzy模的概念

模糊数学深入到代数结构中,继A.Rosenfeld 引入fuzzy 子广群与fuzzy 子群以来,已经出现了fuzzy 环、fuzzy 理想以及fuzzy 向量空间等概念。本文在此基础上引入fuzzy 模的概念。指出分明模与fuzzy 模之间的密切联系:M 是R(?)模,A 是M 的fuzzy 子模当且只当(?)∈λ〔0,1〕,A_λ={x∈M|μ_A(x)≥λ}≠φ是M 的R(?)子模。证明了fuzzy 模的一些简单,性质:若干fuzzy 子模的交,和以及笛卡尔积仍为fuzzy 子模;在分明模同态之下fuzzy 子模的象是fuzzy 子模;象集中fuzzy 子模的逆象是fuzzy 子模。提出了商模的概念以及它的几个关于同态方面的性质。最后讨论了在一类特殊模—弱单模上的fuzzy 子模的一个性质。     

有限链环上的双λ-常循环码

设R是一个指数为2且极大理想为γ()的有限链环.设λ是R的一个单位.R上码长为r(,s)的一个双λ-常循环码是划分为两部分的一个集合,并且对这两部分进行λ-常循环移位保持码不变.这些码可以看作是R[x]/(xr-λ)×R[x]/(xs-λ)的R[x]-子模.本文确定了R[x]/(xr-λ)×R[x]/(xs-λ)的R[x]-子模这类码的生成多项式,给出了R[x]/(xr-λ)×R[x]/(xs-λ)的R[x]-子模这类码的极小生成元集.举例表明了通过这类码可以得到有限域上一些比较好的线性码.     

数域空间

本文试图通过向量空间的定义,按照普通数的加法与乘法定义出数域空间,进而讨论构成数域空间的充分必要条件及其维数。 1 向量空间与数域空间的概念定义1 令V是一个非空集合,F是一个数域,当它满足下列条件时,称V是数域F上的一个向量空间(或线性空间)。其中V中的元素称为向量,F中的元素称为数(或纯量)。     

表类辛平延为辛平延之积——《局部环上辛变换分解长度定理》续

在<局部环上辛变换分解长度定理>一文中给出:σ∈SP_n(V,q),都可表成若干个辛平延和一个类辛平延之积.这种分解的因子最少个数叫做辛变换σ的分解长度,记为l(σ).则当σ是非双曲时,有l(σ)=resσ;当σ是双曲时,l(σ)=resσ+1.类辛平延是这样定义的:设τ∈SP_n(V,q),如果)是域 F=R/M上辛空间中的一个非平凡的辛平延,则称τ为环 R 上辛空间(V,q)中的     

一类算子的谱理论(Ⅰ)——(AC)算子的基本性质

设X是复B-空间,B(X)是X上有界线性算子全体,C是复平面,F是C的一切闭子集类,我们引入一类算子,并研究它的谱理论,算子T∈B(X)称为(AC)算子,若T有性质(A)与(C),我们证明:(1)T∈B(X)是(AC)算子当且仅当对F到X的闭子空间类的同态X(·)满足下述条件:(ⅰ)(F_1∩F_2)=X(F_1)∩X(F_2);(ⅱ)X(φ)={0},X(C)=X;(ⅲ)TX(F)X(F);(ⅳ)σ(T|X(F))F;(ⅴ)对x∈X若存在解析函数x(λ):CF→X,使(λI-T)x(λ)=x,则x(λ)∈X(F),λ∈CF,(2)设T∈B(X)是(AC)算子,则对任何F∈F,有:(ⅰ)若X_T(F)≠{0},则F∩σ(T)≠φ;(ⅱ)若X_T(F)={0},则F∩σ_p(T)=φ,(3)设T∈B(X),σ(T)位于光滑Jordan曲线Γ上,又对每个z∈Γ,存在Γ邻域V上非零解析函数f(z),使 ‖f(z)R(λ,T)‖≤M_z,λ≠z,λ∈V,M_z>0,则T是(AC)算子。     

有限伪反射群的二维不变式

设F是特征数为0的域,V是F上的n维向量空间,G是作用在n维向量空间V上的有限伪反射群,F[V*]G是由n个代数无关的齐次不变式f1,f2,…,fn在F上生成的多项式代数.在有限伪反射群的一般不变式理论的基础上,求出了G的二维不变式环F[2V*]G的一组基本不变式,f1(x1,x2,…,xn),f2(x1,x2,…,xn),…,fn(x1,x2,…,xn),f1(y1,y2,…,yn),f2(y1,y2,…,yn),…,fn(y1,y2,…,yn),这里F[2V*]=F[x1,x2,…,xn;y1,y2,…yn].并给出了F[2V*]G的基本不变式和有限伪反射群G之间的关系.     

关于可对角化线性算子的一点注记(英文)

域F上有限维向量空间V的线性算子τ∈L(V)可对角化当且仅当它的极小多项式mτ(x)是F上互异一次因式之积.文章将利用线性算子τ的特征值的初等对称多项式给出此结果的一个新证明.     

线性估计可容许性的一个新证明

对一般的线性模型y～(Xβ,σ2V)和y～(Xβ,V)其中X和V为已知矩阵,σ＞0和β∈R     

随机效应线性模型在不等式约束下的可容许估计

本文研究了一般的Gauss-Markov(简记G-M)线性模型(Y,Xβ,σ2 V),其中V≥0已知,获得了不等式Rβ≮0约束以及矩阵损失函数下非齐次线性估计可容许的充要条件.     

有限域上有限伪反射群的相对不变式的Poincaré级数（英文）

设F q(q=pm,m≥1)为特征为p的有限域,V=Fn q是F q上的n维向量空间,G是作用在V上的有限伪反射群.设χ:G→F*q是G的一维表示,主要证明了χ(σ)=(detσ)α,0≤α≤r-1,其中,σ∈G,阶为r,r|q-1和有限域上的Molien公式,并且利用Molien公式,计算出了有限域上有限伪反射群的相对不变式的Poincaré级数.     

关于正则环、余半单环的一点注记

先给出一些必要的概念和结果。定义1:环R称为正则环,假若对于R中任意a均存在一个元x∈R使a=axa。定义2:左R—模M(记为_RM)称为余半单模,假若_RM的每一子模均为_RM的一些极大子模的交。