On the geometry of {\textsf{O'N}}
type: Item
instance of: scholarly article
title: On the geometry of {\textsf{O'N}}
zbMATH Open document ID: 1205.51006
author: Dimitri Leemans
published in: Journal of Geometry
publication date: 2010-10-29T00:00:00Z
review text: A \(BCDL_{2003}\)-geometry is a coset geometry which is firm, residually connected, flag-transitive, residually weakly primitive, locally two-transitive and satisfies \((IP)_2\), the intersection property on all its rank two residues. \textit{F. Buekenhout} [Contemp. Math. 45, 1--32 (1985; Zbl 0577.51011)] gave a flag-transitive \(BCDL_{2003}\)-geometry of rank 4 for O'Nan's sporadic simple group O'N. Furthermore, \textit{F. Buekenhout} and the author [J. Comb. Theory, Ser. A 85, 148--164 (1999; Zbl 0930.20014)] showed that O'N has no residually weakly primitive geometry that satisfies \((IP)_2\) such that its rank is at least 5 with some maximal parabolic subgroup isomorphic to the Janko group \(J_1\) or such that its rank is at least 6 with some maximal parabolic subgroup isomorphic to the Mathieu group \(M_{11}\). On the other hand, \textit{A. A. Ivanov} and \textit{S. V. Shpectorov} [Russ. Math. Surv. 41, 211--212 (1986); translation from Usp. Mat. Nauk 41, No. 3(249), 183--184 (1986; Zbl 0626.20009)] obtained a geometry of rank 5 that admits a flag-transitive action of O'N. However, this geometry is not residually weakly primitive. In the paper under review the author considers O'N and its geometries. In order to classify rank two \(BCDL_{2003}\)-geometries for O'N, he determines those pairs of subgroups \((G_0, G_1)\) that together generate O'N and such that \(G_0\) is a maximal subgroup of O'N, \(G_{01} := G_0 \cap G_1\) is maximal in both \(G_0\) and \(G_1\), and the action of \(G_i\), \(i = 0, 1\), on the cosets of \(G_{01}\) in \(G_i\) is two-transitive. There are, up to isomorphism, nine maximal subgroups of O'N each of which may have several candidates for \(G_{01}\). A case-by-case analysis then shows that, up to isomorphism, there are ten rank two \(BCDL_{2003}\)-geometries for O'N. The author further proves that a \(BCDL_{2003}\)-geometry for O'N can have rank at most 4. Of course, this bound is sharp as the geometry due to Buekenhout [loc. cit.] show…
reviewed by: Günter F. Steinke
Mathematics Subject Classification ID: 51E24
Mathematics Subject Classification ID: 20D08
Mathematics Subject Classification ID: 05B25
zbMATH DE Number: 5808437
zbMATH Keywords: coset geometry
zbMATH Keywords: flag-transitive action
zbMATH Keywords: sporadic simple group
zbMATH Keywords: O'Nan sporadic simple group
MaRDI profile type: Publication
full work available at URL: s00022-010-0042-2
OpenAlex ID: W2003886317
cites work: Diagrams for geometries and groups
cites work: Q3697813
cites work: Q4763522
cites work: Q3160485
cites work: Geometries of the group \(\text{PSL}(2, 11)\)
cites work: Q3172816
cites work: On a geometry of Ivanov and Shpectorov for the O'Nan sporadic simple group
cites work: The residually weakly primitive geometries of \(S _{5} {\times}\)2
cites work: Q3684278
cites work: Q4385463
cites work: A geometry for the O'Nan-Sims group connected with the Petersen graph
cites work: An atlas of regular thin geometries for small groups
DOI: 10.1007/S00022-010-0042-2
description: scientific article; zbMATH DE number 5808437