Metacyclic group (source code)

= Metacyclic group
{wiki}

A group is metacyclic when it has a cyclic normal subgroup whose quotient is cyclic. Every <dihedral group> is metacyclic through its rotation subgroup.