Presentations of Fischer groups. I (Q1184074): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q186517 |
||
Property / reviewed by | |||
Property / reviewed by: Morton E. Harris / rank | |||
Revision as of 22:07, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Presentations of Fischer groups. I |
scientific article |
Statements
Presentations of Fischer groups. I (English)
0 references
28 June 1992
0 references
Let \(D\) be a set of involutions of a finite group \(G\) that generates \(G\) and such that the order of the product of any two elements of \(D\) is at most 3. If \(D\) is a single conjugacy class of \(G\), then \((G,D)\) is called a Fischer pair. Note that the image of a Fischer pair in \(\overline G=G/Z(G)\) is a Fischer pair \((\overline G,\overline D)\). In a very important work, B. Fischer classified all Fischer pairs \((G,D)\) when \(F^*(G)\) is simple and non-abelian. For such a Fischer pair \((G,D)\) with \(F^*(G)\) simple, this paper presents a method for constructing a presentation \((X,R\cup R')\) of \(G\) where \(X\subseteq D\), \(R\) is the set of relations \((xy)^{| xy|}=1\) for all \(x,y\in X\) and \(R'\) is an additional set of relations on \(X\). Thus \(G\) is a quotient of the Coxeter group \((X,R)\). This method is applied to the Fischer pairs: \((Sp(n,2)\), \(D\) the class of transvections with \(n\) even and \(n\geq 4\)) and \((O_ \varepsilon(n,2)\), \(D\) the class of orthogonal reflections, \(n\) even, \(n\geq 6\) and \(\varepsilon=+\) if the index is maximal and \(\varepsilon=-\) otherwise). Application to other such Fisher pairs including the three sporadic Fischer groups will follow.
0 references
involutions
0 references
finite group
0 references
Fischer pairs
0 references
presentation
0 references
relations
0 references
Coxeter group
0 references
transvections
0 references
sporadic Fischer groups
0 references