"Handbook of Computational Group Theory"
               Section 8.1.1, Definition 8.5

        c