Intersection of conjugate solvable subgroups in symmetric groups

Anton Baykalov

DOI: https://doi.org/10.1007/s10469-017-9431-z

2017-01-16

Abstract:It is shown that for a solvable subgroup $G$ of an almost simple group $S$ which socle is isomorphic to $A_n$ $ (n\ge5)$ there are $x,y,z,t \in S$ such that $G \cap G^x \cap G^y \cap G^z \cap G^t =1.$

Group Theory

What problem does this paper attempt to address?

On Intersection of Conjugate Subgoups

Rita Gitik

DOI: https://doi.org/10.48550/arXiv.1609.07924

2016-09-26

Abstract:We give several algorithms addressing computations of intersections of conjugate subgroups.

Group Theory,Data Structures and Algorithms
On Intersections of Nilpotent Subgroups in Finite Groups with Simple Socle from the "Atlas of Finite Groups"

V. I. Zenkov

DOI: https://doi.org/10.1134/s0081543823060251

2024-02-13

Proceedings of the Steklov Institute of Mathematics

Abstract:Earlier, the author described up to conjugacy all pairs of nilpotent subgroups of a finite group with socle for which for any element of . A similar description was obtained by the author later for primary subgroups and of a finite group with socle . In this paper, we describe up to conjugacy all pairs of nilpotent subgroups of a finite group with simple socle from the "Atlas of Finite Groups" for which for any element of . The results obtained in the considered cases confirm the hypothesis (Problem 15.40 from the "Kourovka Notebook") that a finite simple nonabelian group for any nilpotent subgroups contains an element such that .

mathematics, applied
Finite Groups With Many Conjugate Elements

J. P. Zhang

DOI: https://doi.org/10.1006/jabr.1994.1356

IF: 0.908

1994-01-01

Journal of Algebra

Abstract:In this paper we prove the following long-standing conjecture in the theory of finite groups: Finite solvable groups with no two distinct conjugacy classes of the same length are isomorphic to the symmetric group of degree 3.
A Characterization of Finite Simple Groups by the Orders of Solvable Subgroups

Klaus Denecke,Xian-hua Li,Jian-xing Bi

DOI: https://doi.org/10.1007/s11425-007-0024-5

2007-01-01

Science in China Series A Mathematics

Abstract:Let G be a finite group and S be a finite simple group. In this paper, we prove that if G and S have the same sets of all orders of solvable subgroups, then G is isomorphic to S, or G and S are isomorphic to B n(q), C n(q), where n ⩾ 3 and q is odd. This gives a positive answer to the problem put forward by Abe and Iiyori.
On the solvability of a finite group by the sum of subgroup orders

Marius Tărnăuceanu

2024-09-20

Abstract:Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of $G$, we prove that if $\sigma_1(G)<\frac{117}{20}\,$, then $G$ is solvable. This partially solves an open problem posed in \cite{9}.

Group Theory
The Indices of Subgroups of Finite Groups in the Join of Their Conjugate Pairs

Xianhua Li,Yong Xu

DOI: https://doi.org/10.1007/s40840-015-0123-3

2015-01-01

Abstract:Let G be a finite group and $H\le G$. In this paper, we investigate the influence of the index of H in $\langle H, H^{g}\rangle $ on the structure of G.
On the conjugacy separability of ordinary and generalized Baumslag-Solitar groups

E. V. Sokolov

2024-05-17

Abstract:Let $\mathcal{C}$ be a class of groups. A group $X$ is said to be residually a $\mathcal{C}$-group (conjugacy $\mathcal{C}$-separable) if, for any elements $x,y \in X$ that are not equal (not conjugate in $X$), there exists a homomorphism $\sigma$ of $X$ onto a group from $\mathcal{C}$ such that the elements $x\sigma$ and $y\sigma$ are still not equal (respectively, not conjugate in $X\sigma$). A generalized Baumslag-Solitar group or GBS-group is the fundamental group of a finite connected graph of groups whose all vertex and edge groups are infinite cyclic. An ordinary Baumslag-Solitar group is the GBS-group that corresponds to a graph containing only one vertex and one loop. Suppose that the class $\mathcal{C}$ consists of periodic groups and is closed under taking subgroups and unrestricted wreath products. We prove that a non-solvable GBS-group is conjugacy $\mathcal{C}$-separable if and only if it is residually a $\mathcal{C}$-group. We also find a criterion for a solvable GBS-group to be conjugacy $\mathcal{C}$-separable. As a corollary, we prove that an arbitrary GBS-group is conjugacy (finite) separable if and only if it is residually finite.

Group Theory
Squares of real conjugacy classes in finite groups

Antonio Beltrán,María José Felipe,Carmen Melchor

2024-02-09

Abstract:We prove that if a finite group $G$ contains a conjugacy class $K$ whose square is of the form $1 \cup D$, where $D$ is a conjugacy class of $G$, then $\langle K \rangle$ is a solvable proper normal subgroup of $G$ and we completely determine its structure. We also obtain the structure of those groups in which the assumption above is true for all non-central conjugacy classes and when every conjugacy class satisfies that its square is the union of all central conjugacy classes except at most one.

Group Theory
Generation by conjugate elements of finite almost simple groups with a sporadic socle

Danila O. Revin,Andrei V. Zavarnitsine

2024-02-06

Abstract:As defined by Guralnick and Saxl given a nonabelian simple group $S$ and its nonidentity automorphism $x$, a natural number $\alpha_S(x)$ does not exceed a natural number $m$ if some $m$ conjugates of $x$ in the group $\langle x,S\rangle$ generate a subgroup that includes $S$. The outcome of this paper together with one by Di Martino, Pellegrini, and Zalesski, both of which are based on computer calculations with character tables, is a refinement of the estimates by Guralnick and Saxl on the value of $\alpha_S(x)$ in the case where $S$ is a sporadic group. In particular, we prove that $\alpha_S(x)\leqslant 4$, except when $S$ is one of the Fischer groups and $x$ is a $3$-transposition. In the latter case, $\alpha_S(x)=6$ if $S$ is either $Fi_{22}$ or $Fi_{23}$ and $\alpha_S(x)=5$ if $S={Fi_{24}}'$.

Group Theory
Second Maximal Invariant Subgroups and Solubility of Finite Groups

Changguo Shao,Antonio Beltrán

DOI: https://doi.org/10.1007/s40304-021-00279-y

2022-11-24

Communications in Mathematics and Statistics

Abstract:Let G be a finite group and assume that a group of automorphisms A is acting on G such that A and G have coprime orders. We prove that the fact of imposing specific properties on the second maximal A -invariant subgroups of G determines that G is either soluble or isomorphic to a few non-soluble groups such as PSL(2, 5) or SL(2, 5).

mathematics
The Conjugacy Ratio of Abelian-by-$\mathbb Z$ Groups

David Guo

2024-10-30

Abstract:Let $G = K \rtimes \langle t \rangle $ be a finitely generated group where $K$ is abelian and $\langle t\rangle$ is the infinite cyclic group. Let $ R $ be a finite symmetric subset of $K$ such that $S = \{ (r,1),(0,t^{\pm 1}) \mid r \in R \}$ is a generating set of $G$. We prove that the spherical conjugacy ratio, and hence the conjugacy ratio, of $G$ with respect to $S$ is $0$ unless $G$ is virtually abelian, confirming a conjecture of Ciobanu, Cox and Martino in this case. We also show that the Baumslag--Solitar group $\mathrm{BS}(1,2)$ has a one-sided Følner sequence $F$ such that the conjugacy ratio with respect to $F$ is non-zero, even though $\mathrm{BS}(1,2)$ is not virtually abelian. This is in contrast to two-sided Følner sequences, where Tointon showed that the conjugacy ratio with respect to a two-sided Følner sequence is positive if and only if the group is virtually abelian.

Group Theory
Subgroup and Coset Intersection in abelian-by-cyclic groups

Ruiwen Dong

2023-09-27

Abstract:We consider two decision problems in infinite groups. The first problem is Subgroup Intersection: given two finitely generated subgroups $\langle \mathcal{G} \rangle, \langle \mathcal{H} \rangle$ of a group $G$, decide whether the intersection $\langle \mathcal{G} \rangle \cap \langle \mathcal{H} \rangle$ is trivial. The second problem is Coset Intersection: given two finitely generated subgroups $\langle \mathcal{G} \rangle, \langle \mathcal{H} \rangle$ of a group $G$, as well as elements $g, h \in G$, decide whether the intersection of the two cosets $g \langle \mathcal{G} \rangle \cap h \langle \mathcal{H} \rangle$ is empty. We show that both problems are decidable in finitely generated abelian-by-cyclic groups. In particular, we reduce them to the Shifted Monomial Membership problem (whether an ideal of the Laurent polynomial ring over integers contains any element of the form $X^z - f,\; z \in \mathbb{Z} \setminus \{0\}$). We also point out some obstacles for generalizing these results from abelian-by-cyclic groups to arbitrary metabelian groups.

Group Theory,Discrete Mathematics
A Lower Bound of Conjugacy Class Length of Symmetric Group

yanheng chen,guiyun chen

DOI: https://doi.org/10.1080/09720529.2013.867638

2014-01-01

Journal of Discrete Mathematical Sciences and Cryptography

Abstract:AbstractIn this paper, an inequality is proved and using this inequality, we obtain a lower bound of all conjugacy class lengths of Sn, where Sn is a symmetric group of degree n, n ≥ 3. Further using another inequality, we get a lower bound (only depend on n) of some conjugacy class lengths of symmetric group Sn, n ≥ 15.
On Generalized U-hypercentral Subgroups of a Finite Group

Xiaoyu Chen,Wenbin Guo,A. N. Skiba

DOI: https://doi.org/10.1016/j.jalgebra.2014.07.029

IF: 0.908

2015-01-01

Journal of Algebra

Abstract:We give some conditions under which a normal subgroup of a finite group G is contained in the intersection of all maximal supersoluble subgroups of G.
Finite Groups in Which Elements of the Same Order Outside the Center Are Conjugate

Xing-zhong You,Guo-hua Qian,Wu-jie Shi

DOI: https://doi.org/10.1007/s11425-007-0109-1

2007-01-01

Science in China Series A Mathematics

Abstract:We prove that if G is a finite group in which the elements of the same order outside the center are conjugate, then either G is abelian or G ≅ S 3 .
Landau's Theorem on conjugacy classes for normal subgroups

Antonio Beltrán,María José Felipe,Carmen Melchor

2024-02-09

Abstract:Landau's theorem on conjugacy classes asserts that there are only finitely many finite groups, up to isomorphism, with exactly $k$ conjugacy classes for any positive integer $k$. We show that, for any positive integers $n$ and $s$, there exists only a finite number of finite groups $G$, up to isomorphism, having a normal subgroup $N$ of index $n$ which contains exactly $s$ non-central $G$-conjugacy classes. We provide upper bounds for the orders of $G$ and $N$, which are used by using GAP to classify all finite groups with normal subgroups having a small index and few $G$-classes. We also study the corresponding problems when we only take into account the set of $G$-classes of prime-power order elements contained in a normal subgroup.

Group Theory
Remark on Subgroup Intersection Graph of Finite Abelian Groups

Jinxing Zhao,Guixin Deng

DOI: https://doi.org/10.1515/math-2020-0066

2020-01-01

Open Mathematics

Abstract:Let G be a finite group. The subgroup intersection graph Γ(G)\text{Γ}(G) of G is a graph whose vertices are non-identity elements of G and two distinct vertices x and y are adjacent if and only if |〈x〉∩〈y〉|>1|\langle x\rangle \cap \langle y\rangle |\gt 1, where 〈x〉\langle x\rangle is the cyclic subgroup of G generated by x. In this paper, we show that two finite abelian groups are isomorphic if and only if their subgroup intersection graphs are isomorphic.
Finite Groups in Which the $\X$-Maximal Subgroups Are Conjugate

Wenbin Guo,Д. О. Ревин,E. P. Vdovin

2018-01-01

Abstract:Let $\X$ be a class of finite groups closed under taking the subgroups, homomorphic images and extensions. By $\D_\X$ denote the class of finite groups $G$ in which every two $\X$-ma\-xi\-mal subgroups are conjugate. In the paper, the following statement is proven. Let $A$ be a normal subgroup of a finite group $G$. Then \centerline{$G\in\D_\X$ if and only if $A\in \D_\X$ and $G/A\in \D_\X$.} This statement implies that the $\X$-ma\-xi\-mal subgroups are conjugate if and only if the so called $\X$-sub\-ma\-xi\-mal subgroups are conjugate. Thus we obtain an affirmative solution to a problem posed by H.Wielandt in 1964.
Writing finite simple groups of Lie type as products of subset conjugates

Daniele Dona

2024-09-17

Abstract:The Liebeck-Nikolov-Shalev conjecture [LNS12] asserts that, for any finite simple non-abelian group $G$ and any set $A\subseteq G$ with $|A|\geq 2$, $G$ is the product of at most $N\frac{\log|G|}{\log|A|}$ conjugates of $A$, for some absolute constant $N$. For $G$ of Lie type, we prove that for any $\varepsilon>0$ there is some $N_{\varepsilon}$ for which $G$ is the product of at most $N_{\varepsilon}\left(\frac{\log|G|}{\log|A|}\right)^{1+\varepsilon}$ conjugates of either $A$ or $A^{-1}$. For symmetric sets, this improves on results of Liebeck, Nikolov, and Shalev [LNS12] and Gill, Pyber, Short, and Szabó [GPSS13]. During the preparation of this paper, the proof of the Liebeck-Nikolov-Shalev conjecture was completed by Lifshitz [Lif24]. Both papers use [GLPS24] as a starting point. Lifshitz's argument uses heavy machinery from representation theory to complete the conjecture, whereas this paper achieves a more modest result by rather elementary combinatorial arguments.

Group Theory,Combinatorics
Conjugacy in finite classical groups

Giovanni De Franceschi,Martin W. Liebeck,E.A. O'Brien

2024-01-15

Abstract:Let $G$ be a classical group defined over a finite field. We consider the following fundamental problems concerning conjugacy in $G$:

Group Theory

Intersection of conjugate solvable subgroups in symmetric groups

On Intersection of Conjugate Subgoups

On Intersections of Nilpotent Subgroups in Finite Groups with Simple Socle from the "Atlas of Finite Groups"

Finite Groups With Many Conjugate Elements

A Characterization of Finite Simple Groups by the Orders of Solvable Subgroups

On the solvability of a finite group by the sum of subgroup orders

The Indices of Subgroups of Finite Groups in the Join of Their Conjugate Pairs

On the conjugacy separability of ordinary and generalized Baumslag-Solitar groups

Squares of real conjugacy classes in finite groups

Generation by conjugate elements of finite almost simple groups with a sporadic socle

Second Maximal Invariant Subgroups and Solubility of Finite Groups

The Conjugacy Ratio of Abelian-by-$\mathbb Z$ Groups

Subgroup and Coset Intersection in abelian-by-cyclic groups

A Lower Bound of Conjugacy Class Length of Symmetric Group

On Generalized U-hypercentral Subgroups of a Finite Group

Finite Groups in Which Elements of the Same Order Outside the Center Are Conjugate

Landau's Theorem on conjugacy classes for normal subgroups

Remark on Subgroup Intersection Graph of Finite Abelian Groups

Finite Groups in Which the $\X$-Maximal Subgroups Are Conjugate

Writing finite simple groups of Lie type as products of subset conjugates

Conjugacy in finite classical groups