arXiv 1608.045702016-08-16math.GR

A generalisation of a theorem of Wielandt

Francesco Fumagalli, Gunter Malle

英文摘要：

In 1974, Helmut Wielandt proved that in a finite group $G$, a subgroup $A$ is subnormal if and only if it is subnormal in every $\seq{A,g}$ for all $g\in G$. In this paper, we prove that the subnormality of an odd order nilpotent subgroup $A$ of $G$ is already guaranteed by a seemingly weaker condition: $A$ is subnormal in $G$ if for every conjugacy class $C$ of $G$ there exists $c\in C$ for which $A$ is subnormal in $\seq{A,c}$. We also prove the following property of finite non-abelian simple groups: if $A$ is a subgroup of odd prime order $p$ in a finite almost simple group $G$, then there exists a cyclic $p'$-subgroup of $F^*(G)$ which does not normalise any non-trivial $p$-subgroup of $G$ that is generated by conjugates of~$A$.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

The proper definition and Wielandt-Hartley's theorem for submaximal $\mathfrak{X}$-subgroups

A nonempty class $\mathfrak{X}$ of finite groups is called complete if it is closed under taking subgroups, homomorphic images and extensions. We deal with a classical problem of determining $\mathfrak{X}$-maximal subgroups. We consider two definitions of submaximal $\mathfrak{X}$-subgroups suggested by Wielandt and discuss which one better suits our task. We prove that these definitions are not equivalent yet Wielandt-Hartley's theorem holds true for either definition of $\mathfrak{X}$-submaximality. We also give some applications of the strong version of Wielandt-Hartley's theorem.

2019-10-22math.GR

Confirmation for Wielandt's conjecture

Let $π$ be a set of primes. By H.Wielandt definition, {\it Sylow $π$-theorem} holds for a finite group $G$ if all maximal $π$-subgroups of $G$ are conjugate. In the paper, the following statement is proven. Assume that $π$ is a union of disjoint subsets $σ$ and $τ$ and a finite group $G$ possesses a $π$-Hall subgroup which is a direct product of a $σ$-subgroup and a $τ$-subgroup. Furthermore, assume that both the Sylow $σ$-theorem and $τ$-theorem hold for $G$. Then the Sylow $π$-theorem holds for $G$. This result confirms a conjecture posed by H.\,Wielandt in~1959.

2014-07-08math.GR

有限置换群中的错位子群与 Frobenius--Wielandt 定理

The derangements subgroup in a finite permutation group and the Frobenius--Wielandt Theorem

本文综述了错位子群与 Frobenius--Wielandt 核的关系，并刻画了 $p$-群作为传递非正则置换群单点稳定子的群论条件。

2025-01-29math.GR

关于融合系统和局部性的威拉德定理

On Wielandt's Join Theorem for fusion systems and localities

Institut für Algebra, Fakultät Mathematik, Technische Universität Dresden（德累斯顿工业大学数学学院代数研究所）

本文研究融合系统和局部性中的威拉德定理，证明了其在融合系统和局部性中的版本，并提出一个独立的群论结果。

2026-03-31math.GR

The Schur-Wielandt theory for central S-rings

Two basic results on the S-rings over an abelian group are the Schur theorem on multipliers and the Wielandt theorem on primitive S-rings over groups with a cyclic Sylow subgroup. None of these theorems is directly generalized to the non-abelian case. Nevertheless, we prove that they are true for the central S-rings, i.e., for those which are contained in the center of the group ring of the underlying group (such S-rings naturally arise in the supercharacter theory). We also generalize the concept of a B-group introduced by Wielandt, and show that any Camina group is a generalized B-group wher…

2015-05-06math.GR

A Generalization of Hall-Wielandt Theorem

Let $G$ be a finite group and $P\in Syl_p(G)$. We denote the $k$'th term of the upper central series of $G$ by $Z_k(G)$ and the norm of $G$ by $Z^*(G)$. In this article, we prove that if for every tame intersection $P\cap Q$ such that $Z_{p-1}(P)<P\cap Q<P$, the group $N_G(P\cap Q)$ is $p$-nilpotent then $N_G(P)$ controls $p$-transfer in $G$. For $p=2$, we sharpen our results by proving if for every tame intersection $P\cap Q$ such that $Z^*(P)<P\cap Q<P$, the group $N_G(P\cap Q)$ is $p$-nilpotent then $N_G(P)$ controls $p$-transfer in $G$. We also obtain several corollaries which give suffici…

2019-08-28math.GR

更多相关论文收起更多论文

$p$-子群链的筛法公式

A sieve formula for chains of $p$-subgroups

本文针对有限群和素数建立筛法公式，以同余式计数特定阶p-子群链，推广Sylow-Frobenius定理，方法基于Wielandt方法。

2024-07-18math.GR

Two generalisations of Leighton's Theorem

Leighton's graph covering theorem says that two finite graphs with a common cover have a common finite cover. We present a new proof of this using groupoids, and use this as a model to prove two generalisations of the theorem. The first generalisation, which we refer to as the symmetry-restricted version, restricts how balls of a given size in the universal cover can map down to the two finite graphs when factoring through the common finite cover - this answers a question of Neumann. Secondly, we consider covers of graphs of spaces (or of more general objects), which leads to an even more gene…

2022-08-23math.GR

On the generalized Fitting height and insoluble length of finite groups

We prove two conjectures of E. Khukhro and P. Shumyatsky concerning the Fitting height and insoluble length of finite groups. As a by-product of our methods, we also prove a generalization of a result of Flavell, which itself generalizes Wielandt's Zipper Lemma and provides a characterization of subgroups contained in a unique maximal subgroup. We also derive a number of consequences of our theorems, including some applications to the set of odd order elements of a finite group inverted by an involutory automorphism.

2020-04-15math.GR

A generalisation of Schenkman's theorem

Let $G$ be a finite group and let $\mathfrak{F}$ be a hereditary saturated formation. We denote by $\mathbf{Z}_{\mathfrak{F}}(G)$ the product of all normal subgroups $N$ of $G$ such that every chief factor $H/K$ of $G$ below $N$ is $\mathfrak{F}$-central in $G$, that is, \[ (H/K) \rtimes (G/\mathbf{C}_{G}(H/K)) \in \mathfrak{F}. \]A subgroup $A \leq G$ is said to be $\mathfrak{F}$-subnormal in the sense of Kegel, or $K$-$\mathfrak{F}$-subnormal in $G$, if there is a subgroup chain \[ A = A_0 \leq A_1 \leq \ldots \leq A_n = G \] such that either $A_{i-1} \trianglelefteq A_{i}$ or $A_i / (A_{i-1…

2020-09-17math.GR

Some generalisations of Schur's and Baer's theorem and their connection with homological algebra

Schur's Theorem and its generalisation, Baer's Theorem, are distinguished results in group theory, connecting the upper central quotients with the lower central series. The aim of this paper is to generalise these results in two different directions, using novel methods related with the non-abelian tensor product. In particular, we prove a version of Schur-Baer Theorem for finitely generated groups. Then, we apply these newly obtained results to describe the $k$-nilpotent multiplier, for $k\geq 2$, and other invariants of groups.

2020-12-21math.GRmath.KT

关于 $\mathfrak{X}$-子群的嵌入定理

On embedding theorems for $\mathfrak{X}$-subgroups

本文研究了有限群类 $\mathfrak{X}$ 中子群通过次正规列投影判定嵌入性的问题，构造了反例并证明在 $K$ 正规化 $H$ 投影的条件下嵌入性成立。

2022-06-21math.GR

具有两个轨道的置换群中的错位排列

Derangements in permutation groups with two orbits

本文针对Ellis和Harper提出的双等长轨道置换群含错位排列的猜想，在n为两素数乘积时给出证明，并通过计算验证n≤30的情况，推进了Jordan定理的推广研究。

2025-06-13math.GR

A Bochner Type Theorem for Inductive Limits of Gelfand Pairs

In this paper we prove a generalisation of Bochner's theorem. Our result deals with Olshanski's spherical pairs defined as inductive limits of increasing sequences of Gelfand Pairs.

2008-04-30math.CAmath.GR

Association schemes with given stratum dimensions: on a paper of Peter M. Neumann

In January 1969, Peter M. Neumann wrote a paper entitled "Primitive permutation groups of degree 3p". The main theorem placed restrictions on the parameters of a primitive but not 2-transitive permutation group of degree three times a prime. The paper was never published, and the results have been superseded by stronger theorems depending on the classification of the finite simple groups, for example a classification of primitive groups of odd degree. However, there are further reasons for being interested in this paper. First, it was written at a time when combinatorial techniques were being …

2022-08-08math.COmath.GR

Two local conditions on the vertex stabiliser of arc-transitive graphs and their effect on the Sylow subgroups

In this paper we study $G$-arc-transitive graphs $Δ$ where the permutation group $G_x^{Δ(x)}$ induced by the stabiliser $G_x$ of the vertex $x$ on the neighbourhood $Δ(x)$ satisfies the two conditions given in the introduction. We show that for such a $G$-arc-transitive graph $Δ$, if $(x,y)$ is an arc of $Δ$, then the subgroup $G_{x,y}^{[1]}$ of $G$ fixing pointwise $Δ(x)$ and $Δ(y)$ is a $p$-group for some prime $p$. Next we prove that every $G$-locally primitive (respectively quasiprimitive, semiprimitive) graph satisfies our two local hypotheses. Thus this provides a new Thompson-Wielandt-l…

2011-02-22math.COmath.GR

Structure trees, networks and almost invariant sets

A self-contained account of the theory of structure trees for edge cuts in networks is given. Applications include a generalisation of the Max-Flow Min-Cut Theorem to infinite networks and a short proof of a conjecture of Kropholler. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, which provides information about the structure of the Sageev cubing.

2016-01-26math.COmath.GRmath.GT

Large and symmetric: The Khukhro--Makarenko theorem on laws --- without laws

We prove a generalisation of the Khukhro--Makarenko theorem on large characteristic subgroups with laws. This general fact implies new results on groups, algebras, and even graphs and other structures. Concerning groups, we obtain, e.g., a fact in a sense dual to the Khukhro--Makarenko theorem. A graph-theoretic corollary is an analogue of this theorem in which planarity plays the role of a multilinear identity. We answer also a question of Makarenko and Shumyatsky.

2014-10-26math.COmath.GRmath.RA