It is proven in the paper, that Carter subgroups of a finite group are conjugate if Carter subgroups in the group of induced automorphisms for every non-Abelian composition factor are conjugate.
In the paper it is proven that Carter subgroups of a finite group are conjugate. A complete classification of Carter subgroups in finite almost simple groups is also obtained.
In the paper we complete the classification of Carter subgroups in finite almost simple groups. In particular, we prove that Carter subgroups of every finite almost simple group are conjugate. Togeather with previous results by author and F. Dalla Volta, A. Lucchini, and M. C. Tamburini, as a corollary, it follows that Carter subgroups of every finite group are conjugate.
In the note we prove that all composition factors of a finite group possessing a Carter subgroup of odd order either are abelain, or are isomorphic to $L_2(3^{2n+1})$.
Let $π$ be a set of primes. We show that $π$-separable groups have a conjugacy class of subgroups which specialize to Carter subgroups, i.e. self-normalizing nilpotent subgroups, or equivalently, nilpotent projectors, when specializing to soluble groups.
In the paper we obtain the existence criterion of a Carter subgroup in a finite group in terms of its normal series. An example showing that the criterion cannot be reformulated in terms of composition factors is given.
We consider an amalgam of groups constructed from fusion systems for different odd primes p and q. This amalgam contains a self-normalizing cyclic subgroup of order pq and isolated elements of order p and q.
Some properties of abnormal subgroups in generalized soluble groups will be considered. In particular, the transitivity of abnormality in metahypercentral groups is proven. Also it will be proven that a subgroup H of a radical group G is abnormal in G if and only if every intermediate subgroup for H coincides with its normalizer in G. This result will extend on radical groups the well-known criterion of abnormality for finite soluble groups obtained by D. Taunt. For some infinite groups (not only periodic) the existence of Carter subgroups and their conjugations will be also proven.
Let $G$ be a finite solvable group and $H$ be a subgroup of $Aut(G)$. Suppose that there exists an $H$-invariant Carter subgroup $F$ of $G$ such that the semidirect product $FH$ is a Frobenius group with kernel $F$. We prove that the terms of the Fitting series of $C_{G}(H)$ are obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the Fitting series of $G$, and the Fitting height of $G$ may exceed the Fitting height of $C_{G}(H)$ by at most one. As a corollary it is shown that for any set of primes $π$, the terms of the $π$-series of $C_{G}(H)$ is obtained as the intersec…
We modify the Frecon-Jaligot construction of Carter subgroups to show that a degenerate type group has a Carter subgroup invariant under the Sylow 2-subgroup of a group of automorphisms; thus reducing the need to know that Carter subgroups are conjugate in degenerate type groups.
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. It is proved that the fundamental group of a hyperbolic 3-manifold (closed or with cusps) is subgroup conjugacy separable.
We prove a formula connecting the number of unipotent conjugacy classes in a maximal parabolic subgroup of a finite general linear group with the numbers of unipotent conjugacy classes in various parabolic subgroups in smaller dimensions. We generalise this formula and deduce a number of corollaries; in particular, we express the number of conjugacy classes of unitriangular matrices over a finite field in terms of the numbers of unipotent conjugacy classes in maximal parabolic subgroups over the same field. We show how the numbers of unipotent conjugacy classes in parabolic subgroups of small …
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit groups are subgroup conjugacy separable. We also prove this property for one relator groups of the form $R=\langle a_1,...,a_n\mid W^n\rangle$ with $n>|W|$. The property is also proved for virtual retracts (equivalently for quasiconvex subgroups) of hyperbolic virtually special groups.
In this paper we consider the {\em conjugacy stability} property of subgroups and provide effective procedures to solve the problem in several classes of groups. In particular, we start with free groups, that is, we give an effective procedure to find out if a finitely generated subgroup of a free group is conjugacy stable. Then we further generalize this result to quasi-convex subgroups of torsion-free hyperbolic groups and finitely generated subgroups of limit groups.
We construct a hyperbolic group with a finitely presented subgroup, which has infinitely many conjugacy classes of finite-order elements. We also use a version of Morse theory with high dimensional horizontal cells and use handle cancellation arguments to produce other examples of subgroups of CAT(0) groups with infinitely many conjugacy classes of finite-order elements.
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental groups of orientable closed compact surfaces are SCS.
In this note, we determine the finite groups whose poset of conjugacy classes of subgroups has breaking points. This leads to a new characterization of the generalized quaternion $2$-groups. A generalization of this property is also studied.
A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental groups of finite trees of finite groups with some normalizer condition are SCS. We also introduce the subgroup into-conjugacy separability property and prove that the above groups have this property too.
Let N be a finitely generated normal subgroup of a Gromov hyperbolic group G. We establish criteria for N to have solvable conjugacy problem and be conjugacy separable in terms of the corresponding properties of G/N. We show that the hyperbolic group from F. Haglund's and D. Wise's version of Rips's construction is hereditarily conjugacy separable. We then use this construction to produce first examples of finitely generated and finitely presented conjugacy separable groups that contain non-(conjugacy separable) subgroups of finite index.
We give a complete classification of conjugacy stable parabolic subgroups of Artin-Tits groups of spherical type. This answers a question posed by Ivan Marin and generalizes a theorem obtained by Juan González-Meneses in the specific case of Artin braid groups.
We construct a CAT(0) group containing a finitely presented subgroup with infinitely many conjugacy classes of finite-order elements. Unlike previous examples (which were based on right-angled Artin groups) our ambient CAT(0) group does not contain any rank 3 free abelian subgroups. We also construct examples of groups of type F_n inside mapping class groups, Aut(F), and Out(F) which have infinitely many conjugacy classes of finite-order elements.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We prove that if $G$ is a $p$-group of order $p^n$ and nilpotence class $l$, then $η(G)$ is bounded below by a linear function in $n/l$.
Let ${\cal C}$ be a nonempty class of finite groups closed under taking subgroups, homomorphic images and extensions. A subgroup $H$ of an abstract residually ${\cal C}$ group $R$ is said to be conjugacy ${\cal C}$-distinguished if whenever $y\in R$, then $y$ has a conjugate in $H$ if and only if the same holds for the images of $y$ and $H$ in every quotient group $R/N\in {\cal C}$ of $R$. We prove that in a group having a normal free subgroup $Φ$ such that $R/Φ$ is in ${\cal C}$, every finitely generated subgroup is conjugacy ${\cal C}$-distinguished. We also prove that finitely generated sub…
Let $G$ be a group endowed with a solution to the conjugacy problem and with an algorithm which computes the centralizer in $G$ of any element of $G$. Let $H$ be a subgroup of $G$. We give some conditions on $H$, under which we provide a solution to the conjugacy problem in $H$. We apply our results to some Artin groups and braid type groups. In particular, we give explicit solutions to the conjugacy problem in the Artin groups of type $\tilde{A}_n$ and $\tilde{C}_n$.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of a finite group $G$. We compute $η(G)$ for all metacyclic $p$-groups. We show that if $G$ is a metacyclic $p$-group of order $p^n$ that is not dihedral, generalized quaternion, or semi-dihedral, then $η(G) \ge n-2$, and we determine when equality holds.
Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup $G'$ is finite. We establish the following results. Let $K,n$ be positive integers and $G$ a group having a $K$-approximate subgroup $A$. If $|a^G|\leq n$ for each $a\in A$, then the commutator subgroup of $\langle A^G\rangle$ has finite $(K,n)$-bounded order. If $|[g,a]^G|\leq n$ for all $g\in G$ and $a\in A$, then the commutator subgroup of $[G,A]$ has fin…
Groups with a conjugacy class that is the difference of two normal subgroups
Kent State University(肯特州立大学);University of York(约克大学);Università degli Studi di Firenze(佛罗伦萨大学);Universitat de València(瓦伦西亚大学);Binghamton University(宾厄姆顿大学)
We give another proof of an observation of Thévenaz \cite{T1989} and present a fusion system version of it. Namely, for a saturated fusion system $\CF$ on a finite $p$-group $S$, we show that the number of the $\CF$-conjugacy classes of cyclic subgroups of $S$ is equal to the rank of certain square matrices of numbers of orbits, coming from characteristic bisets, the characteristic idempotent and finite groups realizing the fusion system $\CF$ as in our previous work \cite{P2010}.
This paper provides new, relatively simple proofs of some important results about unipotent classes in simple linear algebraic groups. We derive the formula for the Jordan blocks of the Richardson class of a parabolic subgroup of a classical group. This result was originally due to Spaltenstein. Secondly, we derive, for good characteristic, the description of the natural partial order of unipotent classes of a classical group in terms of their Jordan blocks. This result was originally due to Gerstenhaber and Hesselink. As a consequence we obtain a proof of the Bala--Carter Theorem which holds …
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS) if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. An into-conjugacy version of SCS is abbreviated by SICS. We prove that if $G$ is a hyperbolic group, $H_1$ is a quasiconvex subgroup of $G$, and $H_2$ is a subgroup of $G$ which is elementwise conjugate into $H_1$, then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. As corollary, we deduce that fundamental groups of closed hyperbolic 3-manifolds and torsion-free small cancellat…
We extend the notion of induced conjugacy classes in reductive groups, introduced by Lusztig and Spaltenstein for unipotent classes, to arbitrary classes. We study properties of equivariant fibrations of prehomogeneous affine spaces, especially the existence of relative invariants. We also detect prehomogeneous affine spaces as subquotients of canonical parabolic subgroups attached to elements of reductive groups in the sense of Jacobson-Morozov. These results are prerequisites for making the geometric expansion of the Arthur-Selberg trace formula more explicit.
A finite group $G$ is said to satisfy $C_π$ for a set of primes $π$, if $G$ possesses exactly one class of conjugate $π$-Hall subgroups. In the paper we obtain a criterion for a finite group $G$ to satisfy $C_π$ in terms of a normal series of the group.
We study groups $G$ where the $φ$-conjugacy class $[e]_φ=\{g^{-1}φ(g)~|~g\in G\}$ of the unit element is a subgroup of $G$ for every automorphism $φ$ of $G$. If $G$ has $n$ generators, then we prove that the $k$-th member of the lower central series has a finite verbal width bounded in terms of $n,k$. Moreover, we prove that if such group $G$ satisfies the descending chain condition for normal subgroups, then $G$ is nilpotent. Finally, if $G$ is a finite abelian-by-cyclic group, we construct a good upper bound of the nilpotency class of $G$.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We consider $η$ and direct and semi-direct products. We characterize the normal subgroups $N$ so that $η(G/N) = η(G)$. We set $G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$. We show if $\langle G^- \rangle < G$, then $G/\langle G^- \rangle$ is either (1) an elementary abelian $p$-group for some prime $p$, (2) a Frobenius group whose Frobenius kernel is a $p$-group of exponent $p$ and a Frobenius complement has order $q$ for distinct primes $p$ and $q$, or (3) isomo…
Given a finite group $G$ with a normal subgroup $N$, the simple graph $Γ_\textit{G}( \textit{N} )$ is a graph whose vertices are of the form $|x^G|$, where $x\in{N\setminus{Z(G)}}$, and $x^G$ is the $G$-conjugacy class of $N$ containing the element $x$. Two vertices $|x^G|$ and $|y^G|$ are adjacent if they are not co-prime. In this article we prove that, if $Γ_G(N)$ is a connected incomplete regular graph, then $N= P \times{A}$ where $P$ is a $p$-group, for some prime $p$ and $A\leq{Z(G)}$, and ${\bf Z}(N)\not = N\cap {\bf Z}(G)$.
Let $U = \mathbf U(q)$ be a Sylow $p$-subgroup of a finite Chevalley group $G = \mathbf G(q)$. In [GR}] Röhrle and the second author determined a parameterization of the conjugacy classes of $U$, for $\mathbf G$ of small rank when $q$ is a power of a good prime for $\mathbf G$. As a consequence they verified that the number $k(U)$ of conjugacy classes of $U$ is given by a polynomial in $q$ with integer coefficients. In the present paper, we consider the case when $p$ is a bad prime for $\mathbf G$. We obtain a parameterization of the conjugacy classes of $U$, when $\mathbf G$ has rank less tha…
Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\mathbb{P}=\{P_1,\dots,P_m\}$. Let $H_1,H_2$ be subgroups of $G$ such that $H_1$ is relatively quasiconvex with respect to $\mathbb{P}$ and $H_2$ is not parabolic. Suppose that $H_2$ is elementwise conjugate into $H_1$. Then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. The minimal length of the conjugator can be estimated. In the case where $G$ is a limit group, it is sufficient to assume only that $H_1$ is a finitely generated and $H_2$ is an arbitrary subgroup of $…
Let (W,S) be a Coxeter system of finite rank (ie |S| is finite) and let A be the associated Coxeter (or Davis) complex. We study chains of pairwise parallel walls in A using Tits' bilinear form associated to the standard root system of (W,S). As an application, we prove the strong parallel wall conjecture of G Niblo and L Reeves [J Group Theory 6 (2003) 399--413]. This allows to prove finiteness of the number of conjugacy classes of certain one-ended subgroups of W, which yields in turn the determination of all co-Hopfian Coxeter groups of 2--spherical type.
Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used to solve a wide collection of decision problems for free groups and their subgroups. In the present paper we employ the generalized Stallings' methods, developed by the author, to solve various algorithmic problems concerning finitely generated subgroups of amalgams of finite groups.
We study twisted conjugacy classes of the unit element in different groups. Fel'shtyn and Troitsky showed that the twisted conjugacy class of the unit element of an abelian group is a subgroup for every automorphism. The structure is investigated of a group whose twisted conjugacy class of the unit element is a subgroup for every automorphism (inner automorphism).
A group is nested if the centers of the irreducible characters form a chain. In this paper, we will show that there is a set of subgroups associated with the conjugacy classes of group so that a group is nested if and only if these subgroups form a chain.
Let G be a finite group and H a normal subgroup such that G/H is cyclic. Given a conjugacy class g^G of G we define its centralizing subgroup to be HC_G(g). Let K be such that H\le K\le G. We show that the G-conjugacy classes contained in K whose centralizing subgroup is K, are equally distributed between the cosets of H in K. The proof of this result is entirely elementary. As an application we find expressions for the number of conjugacy classes of K under its own action, in terms of quantities relating only to the action of G.
It is proved that for any prime $p$ a finitely generated nilpotent group is conjugacy separable in the class of finite $p$-groups if and only if the torsion subgroup of it is a finite $p$-group and the quotient group by the torsion subgroup is abelian.
We prove that finite index subgroups of right angled Artin groups are conjugacy separable. We then apply this result to establish various properties of other classes of groups. In particular, we show that any word hyperbolic Coxeter group contains a conjugacy separable subgroup of finite index and has a residually finite outer automorphism group. Another consequence of the main result is that Bestvina-Brady groups are conjugacy separable and have solvable conjugacy problem.