Quelle  F_22_Aut1.m   Sprache: unbekannt

F_22_Aut1 := PolycyclicGroup< g1, g2, g3, g4 | 

    g2^g1 = g3^-1,
    g2^g1^-1 = g2^3*g3*g4^3,
    g3^g1 = g2*g3^3,
    g3^g1^-1 = g2^-1,
    g3^g2 = g3*g4,
    g3^g2^-1 = g3*g4^-1,
    g4^g1 = g4,
    g4^g1^-1 = g4,
    g4^g2 = g4,
    g4^g2^-1 = g4,
    g4^g3 = g4,
    g4^g3^-1 = g4
>;