Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Questions on group theory which concern finite groups.
0
votes
0
answers
134
views
Experimenting with the spider relator
The Monster group (actually the bimonster) has a presentation as Y555. Y555 is the quotient of a coxeter group (the coxeter diagram is a central node with three "spokes" coming out of it with length 5 …
0
votes
1
answer
159
views
The simple groups with an absolutely irreducible projective representations with small degrees
In the question "Simple Hurwitz Groups of order less than 10^7", it came up that all the Hurwitz groups with absolutely irreducible projective representations of degrees up to 7 over any field are det …
3
votes
0
answers
195
views
Alternating quotients of (2,3,7;10)
It was shown that the only quotient of the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$ of the form PSL(2, q) is PSL(2, 41). That lead me to consider other families of simple g …
11
votes
1
answer
457
views
Group theory conjecture on hurwitz groups
Conjecture: Let $p$ be a prime.
Then the group
$G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^9, (([a,b]^4)b)^{2p} \rangle$
has a composition series of the form
${\rm PSL}(2,8) - {\rm Z}_p - {\r …
2
votes
1
answer
375
views
Quotients of Hurwitz group
Since my question at Simplicity of infinite groups was not answered (well, at least, my second question), instead of trying to find the isomorhism type of those groups, I will instead try to find the …
1
vote
1
answer
342
views
Help understanding a group
I was experimenting with various presentations for groups, and I stumbled upon $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [aba,b]^6 \rangle$. I found that it has order 11741184, but the magma calculat …
2
votes
Accepted
Help understanding a group
Actually, I just figured it out. The groups
$H := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{28}, [aba,b]^6 \rangle$ and
$I := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{8}, [aba,b]^6 \rangle$ are …
1
vote
0
answers
42
views
Alternating Hurwitz quotients multiplicity
How many times is each alternating group a hurwitz quotient? In other words, how many non-isomorphic ways can an alternating group be generated by an element of order 2 and an element of order 3 whose …
6
votes
1
answer
506
views
Simple Hurwitz Groups of order less than 10^7
I'm trying to calculate a table of all simple hurwitz groups of order less than 10^7. None of the tables I found went further than 10^6, so I decided to use the tables of all simple groups up to 10^7 …
6
votes
1
answer
371
views
Presentation of the Monster as a Hurwitz group
The Monster group is the largest of the sporadic simple groups, and has been proven by Wilson to also be a Hurwitz group. It has a presentation in terms of Coxeter groups, specifically Y443 along with …
14
votes
3
answers
3k
views
Presentation of the Monster Group
I was reading about the monster group, and how hard it was to do calculations in it, and I wondered: Is there a known presentation of the monster group? I know that it is a hurwitz group, but other th …
47
votes
1
answer
6k
views
Has gnu(2048) been found?
The gnu (or Group NUmber) function describes how many groups there are of a given order. The number of groups of each order are known up to 2047, see https://www.math.auckland.ac.nz/~obrien/research/g …