On the uniqueness of the \(Co_ 1\) 2-local geometry (Q1103192): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Gernot Stroth / rank | |||
Property / reviewed by | |||
Property / reviewed by: Gernot Stroth / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00191926 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4211222346 / rank | |||
Normal rank |
Latest revision as of 10:06, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the uniqueness of the \(Co_ 1\) 2-local geometry |
scientific article |
Statements
On the uniqueness of the \(Co_ 1\) 2-local geometry (English)
0 references
1988
0 references
In this remarkable paper the author shows the uniqueness of a certain geometry for \(Co_ 1\) discovered by \textit{M. A. Ronan} and \textit{S. D. Smith} [Proc. Symp. Pure Math. 37, 283-289 (1980; Zbl 0478.20015)]. This is a geometry consisting of points, lines, planes and hyperplanes such that the residue of a point is a \(M_{24}\)- geometry, also discovered by M. Ronan and S. Smith, and the residue of a hyperplane consists of the points, lines and one class of maximal singular subspaces of the \(0\) \(+_ 8(2)\)- building. The author shows that a geometry \(\Gamma\) having this kind of residue structure and possessing a flag transitive automorphism group G, is uniquely determined and \(G\cong Co_ 1\). The proof of this result is divided into two parts. First the stabilizers of a point and a hyperplane are determined. Then it is shown that G admits a rank 6 representation on the points. Using this information it is possible to show that the collinearity graph of \(\Gamma\) is uniquely determined.
0 references
first Conway group
0 references
uniqueness
0 references
residue
0 references
flag transitive automorphism group
0 references