关于$\mathcal{F}$-S-可补子群

设$\mathcal{F}$是一个群类. 群$G$的子群$H$称为在$G$中$\mathcal{F}$-S-可补的，如果存在$G$的一个子群$K$,使得$G=HK$且$K/K\cap{H_G}\in\mathcal{F}$, 其中$H_G=\bigcap_{g\in G}H^g$是包含在$H$中的$G$的最大正规子群．本文利用子群的$\mathcal{F}$-S-可补性, 给出了有限群的可解性, 超可解性和幂零性的一些新的刻画. 应用这些结果, 我们可以得到一系列推论, 其中包括有关已知的著名结果.     

有限群的$\Phi$-$\tau$-可补子群

假设$\tau$是一个子群算子, $H$是有限群$G$的一个$p$-子群. 令 $\bar{G}=G/H_{G}$且$\bar{H}=H/H_{G}$, 如果$\bar{G}$有一个次正规子群$\bar{T}$ 和一个包含于$\bar{H}$ 的$\tau$-子群$\bar{S}$满足$\bar{G}=\bar{H}\bar{T}$且$\bar{H}\cap\bar{T}\leq \bar{S}\Phi(\bar{H})$, 就称$H$是$G$的一个$\Phi$-$\tau$- 可补子群. 文章通过讨论群$G$的准素数子群的$\Phi$-$\tau$-可补性给出了超循环嵌入和$p$-幂零性的一些新的特征.     

具有若干$c_p$-可补子群的有限群

设$H$为有限群$G$的子群且$p$为整除群$G$的阶的素因子. 我们称$H$在$G$中为$c_p$-可补的,如果$G$中存在$H$的包含$H_G$的补子群$T$使得$H\cap T/H_G$为$p''$-群, 其中$H_G$为$H$在$G$中的核. 群$G$ 称$CS_p$-群, 如果$G$的所有$p$-子群都在$G$中$c_p$-可补. 本文,我们刻画具有若干$c_p$-可补$p$-子群的有限群的$p$-可解性和$p$-超可解性. 此外,我们给出$p$-可解群为$CS_p$-群的若干等价条件. 最后, 我们给出两个$CS_p$-群的直积为$CS_p$-群的判别准则. 我们的结果推广了近期的若干结论.     

有限CN-群与有限c-可补群*

有限群G的子群H称为G的c-可补子群(c-正规子群),如果存在G的子群(正规子群)N, 使得 G = NH 且 N\cap H \leq H_G,这里 H_G =\bigcap\limits_g\in G H^g 是 H 在 G 中的核.每个子群都c-可补(c-正规)的有限群称为有限c-可补群(CN-群).本文研究有限CN-群与有限c-可补群, 获得了CN- 群与c-可补群的一些新的结果.特别地, 在方法上有一定的创新, 完善近期关于CN-群的研究.     

“具有幂零局部子群的有限群”一文的注记

称有限群$G$为一个PN-群若 $G$非幂零群,且对$G$的每一个$p$-子群$P$, 或者$P$是$G$的正规子群, 或者$P \subseteq Z_\infty(G)$, 或者$N_G(P)$是幂零群, $\forall p \in \pi(G)$. 本文证明了PN-群是亚幂零群. 特别地, PN-群是可解的 且给出了PN-群结构定理的一个初等的、直观的、简洁的证明.     

$p$-子群具有$p$-超可解正规化子的有限群

在已有研究中,对于$p$-子群的正规化子而言,它的$p$-幂零性质对有限$p$-幂零群的结构具有重要的影响. 本文中, 设$P$是群$G$的西罗$p$-子群, $1\leq p^d<|P|$, 对于$P$的每个阶为$p^d$的正规子群$H$H,将$N_G(H)$的$p$-幂零性质减弱为$p$-超可解性质,结合$H$的弱$M$-可补充性质,探究$p$-超可解群的结构.同时,在$N_G(P)$是$p$-幂零的条件下,利用子群$K$的弱$M$-可补充条件研究群的$p$-幂零性质,其中$K_p\leq K$且$P''\leq K_p\leq \Phi(P)$. $K_p$是$K$的西罗$p$-子群.在一定程度上,主要结果推广了Frobenius定理.     

有限群的最大子群的性质对群结构的影响（英文）

有限群G的一个子群称为在G中是π-拟正规的若它与G的每一个Sylow-子群是交换的.G的一个子群H称为在G中是c-可补的若存在G的子群N使得G=HN且H∩N≤H_G=Core_G(H).本文证明了:设F是一个包含超可解群系U的饱和群系,G有一个正规子群H使得G/H∈F.则G∈F若下列之一成立:(1)H的每个Sylow子群的所有极大子群在G中或者是π-拟正规的或者是c-可补的;(2)F~*(H)的每个SyloW子群的所有极大子群在G中或者是π-拟正规的或者是c-可补的,其中F~*(H)是H的广义Fitting子群.此结论统一了一些最近的结果.     

Norm商群的Sylow子群皆循环的有限群

设$G$是有限群, $N(G)$为$G$的norm, 则$N(G)$是$G$的正规化G的每个子群的特征子群. 我们在下列条件之一下,研究了$G$的结构：1) Norm商群$G/N(G)$是循环群;2) Norm商群$G/N(G)$的所有Sylow子群都是循环群,特别地当$G/N(G)$的阶是无平方因子数时.     

p-超循环嵌入子群的一个判别准则

令E是有限群G的一个正规子群,且U是所有有限超可解群的集合.E称为在G中是p-超循环嵌入的,如果E的每个pd-阶的G-主因子是循环的.G的子群H称为在G中是U-Φ-可补充的,如果存在G的一个次正规子群T,使得G=HT,且(H∩T)H_G/H_G≤Φ/(H/H_G)Z_U(G/H_G),其中Z_U(G/H_G)是商群G/H_G的U-超中心.作者证明,如果E的一些p-子群在G中是U-Φ-可补充的,那么E在G中是p-超循环嵌入的.作为应用,得到了有限群是p-超可解的若干判断准则,并且推广了一些已知的结果.     

有限群的弱S-拟正规嵌入子群

群G的子群H称为在G中S-拟正规嵌入的,如果对于任意的素数p| |H|,H的Sylow p-子群也是G的某个S-拟正规子群的Sylow P-子群.称群G的子群H在G中弱S-拟正规嵌入,如果存在群G的正规子群T,使得HT(△)-G且H∩T在G中是S-拟正规嵌入的.研究了弱S-拟正规嵌入子群的性质,给出了某些群类的新的特征,并推广了一些已知的结论.     

On $\mathfrak{F}_\tau$-$s$-Supplemented Subgroups of Finite Groups

Let $\mathfrak{F}$ be a non-empty formation of groups, $\tau$ a subgroup functor and $H$ a $p$-subgroup of a finite group $G.$ Let $\overline{G}=G/H_G$ and $\overline{H} =H/H_G.$ We say that $H$ is $\mathfrak{F}_\tau$-$s$-supplemented in $G$ if for some subgroup $\overline{T}$ and some $\tau$-subgroup $\overline{S}$ of $\overline{G}$ contained in $\overline{H},$ $\overline{H}\overline{T}$ is subnormal in $\overline{G}$ and $\overline{H} ∩ \overline{T} ≤ \overline{S}Z_{\mathfrak{F}}(\overline{G}).$ In this paper, we investigate the influence of $\mathfrak{F}_\tau$-$s$-supplemented subgroups on the structure of finite groups. Some new characterizations about solubility of finite groups are obtained.     

有限群的$p$-覆盖远离子群及$S$-拟正规嵌入子群

Let G be a finite group, p the smallest prime dividing the order of G and P a Sylow p-subgroup of G. If d is the smallest generator number of P, then there exist maximal subgroups P1, P2,..., Pd of P, denoted by Md(P) = {P1,...,Pd}, such that di=1 Pi = Φ(P), the Frattini subgroup of P. In this paper, we will show that if each member of some fixed Md(P) is either p-cover-avoid or S-quasinormally embedded in G, then G is p-nilpotent. As applications, some further results are obtained.     

Lattice-theoretic characterizations of the group classes {\mathfrak{N}^{k-1}\mathfrak{A}} and {\mathfrak{N}^k} for k?�� 2

Let ${2\leq k\in \mathbb{N}}$ . Recently, Costantini and Zacher obtained a lattice-theoretic characterization of the classes ${\mathfrak{N}^k}$ of finite soluble groups with nilpotent length at most k. It is the aim of this paper to give a lattice-theoretic characterization of the classes ${\mathfrak{N}^{k-1}\mathfrak{A}}$ of finite groups with commutator subgroup in ${\mathfrak{N}^{k-1}}$ ; in addition, our method also yields a new characterization of the classes ${\mathfrak{N}^k}$ . The main idea of our approach is to use two well-known theorems of Gaschütz on the Frattini and Fitting subgroups of finite groups.     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.     

Laws of the lattice of all $${\mathfrak {X}}$$ -local formations of finite groups

Ricerche di Matematica - Let $${\mathfrak {X}}$$ be a class of simple groups with a completeness property $$\pi ({\mathfrak {X}}) = \mathrm {char} \, {\mathfrak {X}}$$ . A formation is a class of...