47.22 ClassNamesTom

ClassNamesTom( tom )

ClassNamesTom constructs generic names for the conjugacy classes of subgroups of the table of marks tom.

In general, the generic name of a class of non--cyclic subgroups consists of three parts, "(order)", "_{type}", and "letter", and hence has the form "(order)_{type}letter", where order indicates the order of the subgroups, type is a number that distinguishes different types of subgroups of the same order, and letter is a letter which distinguishes classes of subgroups of the same type and order. The type of a subgroup is determined by the numbers of its subgroups of other types (see ClassTypesTom). This is slightly weaker than isomorphism.

The letter is omitted if there is only one class of subgroups of that order and type, and the type is omitted if there is only one class of that order. Moreover, the braces round the type are omitted if the type number has only one digit.

For classes of cyclic subgoups, the parentheses round the order and the type are omitted. Hence the most general form of their generic names is "order,letter". Again, the letter is omitted if there is only one class of cyclic subgroups of that order.

    gap> ClassNamesTom( a6 );
    [ "1", "2", "3a", "3b", "5", "4", "(4)_2a", "(4)_2b", "(6)a", "(6)b",
      "(9)", "(10)", "(8)", "(12)a", "(12)b", "(18)", "(24)a", "(24)b", 
      "(36)", "(60)a", "(60)b", "(360)" ] 

Previous Up Top Next
Index

GAP 3.4.4
April 1997