有主列的模格与算子群的直既约分解唯一性定理

关于有主列的模格与(多元)算子群的直既约分解唯一性问题,Krull、Remak、Schmidt、Ore 及 Kypow 等人都作了许多研究,其主要结果是分别在模格与(多元)算子群中按同构意义的 Krull、Remak、Schmidt、Ore 及 Kypouw 一意性定理,而严格唯一性问题,关于国外的一些著作,仅见过初步的讨论(如[2]中那样)。本文试图探索两个完全     

单多元算子群的直和及亚直和

在[1]中,除了其他结果,证明了:每一正规子群都是直因子的群是且仅是一些单群的直和。[2]中对于群推广了这个结果。[3]中对于有单位元的结合环证明了与[2]类似的结果。我们在[4]中曾把[1]中结果都推广到多元算子群上去。由于多元算子群包括群、环、模等为其特殊情形,所以[4]中结果也包含了所有以前证过的关于环、模的相应结果(见[4]中所附     

DI—环

Boyle·A·K在文献[4]中分别研究了QI—环(假如每个quas(?)-injective R—模都是内射模)和V—环(假如每个单纯R—模都是内射模).本文定义并研究了DI—环,即:假如每个可除R—环都是内射模.得到: (1) 可换环R是DI—环的充要条件是R为HN—环(Hereditary Noether—环) (2) DI—环R的构造为R是阿丁环与质环的直和. (3) DI—环R的一些其它性质.     

格序环的L同态

基本同态定理是代数系中的重要定理之一,文[1](Th1.2)将群的基本同态定理推广到格序群(L-群)中,本文将它推广到格序环(L-环)与格序模(L-模)中.     

Zn[i]的素谱和零因子

讨论了模n的高斯整数环Zn[i]的素谱、局部环分解、零因子和单位群,推广了关于模n剩余类环Zn的相应结果.     

块有限生成的正交模格的自同构群

介绍了一般格的直积的自同构群与自同构群的直积的关系,对块有限自同构群的结构进行了探讨.对于几个重要不可约块有限正交模格的自同构群,主要由自同构的性质得到其生成元集;对于非不可约块有限正交模格,由其直积分解式,结合自同构群的直积,给出了其自同构群的构造.     

完备格上的拟-t-模及蕴涵算子的直积和直积分解

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.     

一类Abel群的结构

本文得到了具有如下性质的一类 Abel 群的结构:Abel 群 A 的子群 nA(n∈Z)都是 A 的直和项,从而解决了 Szasz F.A 在[1]文中提出的一个问题:“在哪些环A 中,子环 nA 是环 A 的直和项?”     

面向三维信号的分组码

设Z[3√2]是代效效域Q（3√2）的代效整效环．把商环Z[3√2]／(2^Z)的乘法单位群分解为群的直积．由此获得三维信号空间并可用来构造分组码．这些码能够改正某些错误．     

Z_n[i]的单位群结构

1801年,高斯给出了模n剩余类环Zn的单位群U(Zn)的结构定理,并在复平面上建立了高斯整数环Z[i]={a+bi a,b∈Z,i2=-1},解决了数论中的两平方和问题,但模n高斯整数环Zn[i]={a+bi a,b∈Zn}的单位群结构一直没解决。本文通过数论、组合和代数相结合的方法,给出了模n高斯整数环Zn[i]的单位群U(Zn[i])的结构定理。     

不可约模的张量积分解

给出了G=Sp(4,K)时,限制支配权所对应的不可约模的张量积分解,这里K是特征数p(0的代数闭域,G是K上C2型单连通半单代数群。确定有限群的Cartan不变量及第一Cartan不变量是模表示论中的重要研究课题,而不可约模的张量积分解对计算李型有限群的Cartan不变量和第一Cartan不变量具有十分重要的意义。利用文献[1]中Mr.HU Yu-wang的WEYL模分解结果(文献[1]),得到限制支配权所对应的不可约模的张量积分解。     

关于亚直不可约环为体的一个条件

G·Birkhoff 对交换的亚直不可约环得出了“无非零幂零元的亚直不可约环为域”的重要结论[1].傅昶林把[1]、[2]的一些结果推广到某些非交换环上[3],郭元春在[4]中又发展了[3]的一个结果,得到了“设 R 为无非零幂零元的亚直不可约环,其心为 H,若 R 的含于 H 的左理想具降链条件,则 R 为一体”.的结论.本文研究了具左π-正则性质的亚直不可约环,得到的结果是:定理.设 R 为亚直不可约环,若 R 的心 H 不含非零幂零元,且 H 中每一元素是左π—正则的,则 R 为体.     

关于求模n的剩余环的子环、理想问题

在近世代数中经常会遇到求剩余环Z_n的子环、理想、最大理想的问题。本文所讨论的问题是把求Z_n的子环、理想、最大理想的问题归结为求剩余类加群Z_n的子群问题。一、关于模n的剩余类加群Zn的子群因为模n的剩余类加群Z_n是由[1]生成的循环群,而循环群的子群是完全清楚的,     

面向三维信号的非线性分组码

设Z[^3（-2的平方根）]是代数数域Q（^3（-2的平方根））的代数整数环,把商环Z[^3（-2的平方根）]／（p^n）的乘法单位群分解为群的直积,由此获得三维信号空间并可用来构造分组码,这些码能够改正某些错误。     

关于一类环上二维线性群的定义关系的一点注记

Cohn 在[1]中给出了局部环上二维线性群的定义关系,即文中的(3.1)—(3.3)式.我们认为这三个等式也可作为半局部环及φ(?)满射环上的二维线性群的定义关系.我们用 R 表示半局部环,U 表单他元素集合,M_i(i=1,2,…,m)表其有限个极大理想,J(R)=(?)M_i,由[2]知 R/J(R)=multiply from i=1 to m R/M_i.如果 R 有无限个极大理想,multiply from tεT to R/M_i 表示 R/M_(?)的有序直积(T 是指标集),且有 R/J(R)(?)multiply from tεT R/M_t,则称 R 为φ—满射环.易见φ—满射环是半局部环形式上的推广.由于在证明我们的结     

几类w-模的Krull-Remak-Schmidt定理

研究了具有w-子模链条件的模上同态,推广了Schur引理,证明了在Krull-Remak-Schmidt定理的观点下,几类w-模可以唯一分解为自同态环是局部环的不可分解子模的直和.     

素子模与Laskerian模上的w-根

给出了素子模在环R与其多项式环R[X]之间的一个等价刻画,并分别对唯一分解整环与主理想整环中有限生成自由模的素子模进行了讨论.利用子模的w-根的相关结论,给出了有限生成Laskerian模上的w-根的两个刻画.     

高斯整数环的商环的5次幂映射图

令Z[i]为高斯整数环,Z_n[i]为模n高斯整数环.定义Z_n[i]上的5次幂映射图G(n),该映射图的顶点为Z_n[i]中的所有元素,并且,对于图中的2个顶点α和β,如果β=α~5,则从α到β有一条有向边.通过解高次同余方程以及利用高斯整数环的商环的单位群结构,对映射图G(n)的结构进行了研究,获得G(n)中不动点的个数,顶点0、1的入度计算公式,以及G(n)为半正则图的充要条件.     

半单纯环的李理想

1.引言对于任一可结合环 A,能够用它的元素与运算构成它的李环。这只要保持 A 中的元素和A 中定义的加法,但是重新引入乘法:对任意的 a、b∈A,定义李乘积为[a、b]=ab-ba,此处 ab 为 A 中元素的通常可结合积。我们称 A 的一个加法子群 U 为 A 的李理想,如果对于任何 u∈U 与任何 x∈A 而言,ux—xu 仍是 U 的一个元素。Herstein 在[1]中就 A 为一个单纯环的情形讨论了 A 的李理想,得出以下结果:设 A 为一个特征异于2的单纯环,U 为 A 的李理想,则或者 U 含于 A 的中心内,或者 U 包含[A.A],此处[A.A]表示由所有换位子 xy—yx(x、y∈A)生成的加法子群。根为零且其左理想满足降链条件的环称为半单纯的。本文将讨论半单纯环的李理想。我们的主要依据是 Artin 的结构定理:半单纯环 R 是有限个单纯理想(因而是单纯环)的直和:R=R_1R_2……R_n。希望能将 R 的李理想分解为诸单纯环 R_i(i=1.2.……n)的李     

TL-带算商环及其直积结构

引入了TL-带算商环的概念,给出了TL-带算环的同态基本定理,证明了两个TL-带算子环(理想)的直积还是TL-带算子环(理想),并讨论了TL-带算商环的直积结构.T表示完备的Brouwerian格L上任意给定的无穷∨-分配t-模.