On the uniqueness of the generalized octagon of order \((2,4)\) (Q468711): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: GAP / rank | |||
Normal rank |
Revision as of 20:21, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the uniqueness of the generalized octagon of order \((2,4)\) |
scientific article |
Statements
On the uniqueness of the generalized octagon of order \((2,4)\) (English)
0 references
7 November 2014
0 references
There is a generalized octagon of order \((2,4)\) which belongs to the group \(^2F_4(2)\). Whether this is the unique generalized octagon of this order is still an open question. There is just one vertex transitive one (see [\textit{I. N. Belousov} and \textit{A. A. Makhnev}, Math. Notes 84, No. 3, 483--492 (2008; Zbl 1165.05328); translation from Mat. Zametki 84, No. 4, 516--526 (2008)]) or also just one Moufang octagon [\textit{J. Tits}, Am. J. Math. 105, 539--594 (1983; Zbl 0521.20016)]. In this paper, the authors prove that there is a unique octagon of order \((2,4)\) if it admits a group \(Q\) of automorphisms which fixes a point \(a\) and all lines through \(a\) and acts transitively on the set \(P_a\) of points opposite to \(a\). For the proof, the authors define a subgroup \(Q_0\) of \(Q\) as the group generated by elements \(\alpha_i \in Q\), \(i= 1, \dots , 5\), where \(b\) is a fixed element in \(P_a\), \(\{b,c_i\}\), \(i = 1, \dots, 5\), are the lines through \(b\) and \(b^{\alpha_i} = c_i\). They show that \(2^8 \leq |Q_0| \leq 2^{10}\) and prove many properties of this group. Using these facts, they go over the GAP-list of 2-groups of order \(2^8\), \(2^9\) and \(2^{10}\) and eventually come down with a unique one, which is of order \(2^9\). This then implies uniqueness of the generalized octagon. The authors say that to treat the groups of order \(2^8\) and \(2^9\) it takes 10 CPU-years and for \(2^{10}\) it will be 15 CPU-years. The referee and probably also many readers are not familiar with this kind of measure. Hence, it is not clear whether one is able to verify the proof in reasonable time.
0 references
generalized polygon
0 references
octagon
0 references
point-line geometry
0 references
incidence geometry
0 references
groups of order a small power of 2
0 references
Ree group
0 references
Cayley graph
0 references