B2型量子群的PBW形变及其对称性

量子群的负部分是量子群理论中出现的一类重要的连通分次代数,其PBW形变简称为量子群的PBW形变。 除了A2情形,它们的定义关系式均是具有混合次数的齐次量子Serre关系式。 特别地, B2型量子群的负部分的定义关系式分别是次数为3和4的2个量子Serre关系式。 在连通分次代数的PBW形变理论的框架下, 本文明确刻画了B2型量子群的所有PBW形变并研究了它们的对称性, 即给出了B2型量子群的4类对合反自同构下的对称PBW形变。     

一类具有较少正规子群的有限p-群

给出了N1-p-群的完全分类。所谓N1-群是指一个群G仅有1个正规子群既不包含G'又不包含在Z(G)中。     

量子包络代数Uq(An)的Gelfand-Kirillov维数

定义一个 PBW 代数V_q(A_n)使得量子包络代数 U_q(A_n)是其同态象,对 V_q(A_n)用Gröbner-Shirshov基方法计算量子包络代数U_q(A_n)的Gelfand-Kirillov维数。     

基于重叠函数和分组函数的蕴涵分配性

在模糊系统中,模糊蕴涵与某些特定的聚合函数(如三角模、三角余模、一致模、零模、半一致模、半t-算子等)间的分配性被广泛研究。作为两类特殊的聚合函数,重叠函数和分组函数因其在图像处理、分类和决策等方面的应用而被广泛关注。本文给出了有加法生成子对的重叠函数、分组函数与具有边界条件的二元函数满足蕴涵分配性方程I(O(x,y),z)=G(I(x,z),I(y,z))的充要条件,以及有加法生成子对的分组函数G1,G2和具有边界条件的二元函数I满足蕴涵分配性方程I(x,G1(y,z))=G2(I(x,y),I(x,z))的充要条件。     

An型量子群的基本模的典范基

设g是An型的有限维复单李代数,U是g的量子群.对g的每一个支配权λ,存在一个最高权λ的有限维不可约最高权U-模V(λ).本文确定n≤5时An型量子群的基本模V(λ)(即λ是基本支配权)的典范基.     

Adams谱序列E2项的一些注记

利用May谱序列的相关理论对Adams谱序列的E2项,即模p Steenrod代数A的上同调进行讨论。具体给出了(~overγ)_s+3b1h_n(n≥4, 0≤s4)在Adams谱序列中的非平凡性,并且说明其不是任何元素微分的像。这些结论对球面稳定同伦群新元素的发掘具有重要意义。     

G2型量子群表示的Grobner—Shirshov基

用单李代数的泛包络代数表示的Grobner-Shirshov基方法,也就是Grobner-Shirshov对（pair）方法,来构造G2型量子群表示的Grobner—Shirshov基是非常苦难的。而用双自由模方法来构造G2型量子群的有限维不可约表示的Grobner—Shirshov基是非常方便的;以已知的G2型量子群的Grobner—Shirshov基为基础．用双自由模方法构造G2型量子群的不可约表示的Grobner-Shirshov基。     

计算B3型量子群的Grbner Shirshov基

为了计算出B_3型量子群的Gr?bner-Shirshov基,先用有限维代数表示论中的Auslander-Reiten理论和Hall代数方法计算出B_3型量子代数根向量之间的拟交换关系式并验证这些关系式对合成运算封闭,然后给出B_3型量子群的一个极小Gr?bner-Shirshov基.     

F4型量子群表示的Groebner—Shirshov基

本文以凡型量子群表示的Groebner—Shirshov基为基础,利用双自由模方法给出凡型量子群的有限维不可约表示的Groebner-Shirshov基．     

K1∪P2∪In的匹配等价图类

利用组合分析的方法刻画了K1∪P2∪I_n以及它的补图的匹配等价图类, 并且通过组合计数的方法计算了K1∪P2∪I_n的匹配等价图的个数。     

三角矩阵环上的(n,d)-内射模

设A,B是环,U是(B,A)-双模,n,d为非负整数,■是形式三角矩阵环,首先,证明了■是n-表现左T-模当且仅当M₁是n-表现左A-模,Coker φ^M是n-表现左B-模且φ^M:U?_AM₁→M₂是单同态。其次,证明了当■是(n,d)-内射左T-模时,M₁是(n,d)-内射左A-模,M₂是(n,d)-内射左B-模。     

形式三角矩阵环上的强Ding投射模和强Ding内射模

讨论了形式下三角矩阵环T=(A 0U B)上的强Ding投射模和强Ding内射模,证明了当U_A和_BU的平坦维数有限,并且(M₁M₂)_φ^M是强Ding投射左T-模时,M₁是强Ding投射左A-模,φ^M是单同态,M₂/Im φ^M是强Ding投射左B-模。     

形式三角矩阵环上的n-Gorenstein投射模

设n是整数,T=(A 0U B)是形式三角矩阵环,其中A,B是环,U是左B右A双模,_BU是投射模,U_A的平坦维数有限。证明了若左T-模(M₁M₂)_φ^M是n-Gorenstein投射模,则M₁是(n-1)-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射。反过来,若M₁是n-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射,则左T-模(M₁M₂)_φ^M是n-Gorenstein投射模。     

有界线性算子的Weyl定理的判定

令H为复的无限维可分的Hilbert空间, B(H)为H上有界线性算子的全体。称算子T∈B(H)满足Weyl定理, 若σ(T)\σw(T)=π₀₀(T), 其中σ(T)和σw(T)分别表示算子T的谱集与Weyl谱, π₀₀(T)={λ∈iso σ(T):0相似文献   

2-一致模基于重叠函数的(α,O)-迁移性

根据一致模基于重叠函数的(α,O)-迁移性概念,引入2-一致模基于重叠函数的(α,O)-迁移性概念,给出(0,O)-迁移和(1,O)-迁移的等价刻画。进一步,分别讨论五类常见2-一致模基于重叠函数的(α,O)-迁移性,特别地,当U ²∈U ²_k,U ²_0,k,U ²_0,1,U ²_1,0时,刻画了满足迁移性方程的重叠函数的结构特征。     

三角代数上互逆元处的高阶ξ-Lie可导映射

设U=Tri(A,M,B )是含单位元1的三角代数,1_A、1_B分别是A和B的单位元。对任意的A∈A, B∈B分别存在整数k₁、k₂,使得k₁1_A-A, k₂1_B-B在三角代数中可逆。利用代数分解的方法,证明了如果{φ_n}_n∈N:U→U是一列线性映射满足对任意的U,V∈U且UV=VU=1,有φ_n(［U,V］_ξ)=∑_i+j=nφ_i(U)φ_j(V)-ξφ_i(V)φ_j(U)(ξ≠0,1),则{φ_n}_n∈N是U上的高阶导子,其中φ₀=id₀是恒等映射,［U,V］_ξ=UV-ξVU。     

有限交换环上Ramanujan单位一-匹配双凯莱图

设R是有单位元1≠0的有限交换环,R上的单位一-匹配双凯莱图记为G_R=BC(R; R^×, R^×, {0}),其中R^×表示R单位的集合。若一个k-正则图G的任意具有|λ|≠k的特征值λ满足|λ|≤2(k-1)^1/2,则称这个k-正则图是Ramanujan图。给出R上的单位一-匹配双凯莱图G_R及其线图是Ramanujan图的充要条件。     

两类非线性微分—差分方程的整函数解

利用Nevanlinna值分布理论,研究了两类非线性微分-差分方程fⁿ+ωf^n-1f′+b(f′)ⁿ+qe^Qf(z+c)=ue^v和fⁿ+ω₁f^n-1f′+ω₂(f′)ⁿ+qe^Qf(z+c)=p₁e^λ₁z+p₂e^λ₂z的有限级整函数解的存在性,得到了两个结果,并举例证明文中所得结果是精确的。