Let $G$ be a finite non-abelian group and $m=|G|/|Z(G)|$. In this paper we investigate $m$-centralizer group $G$ with cyclic center and we will prove that if $G$ is a finite non-abelian $m$-centralizer $CA$-group, then there exists an integer $r>1$ such that $m=2^r.$ It is also prove that if $G$ is an $m$-centralizer non-abelian finite group which is not a $CA$-group and its derived subgroup $G'$ is of order 2, then there exists an integer $s>1$ such that $m=2^{2s}.$
In this paper, we characterize finite group $G$ with unique proper non-abelian element centralizer. This improves \cite[Theorem 1.1]{nab}. Among other results, we have proved that if $C(a)$ is the proper non-abelian element centralizer of $G$ for some $a \in G$, then $\frac{C(a)}{Z(G)}$ is the Fitting subgroup of $\frac{G}{Z(G)}$, $C(a)$ is the Fitting subgroup of $G$ and $G' \in C(a)$, where $G'$ is the commutator subgroup of $G$.
The article deals with profinite groups in which the centralizers are abelian (CA-groups), that is, with profinite commutativity-transitive groups. It is shown that such groups are virtually pronilpotent. More precisely, let G be a profinite CA-group. It is shown that G has a normal open subgroup N which is either abelian or pro-p. Further, a rather detailed information about the finite quotient G/N is obtained.
A group G has restricted centralizers if for each g in G the centralizer C_G(g) either is finite or has finite index in G. A theorem of Shalev states that a profinite group with restricted centralizers is abelian-by-finite. In the present article we handle profinite groups with restricted centralizers of word-values. We show that if w is a multilinear commutator word and G a profinite group with restricted centralizers of w-values, then the verbal subgroup w(G) is abelian-by-finite.
A group $G$ is said to be $n$-centralizer if its number of element centralizers $\mid \Cent(G)\mid=n$, an F-group if every non-central element centralizer contains no other element centralizer and a CA-group if all non-central element centralizers are abelian. For any non-abelian $n$-centralizer group $G$, we prove that $\mid \frac{G}{Z(G)}\mid \leq (n-2)^2$, if $n \leq 12$ and $\mid \frac{G}{Z(G)}\mid \leq 2(n-4)^{{log}_2^{(n-4)}}$ otherwise, which improves an earlier result. We prove that if $G$ is an arbitrary non-abelian $n$-centralizer F-group, then gcd$(n-2, \mid \frac{G}{Z(G)}\mid) \neq…
We extend results on transitive self-similar abelian subgroups of the group of automorphisms $\mathcal{A}_m$ of an $m$-ary tree $\mathcal{T}_m$ in \cite{BS}, to the general case where the permutation group induced on the first level of the tree has $s\geq 1$ orbits. We prove that such a group $A$ embeds in a self-similar abelian group $A^*$ which is also a maximal abelian subgroup of $\mathcal{A}_m$. The construction of $A^*$ is based on the definition of a free monoid $Δ$ of rank $s$ of partial diagonal monomorphisms of $\mathcal{A}_m$, which is used to determine the structure of $C_{\mathcal…
A group $G$ is said to have restricted centralizers if for each $g$ in $G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. Given a set of primes $π$, we take interest in profinite groups with restricted centralizers of $π$-elements. It is shown that such a profinite group has an open subgroup of the form $P\times Q$, where $P$ is an abelian pro-$π$ subgroup and $Q$ is a pro-$π'$ subgroup. This significantly strengthens a result from our earlier paper.
A subgroup $H$ of a group $G$ is said to be a TNI-subgroup if $N_{G}(H)\cap H^g=1$ for any $g\in G\,\backslash \,N_{G}(H).$ Let $A$ be an abelian group acting coprimely on the finite group $G$ by automorphisms in such a way that $C_G(A)=\{g\in G : g^a=g $\, for all $a\in A\}$ is a solvable TNI-subgroup of $G$. We prove that $G$ is a solvable group with Fitting length $h(G)$ is at most $h(C_G(A))+\ell(A)$. In particular $h(G)\leq \ell(A)+3$ whenever $C_G(A)$ is nonnormal. Here, $h(G)$ is the Fitting length of $G$ and $\ell(A)$ is the number of primes dividing $A$ counted with multiplicities.
We classify closed abelian subgroups of the simple groups $G_2$, $F_4$, $Aut(so(8))$ having centralizer the same dimension as the dimension of the subgroup, as well as finite abelian subgroups of certain spin and half-spin groups having finite centralizer.
Every finite non-abelian group of order $n$ has a non-central element whose centralizer has order exceeding $n^{1/3}$. The proof does not rely on the classification of finite simple groups, yet it uses the Feit-Thompson theorem.
Let $G$ be a Camina $p$-group of nilpotence class $3$. We prove that if $G' < C_G (G')$, then $|Z(G)| \le |G':G_3|^{1/2}$. We also prove that if $G/G_3$ has only one or two abelian subgroups of order $|G:G'|$, then $G' < C_G (G')$. If $G/G_3$ has $p^a + 1$ abelian subgroups of order $|G:G'|$, then either $G' < C_G (G')$ or $|Z(G)| \le p^{2a}$.
Given a finite group $G$, let $Cent(G)$ denote the set of distinct centralizers of elements of $G$. The group $G$ is called $n$-centralizer if $|Cent(G)|=n$ and primitive $n$-centralizer if $|Cent(G)|=|Cent(\frac{G}{Z(G)})|=n$. In this paper, we characterize the $9$-centralizer and the primitive $9$-centralizer groups.
The set of all centralizers of elements in a finite group $G$ is denoted by $Cent(G)$ and $G$ is called $n-$centralizer if $|Cent(G)| = n$. In this paper, the structure of centralizers in a non-abelian finite group $G$ with this property that $\frac{G}{Z(G)} \cong Z_{p^2} \rtimes Z_{p^2}$ is obtained. As a consequence, it is proved that such a group has exactly $[(p+1)^2+1]$ element centralizers and the structure of the commuting conjugacy class graph of $G$ is completely determined.
It is a long-standing open problem raised by Starostin to describe all finite groups with soluble centralizers of involutions. One can observe that if the centralizer fusion system of an involution is nilpotent, then the centralizer of that involution is soluble. In this paper, we classify the cases when the centralizer fusion system of a central involution in a finite group whose all involutions have soluble centralizers is a nilpotent fusion system. Indeed, we analyse the case when the solvable radical has odd order and the corresponding factor group is simple.
We determine all finite subgroups of simple algebraic groups that have irreducible centralizers - that is, centralizers whose connected component does not lie in a parabolic subgroup.
The role of finite centralizers of involutions in pseudo-finite groups is analyzed. It is shown that a pseudo-finite group admitting a definable involutory automorphism fixing only finitely many elements is finite-by-abelian-by-finite. As a consequence, we give a model-theoretic proof of a result for periodic groups due to Hartley and Meixner. Furthermore, it is shown that any pseudo-finite group has an infinite abelian subgroup.
Suppose $G$ is a finite group. The set of all centralizers of $2-$element subsets of $G$ is denoted by $2-Cent(G)$. A group $G$ is called $(2,n)-$centralizer if $|2-Cent(G)| = n$ and primitive $(2,n)-$centralizer if $|2-Cent(G)| = |2-Cent(\frac{G}{Z(G)})| = n$, where $Z(G)$ denotes the center of $G$. The aim of this paper is to present the main properties of $(2,n)-$centralizer groups among them a characterization of $(2,n)-$centralizer and primitive $(2,n)-$centralizer groups, $n \leq 9$, are given.
In this paper, we classify conjugacy classes of centralizers of irreducible subgroups in $PSL(n,\mathbb{C})$ using alternate modules a.k.a. finite abelian groups with an alternate bilinear form. When $n$ is squarefree, we prove that these conjugacy classes are classified by their isomorphism classes. More generally, we define a finite graph related to this classification whose combinatorial properties are expected to help us describe the stratification of the singular (orbifold) locus in some character varieties.
The non-centralizer graph of a finite group $G$ is the simple graph $Υ_G$ whose vertices are the elements of $G$ with two vertices $x$ and $y$ are adjacent if their centralizers are distinct. The induced subgroup of $Υ_G$ associated with the vertex set $G\setminus Z(G)$ is called the induced non-centralizer graph of $G$. The notions of non-centralizer and induced non-centralizer graphs were introduced by Tolue in \cite{to15}. A finite group is called regular (resp. induced regular) if its non-centralizer graph (resp. induced non-centralizer graph) is regular. In this paper we study the structu…
Suppose that a locally finite group $G$ has a $2$-element $g$ with Chernikov centralizer. It is proved that if the involution in $\langle g\rangle$ has nilpotent centralizer, then $G$ has a soluble subgroup of finite index.
We refine Brink's theorem, that the non-reflection part of a reflection centralizer in a Coxeter group W is a free group. We give an explicit set of generators for centralizer, which is finitely generated when W is. And we give a method for computing the Coxeter diagram for its reflection subgroup. In many cases, our method allows one to compute centralizers in one's head.
A finitely generated virtually free pro-p group with finite centralizers of its torsion elements is the free pro-p product of finite p-groups and a free pro-p factor.
The article deals with profinite groups in which centralizers are virtually procyclic. Suppose that G is a profinite group such that the centralizer of every nontrivial element is virtually torsion-free while the centralizer of every element of infinite order is virtually procyclic. We show that G is either virtually pro-p for some prime p or virtually torsion-free procyclic. The same conclusion holds for profinite groups in which the centralizer of every nontrivial element is virtually procyclic; moreover, if G is not pro-p, then G has finite rank.
A second countable virtually free pro-p group all of whose torsion elements have finite centralizer is the free pro-p product of finite p-groups and a free pro-p factor.
We study groups having the property that every non-cyclic subgroup contains its centralizer. The structure of nilpotent and supersolvable groups in this class is described. We also classify finite $p$-groups and finite simple groups with the above defined property.
We study asymptotic behavior of the dimensions of the homology groups of subgroups of finite index in finitely generated subgroups of pro-$p$ extension of centralizers of free pro-$p$ groups. We also prove group theoretic structure properties of such pro-$p$ groups that are of independent interest.
We consider abelain subgroups of small index in finite groups. More generally, we consider subgroups such that the product of their index by the index of their centralizer is small.
For a given m>=1, we consider the finite non-abelian groups G for which |C_G(g):<g>|<=m for every g in G\Z(G). We show that the order of G can be bounded in terms of m and the largest prime divisor of the order of G. Our approach relies on dealing first with the case where G is a non-abelian finite p-group. In that situation, if we take m=p^k to be a power of p, we show that |G|<=p^{2k+2} with the only exception of Q_8. This bound is best possible, and implies that the order of G can be bounded by a function of m alone in the case of nilpotent groups.
The c-dimension of a group G is the maximal length of a chain of nested centralizers in G. We prove that a locally finite group of finite c-dimension k has less than 5k nonabelian composition factors.
The article deals with profinite groups in which the centralizers are pronilpotent (CN-groups). It is shown that such groups are virtually pronilpotent. More precisely, let G be a profinite CN-group, and let F be the maximal normal pronilpotent subgroup of G. It is shown that F is open and the structure of the finite quotient G/F is described in detail.
Let $N \geq 2$ and let $\mathrm{Out}(F_N)$ be the outer automorphism group of a nonabelian free group of rank $N$. Let $\mathrm{IA}_N(\mathbb{Z}/3\mathbb{Z})$ be the finite index subgroup of $\mathrm{Out}(F_N)$ which is the kernel of the natural action of $\mathrm{Out}(F_N)$ on $H_1(F_N,\mathbb{Z}/3\mathbb{Z})$. We show that $\mathrm{IA}_N(\mathbb{Z}/3\mathbb{Z})$ is an $R$-group, that is, for every $ϕ,ψ\in \mathrm{IA}_N(\mathbb{Z}/3\mathbb{Z})$, if there exists $k \in \mathbb{N}^*$ such that $ϕ^k=ψ^k$, then $ϕ=ψ$. This answers a question of Handel and Mosher. We then use the fact that $\mathr…
For any group G, let C(G) denote the set of centralizers of G. We say that a group G has n centralizers (G is a Cn-group) if |C(G)| = n. In this note, we prove that every finite Cn-group with n ? 21 is soluble and this estimate is sharp. Moreover, we prove that every finite Cn-group with |G| < 30n+15 19 is non-nilpotent soluble. This result gives a partial answer to a conjecture raised by A. Ashrafi in 2000.
We introduce and investigate a class of profinite groups defined via extensions of centralizers analogous to the extensively studied class of finitely generated fully residually free groups, that is, limit groups (in the sense of Z. Sela). From the fact that the profinite completion of limit groups belong to this class, results on their group-theoretical structure and homological properties are obtained.
Monod introduced in [14] a family of Thompson-like groups which provides natural counterexamples to the von Neumann-Day conjecture. We construct a characterization of conjugacy and invariant and use them to compute centralizers in one group of this family.
For a CSA group $G$ and a wide class of abelian groups $A$ we give an explicit construction for the tensor $A$-completion of $G$ using free products with amalgamations. We apply the obtained results to the study of basic properties of $A$-free groups. In particular, canonical and reduced forms of elements in $A$-free groups are introduced, and then commuting and conjugate elements are described.
A group $G$ is said to have restricted centralizers if for each $g \in G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. We take interest in profinite groups with restricted centralizers of uniform commutators, that is, elements of the form $[x_1,\dots,x_k]$, where $π(x_1)=π(x_2)=\dots=π(x_k)$. Here $π(x)$ denotes the set of prime divisors of the order of $x\in G$. It is shown that such a group necessarily has an open nilpotent subgroup. We use this result to deduce that $γ_k(G)$ is f…
In this paper, we study the action of finite subgroups of the mapping class group of a surface on the curve complex. We prove that if the diameter of the almost fixed point set of a finite subgroup H is big enough, then the centralizer of H is infinite.
To classify the finite dimensional pointed Hopf algebras with $G= {\rm HS}$ or ${\rm Co3}$ we obtain the representatives of conjugacy classes of $G$ and all character tables of centralizers of these representatives by means of software {\rm GAP}.
We classify closed abelian subgroups of the automorphism group of any compact classical simple Lie algebra whose centralizer has the same dimension as the dimension of the subgroup, and describe Weyl groups of maximal abelian subgroups.
A finite group $G$ is called an F-group if for every $x, y \in G \setminus Z(G)$, $C(x) \leq C(y)$ implies that $C(x) = C(y)$. On the otherhand, two elements of a group are said to be $z$-equivalent or in the same $z$-class if their centralizers are conjugate in the group. In this paper, for a finite group, we give necessary and sufficient conditions for the number of centralizers/ $z$-classes to be equal to the index of its center. We also give a necessary and sufficient condition for the number of $z$-classes of a finite F-group to attain its maximal number (which extends an earlier result).…
Let G be a group. Two elements x and y in G are said to be in the same z-class if their centralizers in G are conjugate within G. In this paper, we prove that the number of z-classes in the group of upper triangular matrices is infinite provided that the field is infinite and size of the matrices is at least 6, and finite otherwise.
For any group $G$, let $nacent(G)$ denote the set of all nonabelian centralizers of $G$. Amiri and Rostami in (Publ. Math. Debrecen 87/3-4 (2015), 429-437) put forward the following question: Let H and G be finite simple groups. Is it true that if $|nacent(H)| = |nacent(G)|$, then $G$ is isomorphic to $H$? In this paper, among other things, we give a negative answer to this question.
For a positive integer r we prove that if G is a profinite group in which the centralizer of every nontrivial element has rank at most r, then G is either a pro-p group or a group of finite rank. Further, if G is not virtually a pro-p group, then G is virtually of rank at most r+1.
For any group G, let C(G) denote the intersection of the normal- izers of centralizers of all elements of G. Set C0 = 1. Define Ci+1(G)=Ci(G) = C(G=Ci(G)) for i ? 0. By C1(G) denote the terminal term of the ascending series. In this paper, we show that a finitely generated group G is nilpotent if and only if G = Cn(G) for some positive integer n.
Let $G$ be a locally finite group and $F(G)$ the Hirsch--Plotkin radical of $G$. Denote by $S$ the full inverse image of the generalized Fitting subgroup of $G/F(G)$ in $G$. Assume that there is a number $k$ such that the length of every chain of nested centralizers in $G$ does not exceed $k$. The Borovik--Khukhro conjecture states, in particular, that under this assumption the quotient $G/S$ contains an abelian subgroup of index bounded in terms of $k$. We disprove this statement and prove some its weaker analog.
We begin a study of a pro-$p$ analogue of limit groups via extensions of centralizers and call $\mathcal{L}$ this new class of pro-$p$ groups. We show that the pro-$p$ groups of $\mathcal{L}$ have finite cohomological dimension, type $FP_{\infty}$ and non-positive Euler characteristic. Among the group theoretic properties it is proved that they are free-by-(torsion-free poly -procyclic) and if non-abelian do not have a finitely generated non-trivial normal subgroup of infinite index. Furthermore it is shown that every 2 generated pro-$p$ group in the class $\mathcal{L}$ is either free pro-$p$ …
Let $FH$ be a supersolvable Frobenius group with kernel $F$ and complement $H$. Suppose that a finite group $G$ admits $FH$ as a group of automorphisms in such a manner that $C_G(F)=1$ and $C_{G}(H)$ is nilpotent of class $c$. We show that $G$ is nilpotent of $(c,\left|FH\right|)$-bounded class.
We explore when generator-conjugate homomorphisms are conjugate and when element-conjugate homomorphisms are conjugate from abelian or dihedral groups to the symmetric group. We completely determine when such homomorphisms are conjugate in the case where the source group has two generators by studying centralizer actions in the target group.
