扭平凡扩张与表示维数北大核心CSCD

设k是代数闭域,∧是k上基本有限维连通Koszul自入射代数.本文首先证明:如果∧满足有限生成(FG)假设,那么存在∧的k-代数自同构σ0使得关于∧-双模D∧^(σ0)的扭平凡扩张T(∧^(σ0))=∧×D∧^(σ0)亦满足FG假设.由此得到,在∧满足FG假设的条件下,(1)T(A^(σ0))的表示维数大于等于∧的复杂度加2;(2)设G是∧的k-代数自同构群Aut_k(∧)的有限子群,且其阶在∧中可逆.如果对于任意的g∈G都有σ0g=gσ0,那么斜群代数∧*G的扭平凡扩张代数T((∧*G)^(σ0))的表示维数大于等于∧的复杂度加2.     

斜群代数与平凡扩张的表示维数

设A是域k上的一个有限维自入射代数,G是一个有限群,且G的阶在A中可逆,A*G是斜群代数,T(A)是平凡扩张代数,∧V是外代数.本文证明了A的稳定范畴与A*G的稳定范畴的三角维数相等,得到了∧V*G及T(∧V*G)的表示维数.     

交叉积群代数模范畴的左部分和右部分(英文)

设G是一个有限群,k为一个特征不整除G的阶数的域,∧是一个扭kG-模代数,且∧*_σG（简写为∧*G）是一个交叉积代数.设L_∧（R_∧）为代数∧的模范畴中前缀（后缀）的投射（内射）维数至多为1的所有有限生成的不可分解模.本文主要研究了交叉积代数∧*G的模范畴左（右）部分L_∧*G(R_∧*G)与代数∧的左（右）部分L_∧（R_∧）之间的关系.最后,利用本文得到的结果,考察了代数∧的相关性质在交叉积扩张下在代数∧*G中的保持性.     

交叉积群代数有限维数问题的一点注记

设G是一个有限群,k是一个代数闭域且k的特征不整除G的阶.Λ是一个扭kG-模代数,Λ*G是一个交叉积代数.该文证明Λ*G和Λ具有相同的有限维数,且同时满足有限维数猜想定理.     

一类高阶线性微分方程解的增长性

本文讨论一类一般的齐次和非齐次高阶线性微分方程解的增长性,证明了当整函数F,A_j,D_j和s≥1次多项式P_j(z)(j=0,1,…,k-1)满足某些条件时,方程(其中k≥2),f~(k) (A_(k-1)(z)e~(P_(k-1)(z)) D_(k-1)(z))f~((k-1)) … (A_0(z)e~(P_0(z)) D_0(z))f=F当F≡0时,所有非零解具无穷级；当F≠0时,至多除去一个有限级解f_0外,其余所有解均满足■(f)=λ(f)=σ(f)=∞且σ_2(f)≤max{s,σ(F)},从而推广了M．Frei,M．Ozawa,G．Gundersen,J．K．Langley,陈宗煊,李纯红等人的结果。     

环的Galois,分离和Frobenius扩张

设∧是其中心Ｃ＿∧上的有限维单代数，Ｆ是满足Ｃ＿∧的∧的子环，Ｇ是保持Γ的元素不变的∧的自同构的有限群．本文证明：若∧／Γ是Ｇ－Ｇａｌｏｉｓ扩张，则在∧中的中心化子△是Ｃ＿Γ一分离代数且∧／Γ是Ｆｒｏｂｅｎｉｕｓ扩张，这里Ｃ＿Γ是Γ的中心．     

集论公理的简约与基数的方幂

如命 tran_R m 指(uRv ∧usm→·usm),而 xR_*y 指m(tran_Rm∧ysm→·xsm),则集论的六条公理(对偶、联集、幂集、分出、替换、无穷)可合并为一条:x!yφ(x,y)→sy(yssx(xs_*axp_*b·φ(x,y)),这里“!y”指“最多只有一个 y”,而 xpb 指“x 为 b 的幂集”.给定无穷基数 a 后,可定义:f_0(α)=μβ(α~β>α),σ_0(α)=μγ(γ~(f_0(α))>α);f_(k 1)(a)=μβ(γ<σ_k(α))γ~β>α,σ_(k 1)(α)=μγ(γ~(f_(k 1)(α))>α).则有定理:当1≤βγ,则有:当g(δ)≤α≤g(δ)~β时α~β=g(δ)~β,对此外的α,则必α~β=α.     

具有阿贝尔Sylow 2-子群的有限群的整群环的正规化子性质

Mazur猜想:具有阿贝尔Sylow 2-子群的有限群有正规化子性质.设G是一个有限群,N是G的一个正规子群且Z(G/N)仅有平凡单位,本文建立了由Z(G/N)中单位诱导的G的自同构与N的Coleman自同构之间的联系,在此基础上证明了若G是一个具有阿贝尔Sylow 2-子群的有限群且Z(G/F*(G))仅有平凡单位,则Mazur猜想对G成立.     

Cartan型李代数的支柱簇

设g是特征数p>0的代数闭域k上的有限维限制李代数,|g|是平凡g-模k的支柱簇和 N_p(g)={X∈g|X~[p]=0}。Jantzen证明;|g|在Hochschild映射φ下的像 φ(|g|)=N_o(g)是g的一个闭子簇。本文决定了当g是Witt代数和p≥5时N_p(g)的结构。     

有限型的首次返回例外集的测度和维数北大核心CSCD

设M=(m_(ij))是一个b×b阶矩阵且m_(ij)∈{0,1},∑_(M)是矩阵M=(m_(ij))诱导产生的有限型,σ是其上左推移算子.本文主要研究的是有限型动力系统(∑_(M),σ)上的首次返回速度问题.令τ_(k)(x)是点x∈∑_(M)首次返回到包含x的k阶柱集时间,且E_(α,β)={x∈∑_(M):lim inf_(k→∞)(logτ_(k)(x))/k=α,lim sup_(k→∞)(logτ_(k)(x))/k=β}.我们证明了:当M是不可约矩阵时,对任意0≤α≤β≤+∞,集合E_(α,β)的Markov测度要么等于0要么等于1并且具有满的Hausdorff维数.     

关于单纯代数群的李代数的限制上同调群

设g是特征数p>2,3的代数闭域k上的单连通单纯代数群的李代数,V是有限维限制g-模,本文得到了关于限制上同调群H_*~1(g,V)的维数估计式,证明了当V的权都不是根或0时,H_*~1(g,V)=0。特别,当g=sl(2,k)和V是不可约(限制)g-模时,进一步决定了H_*~1(g,V)的结构,情况与特征数为0时相反,它们不总是为0。     

量子群中的Coxeter变换的“阶”

设g是有限维复单李代数。本文考虑量子群U_q(g)中两个特殊的自同构及它们作用在U_q(g)上及其可积U_q(g)-模上的性态。     

量子群中的Coxeter变换的"阶"

设g是有限维复单李代数.本文考虑量子群Uq(g)中两个特殊的自同构及它们作用在Uq(g)上及其可积Uq(g)-模上的性态.     

顶点代数V_(l,0)的极小生成问题

设g是有限维单李代数,是相应于g的无扭仿型Kac-Moody代数的导代数.讨论了相应于的顶点代数V_(l,0)的极小生成问题,证明了V_(l,0)作为顶点代数由a,h两个元素生成,其中a,h∈g.     

完全群的几个例子

设G是一个群。G到其自身的一个满单映射σ称为G的一个自同构,如果对任意G_1,g_2∈G有(g_1g_1)~σ=g_1~σg_2~σ。群G的自同构的全体对映射乘法形成一个群,称为G的自同构群,记作Aut G。特别,对任意α∈G映射是G的一个自同构,它称为由G中的元素α所决定的群G的内自同构。我们知     

非对称阵的偏序变换

大系统里,具有一类指定关系的系统结构常常表现为十分复杂的有向网络,它对应着一个模糊的非对称阵.本文给出了一组满足于计算机搜索算法的命题,以使纷乱的逻辑结构在偏序决策链的前提下相对地清晰化.设二元序偶 G=(X,(?))是一个有实际背景的系统结构.X={x_1,x_2,…,x_m;m<∞} 为有限节点集,(?)=(a_(ij))_((?)x(?)),a_(ij)=(x_i,x_j) 为从 x_i 到 x_j 的赋权,{(x_i,x_j)}(?)X×X.有以下命题:1.设(?)是一个自反的非对称模糊矩阵.令 A~((0))=(?),(?)~((k))=(?)~(k-1)_。(?)~(k-1),“。”:(?)k,a_(ij)~(k)=(?)(a_(il)~(k-1)∧a_(li)~(k-1)).则只要(?),(?)即为(?)的传递闭包.     

斜群代数的截断代数和平凡扩张

主要讨论有限群G=N×MSL(3,C)的McKay箭图,及其对应的斜群代数∧V*G的截断箭图和截断代数的性质,证明了当3|(n+1),3|r时,其特殊截断代数的平凡扩张与斜群代数∧V*G同构.     

牛顿公式的一个初等证明

设x_1,x_2,…,x_n是一元n次方程x~n-σ_1x~(n-1)+σ_2x~(n-2)-…+(-1)~nσ_n=0的n个根,并设S_k=x_1~k+x_2~k+…+x_n~k(k=1,2,…),那么 当k相似文献   

关于k-拟亚正常算子的拟仿射变换及其谱子空间

设T为Hilbert空间上的k-拟亚正常算子,即满足T~(*k)(T~*T-TT~*)T~k≥0。本文讨论了这类算子的局部谱性质。主要结果是:(ⅰ)如果S是另一个k-拟亚正常算子,S与T拟相似,则σ(T)=σ(S);(ⅱ)对复平面上的任何闭子集σ,T的相应于δ的谱子空间必为闭子空间,并且成立。此外,我们还讨论了等式成立的条件。     

k-拟-*-A类压缩算子的性质

设T是一个Hilbert空间算子,若满足T~(*k)(|T~2|-|T~*|~2)T~k≥0,则称T为k-拟-*-A类算子.著名的Fuglede-Putnam定理:若AX=XB,则A~*X=XB~*,其中A和B是正规算子.该文中,首先证明了若T是一个压缩的k-拟-*-A类算子,则T有非平凡的不变子空间或者T是真压缩算子,且正算子D=T~(*k)(|T~2|-|T~*|~2)T~k是强稳定压缩算子;其次证明了k-拟-*-A类算子不是超循环算子;最后证明了若X是Hilbert-Schmidt算子,A和(B~*)~(-1)是k-拟-*-A类算子,满足AX=XB,则A~*X=XB~*.