Related papers: A Remark on Generalized Covering Groups

Let ${\cal N}_{c_1,...,c_t}$ be the variety of polynilpotent groups of class row $(c_1,...,c_t)$. In this paper, first, we show that a polynilpotent group $G$ of class row $(c_1,...,c_t)$ has no any ${\cal N}_{c_1,...,c_t,c_{t+1}}$-covering…

The class-breadth conjecture of Leedham-Green, Neumann and Wiegold states that for each $p$-group, $cl(G)\leq b(G) + 1$, where $cl(G)$, $b(G)$ denote the nilpotency class and the breadth of $G$. While several counter-examples to this…

It is known that an abelian group $A$ and a $2$-cocycle $c:A \times A \to C$ yield a group ${\mathscr{H}}(A,C,c)$ which we call a Heisenberg group. This group, a central extension of $A$, is the archetype of a class~$2$ nilpotent group. In…

In this short note we confirm a conjecture of James Wiegold. We prove that if $G$ is a finite $p$-group and $|G'|>p^{n(n-1)/2}$ for some non-negative integer $n$, then the group $G$ can be generated by the elements of breadth at least $n$.…

Let $G$ be a finite group, and $c$ an element of $\mathbb{Z}\cup \{\infty\}$. A subgroup $H$ of $G$ is said to be {\it $c$-nilpotent} if it is nilpotent, and has nilpotency class at most $c$. A subset $X$ of $G$ is said to be {\it…

For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…

In this article we show that if ${\cal V}$ is the variety of polynilpotent groups of class row $(c_1,c_2,...,c_s),\ {\mathcal N}_{c_1,c_2,...,c_s}$, and $G\cong{\bf {Z}}_{p^{\alpha_1}}\stackrel{n}{*}{\bf…

Let G be any group and $a_1G_1,...,a_kG_k (k>1)$ be left cosets in G. In 1974 Herzog and Sch\"onheim conjectured that if $\Cal A=\{a_iG_i\}_{i=1}^k$ is a partition of G then the (finite) indices $n_1=[G:G_1],...,n_k=[G:G_k]$ cannot be…

A conjecture of Roseberger asserts that every generalised triangle group either is virtually soluble or contains a non-abelian free subgroup. Modulo two exceptional cases, we verify this conjecture for generalised triangle groups of type…

Using the description of dominions in the variety of nilpotent groups of class at most two, we give a characterization of which groups are absolutely closed in this variety. We use the general result to derive an easier characterization for…

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.

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…

A group $G$ is said to be $\frac{3}{2}$-generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property then every proper quotient of $G$ is cyclic. In this paper we prove that the…

For a finite non cyclic group $G$, let $\gamma(G)$ be the smallest integer $k$ such that $G$ contains $k$ proper subgroups $H_1,\dots,H_k$ with the property that every element of $G$ is contained in $H_i^g$ for some $i \in \{1,\dots,k\}$…

A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2…

The first author, in 2001, presented a structure for the Baer-invariant of a nilpotent product of cyclic groups with respect to the variety of nilpotent groups. In this paper, using the above structure, we prove the existence of an ${\cal…

A group is called $(m,n)$-bicyclic if it can be expressed as a product of two cyclic subgroups of orders $m$ and $n$, respectively. The classification and characterization of finite bicyclic groups have long been important problems in group…

Consider a finite group $G$ of order $n$ with a prime divisor $p$. In this article, we establish, among other results, that if the Sylow $p$-subgroup of $G$ is neither cyclic nor generalized quaternion, then there exists a bijection $f$…

R. Baer has proved that if the factor-group G/{\zeta}_{n}(G) of a group G by the member {\zeta}_{n}(G) of its upper central series is finite (here n is a positive integer) then the member {\gamma}_{n+1}(G) of the lower central series of G…

Let $G$ be a finite group, $L_1(G)$ be its poset of cyclic subgroups and consider the quantity $\alpha(G)=\frac{|L_1(G)|}{|G|}$. The aim of this paper is to study the class $\cal{C}$ of finite nilpotent groups having…