Skip to main content
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
Results tagged with
Search options not deleted user 38744

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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811
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 …
Thomas's user avatar
  • 2,811