Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563575 views

Select option: 1 
Input group identifier: c2c2
Input prime: 2 
Input maximum class: 1 
Input print level (0-3): 1 
Input generating set (in { }): 
Input defining set of relations (in { }): 
Input exponent law (0 if none): 0 

Lower exponent-2 central series for c2c2

Group: c2c2 to lower exponent-2 central class 1 has order 2^2

Select option: 7 

Group: c2c2 to lower exponent-2 central class 2 has order 2^5

Select option: 9 

Menu for p-Group Generation
-----------------------------
1. Read automorphism information for starting group
2. Extend and display automorphisms
3. Specify input file and group number
4. List group presentation
5. Construct descendants
6. Advanced p-group generation menu
7. Exit to basic menu

Select option: 1 
Input the number of automorphisms: 2 
Now enter the data for automorphism 1
Input 2 exponents for image of pcp generator 1: 0 1 
Input 2 exponents for image of pcp generator 2: 1 1 
Now enter the data for automorphism 2
Input 2 exponents for image of pcp generator 1: 0 1 
Input 2 exponents for image of pcp generator 2: 1 0 
Input number of soluble generators for automorphism group: 0 

Select option: 5 
Input class bound on descendants: 7 
Construct all descendants? 1 
Set an order bound on the descendants? 1 
Input order bound on descendants: 5 
PAG-generating sequence for automorphism group? 1 
Do you want default algorithm? 1 
Do you want default output? 1 

**************************************************
Starting group: c2c2
Order: 2^2
Nuclear rank: 3
2-multiplicator rank: 3
# of immediate descendants of order 2^3 is 3
# of capable immediate descendants is 2
# of immediate descendants of order 2^4 is 3
# of capable immediate descendants is 3
# of immediate descendants of order 2^5 is 1
# of capable immediate descendants is 1

**************************************************
6 capable groups saved on file c2c2_class2

**************************************************
Starting group: c2c2 #1;1
Order: 2^3
Nuclear rank: 1
2-multiplicator rank: 3
# of immediate descendants of order 2^4 is 2
# of capable immediate descendants is 1

**************************************************
Starting group: c2c2 #2;1
Order: 2^3
Nuclear rank: 1
2-multiplicator rank: 3
# of immediate descendants of order 2^4 is 3
# of capable immediate descendants is 1

**************************************************
Starting group: c2c2 #4;2
Order: 2^4
Nuclear rank: 2
2-multiplicator rank: 3
# of immediate descendants of order 2^5 is 2
# of capable immediate descendants is 2

**************************************************
Starting group: c2c2 #5;2
Order: 2^4
Nuclear rank: 3
2-multiplicator rank: 4
# of immediate descendants of order 2^5 is 7
# of capable immediate descendants is 3

**************************************************
Starting group: c2c2 #6;2
Order: 2^4
Nuclear rank: 2
2-multiplicator rank: 3
# of immediate descendants of order 2^5 is 4
# of capable immediate descendants is 3

**************************************************
Starting group: c2c2 #7;3
Order: 2^5
Nuclear rank: 5
2-multiplicator rank: 5
Group c2c2 #7;3 is an invalid starting group

**************************************************
10 capable groups saved on file c2c2_class3

**************************************************
Starting group: c2c2 #1;1 #1;1
Order: 2^4
Nuclear rank: 1
2-multiplicator rank: 3
# of immediate descendants of order 2^5 is 2
# of capable immediate descendants is 1

**************************************************
Starting group: c2c2 #2;1 #1;1
Order: 2^4
Nuclear rank: 1
2-multiplicator rank: 3
# of immediate descendants of order 2^5 is 3
# of capable immediate descendants is 1

**************************************************
Starting group: c2c2 #4;2 #1;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 3
Group c2c2 #4;2 #1;1 is an invalid starting group

**************************************************
Starting group: c2c2 #4;2 #2;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 3
Group c2c2 #4;2 #2;1 is an invalid starting group

**************************************************
Starting group: c2c2 #5;2 #1;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 4
Group c2c2 #5;2 #1;1 is an invalid starting group

**************************************************
Starting group: c2c2 #5;2 #2;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 4
Group c2c2 #5;2 #2;1 is an invalid starting group

**************************************************
Starting group: c2c2 #5;2 #5;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 4
Group c2c2 #5;2 #5;1 is an invalid starting group

**************************************************
Starting group: c2c2 #6;2 #1;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 3
Group c2c2 #6;2 #1;1 is an invalid starting group

**************************************************
Starting group: c2c2 #6;2 #2;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 3
Group c2c2 #6;2 #2;1 is an invalid starting group

**************************************************
Starting group: c2c2 #6;2 #3;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 3
Group c2c2 #6;2 #3;1 is an invalid starting group

**************************************************
2 capable groups saved on file c2c2_class4

**************************************************
Starting group: c2c2 #1;1 #1;1 #1;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 3
Group c2c2 #1;1 #1;1 #1;1 is an invalid starting group

**************************************************
Starting group: c2c2 #2;1 #1;1 #1;1
Order: 2^5
Nuclear rank: 1
2-multiplicator rank: 3
Group c2c2 #2;1 #1;1 #1;1 is an invalid starting group

Select option: 0 
Exiting from p-group generation

Select option: 0 
Exiting from ANU p-Quotient Program