Regular automorphisms of order p2

Let G be a group, and let α be a regular automorphism of order p² of G, where p is a prime. If G is polycyclic-by-finite and the map ϕ : G →G defined by g^ϕ= [g,α] is surjective, then G is soluble. If G is polycyclic, then C_G(α^p) and G/[G,α^p] are both nilpotent-by-finite.     

Extension dimension for paracompact spaces

We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper:

Theorem. Suppose X is a paracompact space. There is a CW complex K such that

(a) K is an absolute extensor of X up to homotopy,

(b) If a CW complex L is an absolute extensor of X up to homotopy, then L is an absolute extensor of Y up to homotopy of any paracompact space Y such that K is an absolute extensor of Y up to homotopy.

The proof is based on the following simple result (see Theorem 1.2).

Theorem. Let X be a paracompact space. Suppose a space Y is the union of a family {Y_s}_sS of its subspaces with the following properties:

(a) Each Y_s is an absolute extensor of X,

(b) For any two elements s and t of S there is uS such that Y_sY_tY_u.

If f :A→Y is a map from a closed subset A to Y such that A=_sSInt_A(f⁻¹(Y_s)), then f extends over X.

That result implies a few well-known theorems of classical theory of retracts which makes it of interest in its own.     

完全多部图与完全图Kronercker积的点参数研究

若G1和G2是两个图,G1和G2的Kronecker图定义为V (G1×G2)= V (G1) × V (G2 E(G1 × G2)= {(u1,v1)(u2,v2)。在本文中,我们计算了p-部完全图 m1,m2,...,mp 和完全图Kn 的Kronecker积的顶点参数,m1 ≤ m2 ≤ ... ≤ mp,2 ≤ p ≤ n, and n ≥ 3 ,扩展了Mamut和Vumar的相关结论[Inform. Process. Lett. 106(2008)258-262].     

On p-CAP-subgroups of finite groups

Suppose that G is a finite group and H is a subgroup of G. H is said to be a p-CAP-subgroup of G if H either covers or avoids each pd-chief factor of G. We give some characterizations for a group G to be p-solvable under the assumption that some subgroups of G are p-CAP-subgroups of G.     

一类四元数受限矩阵表达式的最大秩（英文）

确立了一类分块矩阵M11 M12 XM21 M22 M23Y M32 M33的最大秩公式,其中,X和Y是两个受限于四元数线性矩阵方程A_1X=C_1,XB_1=C_2,A_3XB_3=C_3,A_2Y=D_1,YB_2=D_2.的变量矩阵。作为该公式的一项应用,我们推导出上述矩阵方程解集等同于另一四元数二次矩阵方程组解集的条件。     

特征值问题的预变换方法 (Ⅱ):任意三角形域Laplace特征值的计算分析

本文基于三类特殊三角形(等边、等腰直角及(30°,60°,90°)三角形域)Laplace特征函数系的构造,提出任意三角形区域上Laplace特征值的近似公式与算法.给出任意三角形域上所有特征值的逼近公式:λ_m,n≈π²/24S²(h₁²(7m²-12mn+7n²)+h₂²(3m²-4mn+3n²)-2h₃²(m²-4mn+n²)),m > n ≥1,特别, 对于最小特征值λ_min=λ_2,1≈π²/S² 11h₁²+7h₂²+6h₃²/24,其中S是该三角形(h₁≤h₂≤h₃)的面积,可作为数值PDE中三角剖分质量的一种新标准q(T):=3h₃²/16S² 11h₁²+7h₂²+6h₃²/24.结合数值计算与符号计算, 将这三类三角形的基底综合形成统一的新基底, 以反映几何(三条边)对于特征问题的影响, 从而提高任意三角形域的求解精度.     

正交酉元列在有限von Neumann代数的迹自由积中的应用

令M_1为一个有限的von Neumann代数,τ_1为其上的一个忠实正规迹态.我们将证明,如果M_1中存在一列两两正交的酉元列{u_k:k∈N},则对任意具有忠实正规迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.作为推论可以得出,如果M_1有一个von Neumann子代数N不包含最小投影,则对任意具有忠实迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.     

von Neumann代数上的局部可乘Lie n-导子

A₁，…，A_n的（n-1）-换位子记为p_n（A₁，…，A_n）.令M是von Neumann代数，n ≥ 2是任意正整数，L：M → M是一个映射.本文证明了，若M不含I₁型中心直和项，且L满足L（p_n（A₁，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足条件A₁A₂=0的A₁，A₂，…，A_n ∈ M成立，则L（A）=φ（A）+f（A）对所有A ∈ M成立，其中φ：M → M和f：M → Z（M）（M的中心）是两个映射，且满足φ在P_iMP_j上是可加导子，f（p_n（A₁，A₂，…，A_n））=0对所有满足A₁A₂=0的A₁，A₂，…，A_n ∈ P_iMP_j成立（1 ≤ i，j ≤ 2），P₁ ∈ M是core-free投影，P₂=I-P₁；若M还是因子且n ≥ 3，则L满足条件L（p_n（A₁，A₂，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立当且仅当L（A）=φ（A）+h（A）I对所有A ∈ M成立，其中φ是M上的可加导子，h是M上的泛函且满足h（p_n（A₁，A₂，…，A_n））=0对所有满足条件A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立.     

A Bishop–Phelps–Bollobás Theorem for Asplund Operators

By characterizing Asplund operators through Fréchet differentiability property of convex functions, we show the following Bishop–Phelps–Bollobás theorem: Suppose that X is a Banach space,T : X → C(K) is an Asplund operator with ║T║= 1, and that x_0 ∈ S_X, 0 ε satisfy ║T(x_0)║ 1-ε~2/2.Then there exist x_ε∈ S_X and an Asplund operator S : X → C(K) of norm one so that ║S(x_ε)║ = 1, x_0-x_ε ε and ║T-S║ ε.Making use of this theorem, we further show a dual version of Bishop–Phelps–Bollobás property for a strong Radon–Nikodym operator T : ?_1 → Y of norm one: Suppose that y_0~*∈ S_(Y~*), ε≥ 0 satisfy T~*(y_0~*) 1-ε~2/2. Then there exist y_ε~*∈ S_(Y~*), x_ε∈(±e_n), y_ε∈ S_Y, and a strong Radon–Nikodym operator S : ?_1 → Y of norm one so that (ⅰ)║S(x_ε)║= 1;(ⅱ) S(x_ε) = y_ε;(ⅲ)║T-S║ ε;(ⅳ)║S~*(y_ε~*)║=y_ε~*, y_ε= 1;(ⅴ)║y_0~*-y_ε~*║ ε and (ⅵ)║T~*-S~*║ ε,where(e_n) denotes the standard unit vector basis of ?_1.