Related papers: Lower central words in finite $p$-groups

Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this…

Let $G$ be a $p$-group for some prime $p$. Let $n$ be the positive integer so that $|G:Z(G)| = p^n$. Suppose $A$ is a maximal abelian subgroup of $G$. Let $$p^l = {\rm max} \{|Z(C_G (g)):Z(G)| : g \in G \setminus Z(G)\},$$ $$p^b = {\rm max}…

Let $\gamma_k=[x_1,\dots,x_k]$ be the $k$-th lower central group-word. Given a group $G$, we write $X_k(G)$ for the set of $\gamma_k$-values and $\gamma_k(G)$ for the $k$-th term of the lower central of $G$. This paper deals with groups in…

Let \Gamma be a finitely presentable pro-p group with a nontrivial finitely generated closed normal subgroup N of infinite index. Then def(\Gamma)\leq 1, and if def(\Gamma)=1 then \Gamma is a pro-p duality group of dimension 2, N is a free…

Let $G$ be a finite simple group. By a theorem of Guralnick and Kantor, $G$ contains a conjugacy class $C$ such that for each non-identity element $x \in G$, there exists $y \in C$ with $G = \langle x,y\rangle$. Building on this deep…

A group-word $w$ is called concise if the verbal subgroup $w(G)$ is finite whenever $w$ takes only finitely many values in a group $G$. It is known that there are words that are not concise. The problem whether every word is concise in the…

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…

Let $\mathcal{C}$ be a class of finite groups closed for subgroups, quotients groups and extensions. Let $\Gamma$ be a finite simplicial graph and $G = G_{\Gamma}$ be the corresponding pro-$\mathcal C$ RAAG. We show that if $N$ is a…

Let $G$ be a finite group and assume $p$ is a prime dividing the order of $G$. Suppose for any such $p$, that every two abelian $p$-subgroups of $G$ of equal order are conjugate. The structure of such a group $G$ has been settled in this…

We study finite p-groups G of coclass upto 4 for which the group Aut_z(G) of all central automorphisms of G is of minimal possible order. As a consequence, we obtain very short and elementary proofs of main results of Sharma and Gumber [7].

Let $G$ be a finite non-abelian $p$-group, where $p$ is a prime. Let $\mathrm{Aut}_c(G)$ and $\mathrm{Aut}_z(G)$ respectively denote the group of all class preserving and central automorphisms of $G$. We give a necessary condition for $G$…

Suppose that $A$, $B$ and $S$ are non-empty subsets of a finite abelian group $G$. Then the generalized restricted sumset $$ A\stackrel{S}+B:=\{a+b:\,a\in A,\ b\in B,\ a-b\not\in S\} $$ contains at least $$ \min\{|A|+|B|-3|S|,p(G)\} $$…

Let $p$ be a an odd prime and let $G$ be a finite $p$-group with cyclic commutator subgroup $G'$. We prove that the exponent and the abelianization of the centralizer of $G'$ in $G$ are determined by the group algebra of $G$ over any field…

Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

Let G be a finitely generated free, free abelian of arbitrary exponent, free nilpotent, or free solvable group, or a free group in the variety A_mA_n, and let A = {a_1,..., a_r} be a basis for G. We prove that, in most cases, if S is a…

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…

Suppose that $G$ is a finite $p$-group. If all subgroups of index $p^t$ of $G$ are abelian and at least one subgroup of index $p^{t-1}$ of $G$ is not abelian, then $G$ is called an $\mathcal{A}_t$-group. In this paper, some information…

We present a classification of finite $p$-groups $G$ with $\gamma_2(G)$, the commutator subgroup of $G$, of order $p^4$ and exponent $p$ such that not all elements of $\gamma_2(G)$ are commutators.

Let $A$ be an elementary abelian group of order $p^{k}$ with $k\geq 3$ acting on a finite $p'$-group $G$. The following results are proved. If $\gamma_{k-2}(C_{G}(a))$ is nilpotent of class at most $c$ for any $a\in A^{#}$, then…

For surface groups and right-angled Artin groups, we prove lower bounds on the shortest word in the generators representing a nontrivial element of the kth term of the lower central series.