3
$\begingroup$

A group $G$ is metacyclic if it contains a cyclic normal subgroup $N$, such that $G/N$ is also cyclic. $N$ is called the kernel, and the order of $G/N$ is the index of the metacyclic group. There is an alternative definition (see Hempel, Comm. Algebra 28(8), 2000):

A group $G$ is metacyclic with a kernel of order $m$ and index $n$ if, and only if, it has a presentation of the form $\langle a, b: a^n = b^l, b^m = 1, a^{-1}ba = b^r \rangle$ where $n, l, m, r$ are positive integers, such that $r^n \equiv 1 (m)$ and $m|l(r-1)$. Now, replacing $b$ by a suitable power of itself, we may assume that $l|m$. In particular, I have been working with $l=m$. My question is:

What implies this restriction $l=m$? I.e. what subclass of metacyclic groups would that be?

Thank you very much in advance.

  • 0
    Do someone know which conditions must be imposed on $n$ and $m$ in order to have a non abelian split metacyclic group (i.e., r>1)?2015-04-21

0 Answers 0