Related papers: A characterization of nilpotent bicyclic groups
Let $G$ be a finite $p$-group and $\delta(G)$ denote the number of all non-cyclic subgroups of $G$. In this paper, an upper bound for $\delta(G)$ is obtained. Furthermore, we prove that $\delta(G)\leq \delta(M_p(1, 1, 1) \times…
W.Haebich (Bull. Austral. Math. Soc., 7, 1972, 279-296) presented a formula for the Schur multiplier of a regular product of groups. In this paper first, it is shown that the Baer-invariant of a nilpotent product of groups with respect to…
Let $G$ be a finite group and $\alpha(G)=\frac{|C(G)|}{|G|}$\,, where $C(G)$ denotes the set of cyclic subgroups of $G$. In this short note, we prove that $\alpha(G)\leq\alpha(Z(G))$ and we describe the groups $G$ for which the equality…
Bouc proposed the following conjecture: a finite group $G$ is nilpotent if and only if its largest quotient $B$-group $\beta(G)$ is nilpotent. And he has prove that this conjecture holds when $G$ is solvable. In this paper, we consider the…
We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of…
It is proved that the derived subgroup of a finite group is nilpotent if and only if $|ab|\ge |a||b|$ for all primary commutators $a$ and $b$ of coprime orders.
We prove that if a group is nilpotent (resp. metabelian), then so is the subgroup of its automorphism group generated by all polynomial automorphisms.
Let $G$ be a finite group and $S$ be a subset of $G$. The bi-Cayley graph $\mathrm{BCay}(G,S)$ is the graph with vertex set $G\times \{0,1\}$ and edge set $\{\{(x,0),(sx,1)\}\mid x\in G,s\in S\}$. A bi-Cayley graph $\mathrm{BCay}(G,S)$ is…
We show that every finite group $G$ of size at least $3$ has a nilpotent subgroup of class at most $2$ and size at least $|G|^{1/32\log\log|G|}$. This answers a question of Pyber, and is essentially best possible.
The power graph of a group is the simple graph whose vertices are the group elements and two vertices are adjacent whenever one of them is a positive power of the other. We characterize the finite nilpotent groups whose power graphs have…
The free nilpotent group $G_{m,n}$ of class $m$ and rank $n$ is the free object on $n$ generators in the category of nilpotent groups of class at most $m$. We show that $G_{m,n}$ can be recovered from its reduced group $C^*$-algebra, in the…
Let $A$ be a non-metacyclic finite group. Suppose that $A$ acts coprimely on a finite group $G$ in such a manner that $C_G(a)$ is nilpotent for any $a\in A^{\#}$. In the present paper we investigate some conditions on $A$ which imply that…
Let $p$ be a prime. A $p$-group $G$ is defined to be semi-extraspecial if for every maximal subgroup $N$ in $Z(G)$ the quotient $G/N$ is a an extraspecial group. In addition, we say that $G$ is ultraspecial if $G$ is semi-extraspecial and…
A Cayley digraph Cay(G,S) of a finite group $G$ with respect to a subset $S$ of $G$ is said to be a CI-digraph if for every Cayley digraph Cay(G,T) isomorphic to Cay(G,S), there exists an automorphism $\sigma$ of $G$ such that $S^\sigma=T$.…
Suppose that $f$ is a homomorphism from the mapping class group $\mathcal{M}(N_{g,n})$ of a nonorientable surface of genus $g$ with $n$ boundary components, to $\mathrm{GL}(m,\mathbb{C})$. We prove that if $g\ge 5$, $n\le 1$ and $m\le g-2$,…
A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of $\sym(G)$ that contains all right translations. We prove that every nonabelian nilpotent Schur group…
We construct a finitely presented non-amenable group without free non-cyclic subgroups thus providing a finitely presented counterexample to von Neumann's problem. Our group is an extension of a group of finite exponent n >> 1 by a cyclic…
We show that every finite abelian group $G$ occurs as the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$. We produce partial results for abelian varieties over a general finite…
A finite group $G$ is said to be a $\mathcal{B}_{\psi}$-group if $\psi(H)<|G|$ for any proper subgroup $H$ of $G$, where $\psi(H)$ denotes the sum of element orders of $H$. In this paper, we characterize the $\mathcal{B}_{\psi}$-groups up…
Let $g$ be an element of a group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots ,g]$ over $x\in G$, where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group…