Related papers: A nilpotency criterion for finite groups

Let $G$ be a finite group, and let $x$ be an element of $G$. Denote by $\Sol_G(x)$ the set of all $y \in G$ such that the group generated by $x$ and $y$ is soluble. We investigate the influence of $\Sol_G(x)$ on the structure of $G$.

Word maps provide a wealth of information about finite groups. We examine the connection between the probability distribution induced by a word map and the underlying structure of a finite group. We show that a finite group is nilpotent if…

We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively…

Suppose that $A$ is a finite nilpotent group of odd order acting good in the sense of \cite{EGJ} on the group $G$ of odd order. Under some additional assumptions we prove that the Fitting height of $G$ is bounded above by the sum of the…

In the paper autonilpotent groups were characterized as groups $G$ such that $\mathrm{Aut}G$ stabilizes some chain of subgroups of $G$. It was shown that a $p$-group is autonilpotent if and only if its group of automorphisms is also a…

Let G be a finite group and let k be a positive integer. We examine the relationship between structural properties of G and the number of elements of G that are not kth powers in G. In particular, we examine a bound on |G| given by Lucido…

This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged…

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…

Let $o(G)$ be the average order of the elements of $G$, where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$, where $N\trianglelefteq G$, even when $G$ is a prime-power order group and…

Let $G$ be a finite group and $N(G)$ be the set of conjugacy class sizes of $G$. For a prime $p$, let $|G||_p$ be the highest $p$-power dividing some element of $N(G)$. and define $|G|| = {\Pi}_{p\in {\pi}(G)}|G||_p$. $G$ is said to be an…

Given a group satisfying sufficient finiteness properties, we discuss a group algebra criterion for vanishing of all its cohomology groups with unitary coefficients in a certain degree.

Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…

Given a profinite group $G$ and a family $\mathcal{F}$ of finite groups closed under taking subgroups, direct products and quotients, denote by $\mathcal{F}(G)$ the set of elements $g \in G$ such that $\{x \in G\ |\ \langle g,x \rangle \…

A semigroup is \emph{nilpotent} of degree 3 if it has a zero, every product of 3 elements equals the zero, and some product of 2 elements is non-zero. It is part of the folklore of semigroup theory that almost all finite semigroups are…

We consider a finiteness condition on centralizers in a group G, namely that |C_G (x) : <x>| is finite for every non-normal cyclic subgroup <x> of G. For periodic groups, this is the same as |C_G (x)| is finite for every non-normal cyclic…

In this paper we introduce and study the concept of normality degree of a finite group $G$. This quantity measures the probability of a random subgroup of $G$ to be normal. Explicit formulas are obtained for some particular classes of…

We show that there exists an algorithm to decide any single equation in the Heisenberg group in finite time. The method works for all two-step nilpotent groups with rank-one commutator, which includes the higher Heisenberg groups. We also…

Given a finite group $G,$ we denote by $\Delta(G)$ the graph whose vertices are the proper subgroups of $G$ and in which two vertices $H$ and $K$ are joined by an edge if and only if $G=\langle H,K\rangle.$ We prove that if there exists a…

Let $F$ be a nilpotent group acted on by a group $H$ via automorphisms and let the group $G$ admit the semidirect product $FH$ as a group of automorphisms so that $C_G(F) = 1$. We prove that the order of $\gamma_\infty(G)$, the rank of…

The semigroup of the homotopy classes of the self-homotopy maps of a finite complex which induce the trivial homomorphism on homotopy groups is nilpotent. We determine the nilpotency of these semigroups of compact Lie groups and finite Hopf…