关于四元数除环的性质

本文主要得到了以下结果定理1 域F可以扩充为(或嵌入)四元数除环的充要条件是F为有序域.定理2 设Q_(F_1)分别是由有序域F扩充得到(即嵌入)的四元数除环.则Q_(F_1)与Q_(F_2)同构的充要条件是F_1与F_2同构.定理6 四元数除环的集合是不可数的.     

四元数除环上n阶矩阵的若干性质

阐述了四元数除环上的ｎ阶矩阵与复数域上矩阵及实数域上矩阵的关系，并把复数域上ｎ阶矩阵的若干性质推广到四元数除环上．     

四元数除环的中心真子除环

设Ｆ为有序域，Ω＿Ｆ是由Ｆ扩充而得的四元数除环．证明了：Ω＿Ｆ有无穷多个中心真子除环．并给出了Ω＿Ｆ的中心真子除环Ｋ与Ｌ同构的充分条件．     

实数域及四元数除环上有平方根的方阵

给出了实数域及实四元数除环上方阵有平方根的充分必要条件。     

除环的几种刻划

环论是近世代数与离散数学中重要内容,它研究集合上带有2个二元运算的代数系。除环是1种重要的环。本文给出了除环的几个重要特征,使判1个环为除环的充要条件得以减弱,并与模论作了一些内在联系。     

环的强零因子图的一个注记

一个环R的一个元α叫做一个强零因子,假如对R中的某个非零元b,有〈α〉〈b〉=0,或者〈b〉〈α〉=0（其中〈x〉是由x∈R生成的理想）．在该文中,用S（R）表示所有强零因子的集合．对于任意的一个环r,用^~Г（R）表示一个无向图,它的顶点集是S（R）^＊=S（R）-{0},其中两上不同的顶点α和b相连当且仅当〈n〉〈b〉=0或者〈b〉〈α〉=0．该文主要研究质环直积的强零因子图的团数．     

Hamilton四元数除环上群环的Armendariz性质

研究了Hamilton四元数除环H上群环的Armendariz性质,证明了群环HC_n是Armendariz环当且仅当n≤2,其中C_n为n阶循环群,并给出了群环HT是Armendariz环的充分必要条件,其中T是扭群。作为应用,对于n次实系数多项式f(x),证明了商环H[x]/(f(x))是Armendariz环的充分必要条件是f(x)有n个实根(计重数)。     

广义四元数群的全自同构群

一个有限群Q4n称为广义四元群,若Q4n=〈a,b|a2n=1,b2＝an,ab=a-1〉,n≥3.根据广义四元群Q4n的结构和性质,利用群的扩张理论,先确定了Q4p与Q4pm的全自同构群的结构,由此归纳出一般的广义四元群Q4n的全自同构群的结构如下:设p1为n的最小素因子,n=pr11 pr22…prkk为n的素数分解,那么(a)当p1＞2时,Aut(G)=〈α〉:(〈η1〉×〈η2〉×…×〈ηk〉);(b)当p1＝2时,Aut(G)=〈α〉:(〈η2〉×…×〈ηk〉), r1＝1〈α〉:(〈γ〉×〈η2〉×…×〈ηk〉), r1＝2〈α〉:(〈μ〉×〈ν〉×〈η2〉×…×〈ηk〉), r1≥3.     

结合代数为可除代数的充要条件

本文将普通实数域上四元数可除代数推广到任意域Ｆ上四无数代数后，讨论了它是可除代数的充要条件，另外讨论了域Ｆ上无限维代数是可除代数的条件。     

除环上分块矩阵广义逆中子块的独立性

通过使用除环上具有同行或同列的双矩阵分解定理,给出了除环上两个同阶矩阵的g-逆和自反g-逆具有子块独立性的充分必要条件.     

左除式唯一的左Euclid环的构造

一个除环D上带有自同构σ及左σ导子δ的斜多项式环D[t;σ,δ)是左除式唯一的,本文证明了它的逆命题;左除式唯一的左Enclid环(R,N)是一个斜多项式环D[t;σ,δ),其中,t是R—D中N值最小的元。σ与δ是D中的映射,由下方式确定:ta=σ(a)t++δ(a)。     

由一个加群构造的一类交换环

由一个加群G=(〈x〉 ,〈y〉) ,此处mx≠ 0 ,my≠ 0 ,对任意非零整数m ,构造出一类交换环Rm,m=1 ,2 ,3,… ,使得Rm 与Rn(m ≠n)不同构 ,且对任何m与n ,Rm 有无穷多个同构于Rn 的子环 .     

一些内-∑环的结构

本文中约定不含真子环的环不是内-∑环. 定义1 设∑是某个代数性质,如果环R的任一页子环都具有性质∑,但R不具有性质∑,则R叫做一个内-∑环. 引理1 内除环是半单环. 引理2 内除环恰为两个单纯理想的直和. 推论内域环是半单环,内域环恰为两个单纯理想的直和. 引理3 非零环R不含真子环的充要条件是R为p元域或p元零乘环,这里p为素数.     

可除模的几个特征

在对前人的成果进行分析的基础上 ,发现可除模也存在一种与内射模相类似的延拓性 ,通过比较、归纳得到以下结果 :设R是一个环 ,r0 是任意正则元 (即非零因子元 ) ,M是左R -模 ,则M是可除模 M是PR -内射模 Ext1R(R/Rr0 ,M) =0 R/r0 R M =0 .而且给出了可除模的子模是可除模的充要条件 .     

四元数量子理论中最小二乘问题的代数方法

借助四元数矩阵的复表示, 引进四元数矩阵范数, 研究四元数最小二乘 问题并得到了在四元数量子理论中解决四元数最小二乘问题的一种代数方法. 数值算例说明了算法的有效性.     

环F2+uF2上2e长的循环码

环F2 uF2上的循环码定义为环Rn=(F2 uF2)[x]/〈xn-1〉的理想.考虑F2 uF2上n=2e长(e为任意正整数)的循环码的结构,证明了Rn是局部环但不是主理想环,并确定了F2 uF2上的循环码的生成元.     

多项式剩余类环上常循环码的极小生成元集（英文）

讨论了环R=F_(p~m)[u]/〈u~k〉上码长为任意长度N=p~en的(1+λu)常循环码的极小生成元集和秩,其中u~k=0,λ是R上的单位.特别地给出了k=2且λ=1的情形,从而指出了文献[Abular T,Siap I.Constacyclic codes over F2+uF2.Journal of the Franklin Institute,2009,345:520-529]中关于极小生成元集的一个小错误.此外,基于环R上循环码和常循环码的置换等价性的分析,得到了环R上其他一些常循环码的生成多项式和极小生成元集.特别地给出了环F_(2~m)[u]/〈u~3〉上码长N为奇数和码长N≡2(mod 4)时(1+ζu~2)常循环码的生成多项式和极小生成元集,其中ζ∈F*_(2~m).     

除环上全阵环的直积

本文给出了一个环为除环上全阵环的直积和一个环为有单位元的单环之直积的充要条件。     

几乎Prüfer整环多项式环的维数和分式环

证明了如下2个结果:若R是几乎Prfer整环,则dimR[X1,…,Xn]=dimR+n;若R〈X〉■Rc〈X〉是根扩张,则R是几乎Prfer整环当且仅当R〈X〉是几乎Prfer整环.     

任意域上的四元数环

讨论任意域上四元数环的性质，得到了四元数环的若干结果。