47.15 IsCyclicTom

IsCyclicTom( tom, n )

A subgroup is cyclic if and only if the sum over the corresponding row of the inverse table of marks is nonzero (see Ker91, page 125). Thus we only have to decompose the corresponding idempotent.

    gap> for i in [ 1 .. 6 ] do                       
    > Print( i, ": ", IsCyclicTom(a5, i), "  " );
    > od;  Print( "\n" );
    1: true  2: true  3: true  4: false  5: true  6: false   

Previous Up Top Next
Index