English
Related papers

Related papers: On residuals of finite groups

200 papers

A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing…

Group Theory · Mathematics 2023-07-20 Scott Harper

We prove that if $(H,G)$ is a small, $nm$-stable compact $G$-group, then $H$ is nilpotent-by-finite, and if additionally $\NM(H) \leq \omega$, then $H$ is abelian-by-finite. Both results are significant steps towards the proof of the…

Logic · Mathematics 2011-10-04 Krzysztof Krupinski , Frank Olaf Wagner

Let $G$ be a finite group and let $\mathcal{M}$ be a set of maximal subgroups of $G$. We say that $\mathcal{M}$ is irredundant if the intersection of the subgroups in $\mathcal{M}$ is not equal to the intersection of any proper subset. The…

Group Theory · Mathematics 2019-11-11 Timothy C. Burness , Martino Garonzi , Andrea Lucchini

For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…

Group Theory · Mathematics 2022-03-14 Martin Kassabov , Brady A. Tyburski , James B. Wilson

Let for a prime $p$, $\mathfrak{X}$ (respectively $\mathfrak{Y}$) be the class of all $p$-biprimitively finite (respectively periodic $p$-conjugatively biprimitively finite) groups and $G\in \mathfrak{X}$ (respectively $G\in \mathfrak{Y}$),…

Group Theory · Mathematics 2011-12-19 N. S. Chernikov

We show that the finitely generated simple left orderable groups $G_{\rho}$ constructed by the first two authors in arXiv:1807.06478 are uniformly perfect - each element in the group can be expressed as a product of three commutators of…

Group Theory · Mathematics 2020-11-25 James Hyde , Yash Lodha , Andrés Navas , Cristóbal Rivas

R. Baer has proved that if the factor-group G/{\zeta}_{n}(G) of a group G by the member {\zeta}_{n}(G) of its upper central series is finite (here n is a positive integer) then the member {\gamma}_{n+1}(G) of the lower central series of G…

Group Theory · Mathematics 2011-11-02 L. A. Kurdachenko , J. Otal , I. YA. Subbotin

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Logic · Mathematics 2025-06-18 Gabriel Conant , Ehud Hrushovski , Anand Pillay

Let $ x $ be an element of a finite group $ G $ and denote the order of $ x $ by $ \mathrm{ord}(x) $. We consider a finite group $ G $ such that $ \gcd(\mathrm{ord}(x),\mathrm{ord}(y))\leqslant 2 $ for any two vanishing elements $ x $ and $…

Group Theory · Mathematics 2021-06-30 Sesuai Y. Madanha , Bernardo G. Rodrigues

We prove that if $G$ is a finite simple group of Lie type and $S_1,\dots, S_k$ are subsets of $G$ satisfying $\prod_{i=1}^k|S_i|\geq|G|^c$ for some $c$ depending only on the rank of $G$, then there exist elements $g_1,\dots, g_k$ such that…

Group Theory · Mathematics 2020-06-03 N. Gill , L. Pyber , E. Szabó

Let $\cal F$ be a class of groups. A chief factor $H/K$ of a group $G$ is called \emph{${\cal F}$-central in $G$} provided $(H/K)\rtimes (G/C_{G}(H/K)) \in {\cal F}$. We write $Z_{\pi{\cal F}}(G)$ to denote the product of all normal…

Group Theory · Mathematics 2012-05-20 Wenbin Guo , Alexander N. Skiba

An element $x$ in a finite group $G$ is said to be \textit{vanishing} if some (complex) irreducible character of $G$ takes value $0$ at $x$. In this article, we prove that every non-abelian finite simple group, except $\mathrm{SL}_2(4)$ and…

Group Theory · Mathematics 2025-03-04 Sonakshee Arora , Rahul Dattatraya Kitture

Let $G$ be a finite group and $M(G)$ be the subgroup of $G$ generated by all non-central elements of $G$ that lie in the conjugacy classes of the smallest size. Recently several results have been proved regarding the nilpotency class of…

Group Theory · Mathematics 2013-06-27 Manoj K. Yadav

For every non-nilpotent finite group $G$, there exists at least one proper subgroup $M$ such that $G$ is the setwise product of a finite number of conjugates of $M$. We define $\gamma_{\text{cp}}\left( G\right) $ to be the smallest number…

Group Theory · Mathematics 2014-07-23 Dan Levy , Martino Garonzi

It is proved that if a finite group $G$ has an automorphism of order $n$ with $m$ fixed points, then $G$ has a soluble subgroup whose index and Fitting height are bounded in terms of $m$ and $n$. As a corollary, a problem of B. Hartley is…

Group Theory · Mathematics 2025-08-21 Evgeny Khukhro

We study a conjecture by Deaconescu on the solubility of finite groups with claims that if more than half of the elements in a finite group has the same order $k$, then the group is soluble. We show that the original conjecture fails by…

Group Theory · Mathematics 2026-04-02 Ryan McCulloch , Lee Tae Young

Given a class $\mathcal{P}$ of groups we say that a group $G$ is fully residually $\mathcal{P}$ if for any finite subset $F$ of $G$, there exists an epimorphism from $G$ to a group in $\mathcal{P}$ which is injective on $F$. It is known…

Geometric Topology · Mathematics 2025-04-24 Tetsuya Ito , Kimihiko Motegi , Masakazu Teragaito

We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $\Gamma$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being…

Group Theory · Mathematics 2024-03-06 Steffen Kionke , Eduard Schesler

Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal…

Group Theory · Mathematics 2008-02-03 Frank Wagner

The generalized order $e_G(g)$ of an element $g$ of a group $G$ is the smallest positive integer $k$ such that there exist $x_1,\ldots,x_k \in G$ such that $g^{x_1} \ldots g^{x_k}=1$, where $g^x=x^{-1}gx$. Let $e(G) = \max \{e_G(g)\ |\ g…

Group Theory · Mathematics 2025-07-30 Martino Garonzi , Christe Montijo , Alexandre Zalesski