Standard Presentation Menu
-----------------------------
1. Supply start information
2. Compute standard presentation to supplied class
3. Save presentation to file
4. Display presentation
5. Set print level for construction
6. Compare two presentations stored in files
7. Call basic menu for p-Quotient program
8. Compute the isomorphism
9. Exit from program
Select option: 1
Lower exponent-5 central series for G
Group: G to lower exponent-5 central class 1 has order 5^2
Select option: 2
Enter output file name for group information: SPRES
Standardise presentation to what class? 5
Input the number of automorphisms: 2
Now enter the data for automorphism 1
Input 2 exponents for image of pcp generator 1: 2 0
Input 2 exponents for image of pcp generator 2: 0 1
Now enter the data for automorphism 2
Input 2 exponents for image of pcp generator 1: 4 1
Input 2 exponents for image of pcp generator 2: 4 0
PAG-generating sequence for automorphism group? 0
Starting group has order 5^2; its automorphism group order is 480
true
#I Order of GL subgroup is 480
#I No. of soluble autos is 0
#I dim U = 1 dim N = 3 dim M = 3
#I nice stabilizer with perm rep
The standard presentation for the class 2 5-quotient is
Group: G #1;2 to lower exponent-5 central class 2 has order 5^4
Non-trivial powers:
.1^5 = .4
Non-trivial commutators:
[ .2, .1 ] = .3
Subset of automorphism group to check has order bound 2000
The standard presentation for the class 3 5-quotient is
Group: G #1;1 to lower exponent-5 central class 3 has order 5^5
Non-trivial powers:
.1^5 = .4
Non-trivial commutators:
[ .2, .1 ] = .3
[ .3, .1 ] = .5
[ .3, .2 ] = .5
Subset of automorphism group to check has order bound 2000
The standard presentation for the class 4 5-quotient is
Group: G #1;1 to lower exponent-5 central class 4 has order 5^6
Non-trivial powers:
.1^5 = .4
Non-trivial commutators:
[ .2, .1 ] = .3
[ .3, .1 ] = .5
[ .3, .2 ] = .5
[ .5, .1 ] = .6
[ .5, .2 ] = .6
Subset of automorphism group to check has order bound 10000
The standard presentation for the class 5 5-quotient is
Group: G #1;1 to lower exponent-5 central class 5 has order 5^7
Non-trivial powers:
.1^5 = .4
Non-trivial commutators:
[ .2, .1 ] = .3
[ .3, .1 ] = .5
[ .3, .2 ] = .5
[ .5, .1 ] = .6
[ .5, .2 ] = .6
[ .6, .1 ] = .7
[ .6, .2 ] = .7
Subset of automorphism group to check has order bound 50000
Select option: 0
Exiting from ANU p-Quotient Program
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
