Quelle  g12.def   Sprache: unbekannt

#############################################################################
##  File: GTW14.def                                                          ##
#############################################################################
##  This defines all groups of low order without using any library.
#############################################################################
##
GTW12_1           := Group( (1,2,3,4,5,6,7,8,9,10,11,12) );       
SetName( GTW12_1,  "12/1" );  # cyclic group of order 12 
GTW12_2           := Group( (1,2) , (3,4,5,6,7,8) );
SetName( GTW12_2,  "12/2" );  # C2xC6
GTW12_3           := Group( (1,2,3,4,5,6) , (2,6)(3,5) );
SetName( GTW12_3,  "12/3" );  # dihedral group
GTW12_4           := Group( (1,2,4) , (2,3,4) );
SetName( GTW12_4,  "12/4" );  # A4
GTW12_5           := Group ( (1,2,4,7,9,12)(3,6,10,11,8,5) , 
                           (1,3,7,11)(2,5,9,10)(4,8,12,6) );
SetName( GTW12_5,  "12/5" );   # ( ZS-metacyclic )