PVMD与自反模

证明了若R是GCD整环,N是有限型的w-模F的w-子模,满足(N:F)=(um),其中u∈R是素元,则存在F的w-子模升链A0= N A1 … Am= F,使得每一Ai是F的( u)-准素子模,且Ai是Ai 1的( u)-素子模.此外,也给出了PVMD上任何有限生成无挠模的二次对偶模的计算办法,即F**=∩{ FP| P∈Ass( K/ R) .     

李超代数的Fox导子的一些性质

设F是李超代数Ai(i∈I)和自由李超代数G的自由和,N是F的理想满足N∩Ai=1,(i∈I).设U(F)是F的泛包络代数,NU是N生成的U(F)的理想.研究了李超代数F的一个元素v,满足Dk(v)≡0 modNU,(k∈I∪J),其中Dk:U(F)→U(F)(k∈I∪J)是U(F)的Fox导子,得到了李超代数的Fox...     

可消理想的刻画

针对交换环R中的理想I是可消理想的定义,提出在(冯诺依曼)正则算术环中建立可消理想的一个等价刻画;通过映射φ:Lat(R)→Lat(I):对于任意的A∈Lat(R),φ(A)=I∩A,寻找环R和理想I的进一步关系,得出对于任意的0≠e∈Idem(R),存在0≠f∈Idem(I)使得Re=Rf;从而给出完全算术环中可消理想的等价条件:R是一个完全算术环且J(R)=0,那么I是一个可消理想当且仅当对于任意e∈Idem(R),存在f∈Idem(I)使得Re=Rf.     

满足换位子恒等式的近似环的结构

本文证明了满足换位子恒等式“(xy-yx)~n=(xy-yx)~mP”的近似环的结构。定理1 R是d。g近似环,且有单位元1,(?)x,y∈R,存在正整数m=m(x,y),n=n(x,y),m>n及p(t)∈Z(t),使(xy-yx)~n=(xy-yx)~mP(xy-yx);如果R还满足(?)x,y∈R,xy-yx≠O就有(xy-yx)~l≠0,(?)l∈Z~+,则R为交换环。定理2 R是近似环,(?)x,y∈R,存在正整数m=m(x,y),n=n(x,y),m>n,及p∈R,使(xy-yx)~n=(xy-yx)~mP且如xy-yx≠0就有(xy-yx)~l≠0,(?)l∈Z~+,则R的全体(?)零元形成R的一个理想N;R/N是近似环R_i的亚直和。其中R_i为下列情形之一:(1)交换环,(2)近似域,(3)xR_i=Ri((?)0≠x∈R_i)。     

关于ω阶Euclid理想的一些性质(英文)

理想A称为ω阶Euclid理想,如果对任何a,b∈A,a≠0,有k阶可除链(k∈N),使得φ(rk)φ(a),其中φ:A→N∪{0}且满足:φ(x)≥0对任何x∈A;(x)=0当且仅当x=0.文章建立了ω阶Euclid理想与有限可除链之间的充分必要关系,证明了ω阶Euclid理想中两个元素(至少有一个不为零)存在最大公因子和每一个ω阶Euclid理想是主理想,构造了一个适当的例子,证明了ω阶Euclid理想上每一个n阶矩阵能通过初等变换简化为标准对角阵.     

有限维结合代数上表示可约性的两个判别法则

本文给出了有限维结合代数上表示可约性的两个判别法则。它们是:若φ是有限维结合代数上的表示,其表示矩阵为aφ=T(a)∈F_n,n>1,并且存在a∈Z(A),a≠0,使得T(a)≠0 而det T(a)=0,则φ是可约的;若φ是有限维结合代数A上的正则表示,其反表示矩阵为S(a)∈F_n,n>1,则φ是既约的充要条件为:(?)a∈A,a≠0,有det S(a)≠0。     

关于ω阶Euclid理想的一些性质

理想A称为ω阶Euclid理想,如果对任何a,b∈A,a≠0,有k阶可除链(k∈N),使得φ(rk)<φ(a),其中φ:A→NU{0}且满足:φ(x)≥0对任何x∈A;φ(x)=0当且仅当x=0.文章建立了ω阶Euclid理想与有限可除链之间的充分必要关系,证明了ω阶Euclid理想中两个元素(至少有一个不为零)存在最大公因子和每一个ω阶Euclid理想是主理想,构造了一个适当的例子,证明了ω阶Euclid理想上每一个n阶矩阵能通过初等变换简化为标准对角阵.     

关于ω阶Euclid模

左R-模M称为ω阶Euclid模,如果对任何a,b∈M,a≠0,存在k阶可除链(k∈N),使得ф(mk)<ф(a),其中ф:M→NU{0}且满足:ф(m)≥0对任何m∈M;ф(m)=0当且仅当m=0.文章证明了:ω阶Euclid模存在着有限的可除链;每一个单模是ω阶Euclid模且ω阶Euclid模的子模是循环的;ω阶...     

有关C-可补子群

运用群系理论讨论Sylow子群的极大子群和Sylow子群的二次极大子群,以及极小子群对有限群结构的影响.得到(1)设G是与A4无关的有限群,P是G的最小素因数,F是包含Np的群系,则G∈F的充要条件为G存在一个正规子群,使得G/H∈F且H的Sylowp-子群的二次极大子群在G中C-可补;(2)设F是非空子群闭的局部群系,G是有限群,p是G的最小素因数且GF是可解,那么G∈FG存在正规子群N使得G/N∈F且对于P∈Sylp(N),P∩GF的22阶循环子群在G中C-可补且极小子群皆包含在ZF∞(G)中.     

有限维素代数上导子的一个注记

设 A 是域 F 上的有限维素代数, , 是 A 上的导子. 本文给出了 及 成为幂零导子的两个必要条件: 若存在0≠a A 满足 a = 0,并且对于每个 x A, 存在正整数 n x ,使得 a n x x = 0,则 是幂零导子; 若 ≠0 且 = ,如果对于每个 x A, 存在正整数n x , 使得 n x= 0,则 是幂零导子.     

拟无爪泛圈图的一个充分条件

设G是一个图.若对G中任意距离为2的点对x,y,总存在u ∈ N(x)∩N(y),使得N[u](C)N[x]∪N[y],则称G是拟无爪图.本文给出了拟无爪图是泛圈图的一个充分条件:设G是n阶2-连通无{K4,P5,A}的拟无爪图,G(≠)Cn,则G是泛圈图.     

关于A×G的结构

设(A,G,α)为C*-动力系统,其中A为连续迹C*代数,G为顺从群,at∈Autcb(a)(A).对任一x∈A,F∈L1(G,A),令f(x)为F在A(x)×G中的标准的像.证明B=(A(x)×G,AG)是A上的C*代数连续场,其中AG是上述f(.)的闭生成.作为应用a(x),证明存在从A × G到A上的连续开映射i使得对任一π×U∈A × G,i(π×U)=π1,其中π1为A中满足kerπ=kerπ1的唯一的元.     

复合解析函数族分担解析函数的一正规定则(英文)

得到一个正规定则:设α(z)和F分别是区域D上的解析函数与解析函数族,P(z)是次数P不低于2的多项式.如果对族F中函数f(z)和g(z),Pf(z)和P g(z)分担α(z)IM,并且下述条件之一成立:①对任何z0∈D,P(z)-α(z0)有至少两个不同的零点;②存在z0∈D使得P(z)-α(z0)仅有一个零点β0,同时k≠lp,其中l和k分别是f(z)-β0和α(z)-α(z0)在z0处的零点重数,α(z)不是常数.那么F在D内正规.     

关于ω阶Euclid模

左R-模M称为ω阶Euclid模,如果对任何a,b∈M,a≠0,存在k阶可除链(k∈N),使得ф(mk)<ф(a),其中ф:M→NU{0}且满足:ф(m)≥0对任何m∈M;ф(m)=0当且仅当m=0.文章证明了:ω阶Euclid模存在着有限的可除链;每一个单模是ω阶Euclid模且ω阶Euclid模的子模是循环的;ω阶Euclid模的同态核与同态象仍是ω阶Euclid模,但后者的逆命题不成立,并构造了一个适当的反例.     

弱c-supplement与一类群系

利用弱c-supplement的概念,研究了一有限群属于一个包含超可解群类的饱和群系的可能性,证明了:设F是一个饱和群系,且包含超可解群类.再假设N是G的一个正规子群,使得G/N∈F.如果对每一个p∈π(N),对N的任一个Sylow p-子群P,P的每一个极大子群在G中是弱c-supplement的,那么,G∈F.推广了某些结果.     

关于多边形三角划分中的一个逼近问题

1970年Monksy证明了正方形不能划分为奇数个面积相等的三角形，此性质已被推广到中心对称的多边形以及其它特殊的多边形。本证明：对任意多边形K，存在平面多边形簇{Kn|n∈N}和{K'n|n∈N}使得{Kn|n∈N}∪{K'n|n∈N}中任何一个Kn或K'n都不能划分为奇数个面积相等的三角形并且linn→∞Kn=K=linn→∞K'n,A(Kn)≤A（K）≤A（K'n),linn→∞A（Kn)=A(K)=linn→∞A（K'n)。     

在BCK-代数中同态映射保持理想

下面先给出 BCK－代数中的几个定义 　　定义 1设〈 X;＊, 0〉是一个 BCK－代数, X的一个非空子集 A被称为一个理想,如果它满足 　　(1)0∈ A　　(2)x∈ A, y＊ x∈ A, y∈ A(以后表示可推出 )　　定义 2设和〈 Y;＊ 1,θ〉是两个 BCK－代数,如果存在一个映射, f∶ X→ Y,使得对于任意的 x, y∈ X,有 f(x＊ y)=f(x)＊ 1f(y),则称 f为 X到 Y的一个同态映射,且称 X和 Y是同态的,记 X～ Y　　定义 3设 f是两个 BCK－代数到的一个同态,称集合 Ker(f)={x∈ X;f(x)=θ }为同态 f的核。 在 [1]中已有如下结论 …     

域上2×2上三角矩阵代数保幂等的映射

设F为一个元素个数大于3的域,T2(F)为F上的2×2上三角矩阵代数,P2(F)={A∈T2(F):A2=A},所有满足如下条件的映射:T2(F)→T2(F),A-λB∈P2(F)(A)-λ(B)∈P2(F),A,B∈T2(F),λ∈F构成集合Φ,本文研究Φ中元素的形式.     

二阶矩阵代数上保持强k-交换性映射的刻画

记M_2(F)为实或复数域F上的二阶矩阵代数。对于给定的正整数k≥1,A与B的k-交换子递推地定义为[A,B]k=[[A,B]k-1,B],其中[A,B]0=A,[A,B]1=[A,B]=AB-BA.设Φ是M_2(F)上值域包含所有一秩矩阵的映射。本文证明了Φ满足[Φ(A),Φ(B)]k=[A,B]k对任意A∈M_2(F)都成立的充要条件是存在一个泛函h∶M_2(F)→F和1的k+1次根λ∈F,使得Φ(A)=λA+h(A)I对任意A∈M_2(F)都成立。     

广义亚正定阵收敛算法

对重要矩阵类GMP={A∈Rn×n|正对角阵D,使得A0≠x∈Rn,x'(DA)x>0},用非线性规划的方法建立一个收敛算法,即使得当A∈Rnc={A∈Rn×n|A的一切主子式全为正}(这里矩阵类Rnc(∩)GMP)时,能判断是否A∈GMP;而当A∈GMP时,能具体求出满足条件的正对角阵D.