4p4阶群的差集

设G是具有二面体群同态象D_4p²的4p⁴阶群,通过考察其相交数得到如下结论：当p是素数且p≥5时,G上的差集不存在。     

有界Heyting代数上基于理想的一致拓扑空间

为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第一可数的完全正则空间,(H,τ)是T1空间当且仅当(H,τ)是Hausdorff空间,获得了(H,τ)成为离散空间和紧致空间的充要条件,指出了(H,≤,→,0,1)中格运算和蕴涵运算关于一致拓扑τ都是连续的,从而构成拓扑有界Heyting代数。同时,讨论了(H,τ)的商空间性质。     

具有Abel直因子的群到有限群间的同态个数

设H,G为有限群,如果H的子群A为H的Abel直因子,则H到G的同态个数是|A|和|G|的最大公因子的倍数。推广了著名的T.Yoshida定理。     

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

研究2阶微分方程f ″+A1(z)f ’+A0(z)f=0解的增长性.假设A1(z)=h1e^Q1(z)+h2e^Q2(z),其中Q_j(j=1,2)为n(n≥1)次多项式,h_j(j=1,2)为级小于n的整函数,A0为满足下级μ(A0)≠n的超越整函数或A0为满足Denjoy猜想极值情况的整函数,得到上述方程的每个非零解都具有无穷级,同时对解的超级进行了估计.     

δ-李color代数的交换扩张

通过δ-李color代数T的表示和2-上圈,构造了δ-李color代数T⊕V。然后证明了δ-李color代数的等价交换扩张给出相同的表示。最后通过δ-李color代数的表示和其交换扩张得到2-上圈。     

BL代数的(,∨(-overq))-模糊滤子格

对BL代数的(,∨(-overq))-模糊滤子理论作进一步深入研究。给出了(,∨(-overq))-模糊滤子的若干新性质, 定义了由BL代数上的一个模糊集生成的(,∨(-overq))-模糊滤子并建立了其表示定理, 证明了BL代数的全体(,∨(-overq))-模糊滤子之集构成一个完备的分配格。     

关于非幂零极大子群皆正规的有限群具有Sylow塔的注记

设G是所有非幂零极大子群皆正规的有限群,不应用群G的可解性,证明了G具有Sylow塔。     

半群PD(n,r)的秩和相关秩

设自然数n≥3, PDn是有限链［n］上的保距部分一一奇异变换半群。PD(n,r)={α∈PDn:|im(α)|≤r}(0≤r≤n-1)是半PDn的双边理想。通过对半群PDn的秩为r的元素的分析,获得了半群PD(n,r)的极小生成集和秩。进一步确定了当0≤l≤r时,半群PD(n,r)关于其理想PD(n,l)的相关秩。     

最大度为7的平面图全染色

假设图G是最大度为7的平面图。 利用权转移的方法证明了,如果图G中弦5-圈和弦6-圈不相邻,那么图G的全色数是Δ+1。     

k-连通图中生成树和完美匹配上的可收缩边

给出了k-连通图生成树和完美匹配上的可收缩边数目,得到如下结果:任意断片的阶都大于「k/2的k-连通图中生成树上至少有4条可收缩边;若该k-连通图中存在完美匹配,则完美匹配上至少有「k/2+1条可收缩边。     

一类有限2群与二面体群之间的同态个数

根据G₂和二面体群的结构特征以及元素的性质,计算G₂和二面体群之间的同态个数。作为应用,验证这两个群之间的同态个数满足T.Asai和T.Yoshida的猜想。     

一个二元二次同余方程解的计数

设n是任意正整数,令Z_n是模n的剩余类环,并且Z^*_n是模n的即约剩余类环,即Z^*_n={s:1≤s≤n, gcd(s,n)=1}。通过利用同余理论与指数和的相关结果来研究集合T(a,b,c,n)={(x,y)∈(Z^*_n)²:ax²+by²+c≡0 mod n}的元素个数并给出集合T(a,b,c,n)元素个数的确切计算公式。     

关于polynomial自同构的一个注记

设φ是群G的自同构, 如果对于任意的x∈G, 都有φ(x)=(v^-1₁x^ε₁v₁)(v^-1₂x^ε₂v₂)…(v^-1_mx^ε_mv_m),其中ε_i=±1, v₁,v₂,…,v_m是G中固定的元素,那么称φ是G的polynomial自同构。证明了如果G是幂零类为c的幂零群被导长为d的可解群的扩张, 那么G的polynomial自同构生成的群是幂零类至多为c-1的幂零群被导长至多为2d的可解群的扩张。     

有限可解群的特征标次数与幂零长

用n₁(G)=|{χ|χ∈Irr(G),χ(1)为合数}|和n₂(G)=|{χ(1)|χ∈Irr(G),χ(1)为合数}|分别对G的幂零长进行了估计。     

B2-型量子群的不可约模的Gröbner-Shirshov对

首先用B2-型量子群U_q(B2)的已知Gröbner-Shirshov基和双自由模方法,给出B2-型量子群上不可约模V_q(λ)的Gröbner-Shirshov对,然后通过在U_q(B2)的适当形式中取q=1给出B2型单Lie代数的泛包络代数U(B2)的Gröbner-Shirshov基和不可约U(B2)-模V(λ)的Gröbner-Shirshov对。     

无K4-子式图的2-距离和可区别边染色

图G的一个正常边染色φ若满足:∠u,v∈V(G),且d_G(u,v)≤2都有f(u)≠f(v),其中f(u)=∑_uw∈E(G)φ(uw),则称φ为图G的2-距离和可区别边染色。运用反证法,结合构造染色函数法,研究了无K₄-子式图的2-距离和可区别边染色,确定了无K₄-子式图的2-距离和可区别边色数的一个上界。     

一类六角系统的点可区别边染色

设H_(m,n)为“长”为n个相邻六边形,“宽”为m个相邻六边形构成的形如平行四边形的六角系统。通过设计染色算法,证明了H_(1,n)的点可区别边色数满足点可区别边染色猜想;给出了m≥2时H_(m,n)点可区别边色数的一个上界。     

连续时间Guichardet-Fock空间中修正随机梯度算子的性质

讨论了连续时间Guichardet-Fock空间L²(Γ;η)中修正随机梯度算子及修正点态随机梯度算子族{_s;s∈R₊}的性质。讨论表明:修正随机梯度算子是L²(Γ;η)中的稠定无界线性算子,而修正点态随机梯度算子族{_s;s∈R₊}及其共轭族{^*_s;s∈R₊}是L²(Γ;η)中的有界线性算子,具有很多性质:满足典则反交换关系和幂零性;{_s;s∈R₊}与{^*_s;s∈R₊}的不等时复合可交换,即_s^*_s=^*_ss,对∠s≠t;同时{^*_ss;s∈R₊}是L²(Γ;η)上一族正交投影。另外,利用{_s;s∈R₊}和{^*_s;s∈R₊},构造了L²(Γ;η)上一个酉算子群。     

可嵌入到欧拉示性数非负的曲面图的线性荫度

图G的线性荫度是一种非正常的边染色,即它的边集合E(G)可以分割成线性森林的最小数量,用la(G)表示。主要研究最大度Δ(G)≥7且可嵌入到欧拉示性数非负曲面图G上的线性荫度,证明了如果图G中不含相邻的含弦6-圈,则图G的线性荫度为「Δ/2。