# standard generators of Sz(8) in a perm. repr. on 65 points
G:= Group( [ ( 1, 2)( 3, 4)( 5, 7)( 6, 9)( 8,12)(10,13)(11,15)(14,19)(16,21)
(17,23)(18,25)(20,28)(22,31)(24,33)(26,35)(27,32)(29,37)(30,39)(34,43)
(36,46)(38,48)(41,51)(42,44)(45,55)(47,50)(49,58)(52,60)(53,61)(54,59)
(56,62)(57,63)(64,65), ( 1, 3, 5, 8)( 4, 6,10,14)( 7,11,16,22)
( 9,12,17,24)(13,18,26,36)(15,20,29,38)(19,27,31,28)(21,30,40,50)
(23,32,41,52)(25,34,44,54)(33,42,53,43)(35,45,56,63)(37,47,51,46)
(39,49,59,60)(48,57,55,58)(61,64,62,65) ] );
# standard generators of Sz(8), natural 4-dim. repres. over GF(8),
# blown up GF(2)
m2:= [
[ [ 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0 ] ],
[ [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1 ],
[ 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0 ],
[ 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0 ],
[ 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0 ],
[ 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1 ] ] ] * Z(2);
quality 97%
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland