Extending some induced substructures of an inversive plane

DOI10.1007/S10623-015-0083-5MaRDI QIDQ281324zbMATH OpenOpenAlexFDO

Authors Alice M. W. Hui

Publication date 10 May 2016

Published in Designs, Codes and Cryptography (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10623-015-0083-5

zbMATH Keywords

induced substructureinversive planeovoid

Mathematics Subject Classification ID

Combinatorial aspects of finite geometries (05B25) Lie geometries in nonlinear incidence geometry (51B25) Combinatorial structures in finite projective spaces (51E20)

Review text

An inversive plane is an incidence structure of points and circles such that: (1) any three points are contained in exactly one circle; (2) if \(a\) and \(b\) are points with \(a\) incident with circle \(C\) but \(b\) is not, then there is a unique circle \(D\) containing \(a\) and \(b\) and \(a\) is the sole point of intersection of the two circles; (3) there are four points not on a common circle. Let \({\mathcal C}_i\) be the sets of circles meeting \(C\) in \(i\) points for a given circle \(C\). \newline The author proves the following results. (1) Given an inversive plane \({\mathcal I}_1\) of even order \(q\) greater than 4 and \(C\) a circle. If \(({\mathcal P}, \{C\} \cup {\mathcal C}_0 \cup {\mathcal C}_2)\) is an induced substructure of an inversive plane \({\mathcal I}_2\) of order \(q\) then \({\mathcal I}_1={\mathcal I}_2\). (2) Given an inversive plane \({\mathcal I}_1\) of even order \(q\) greater than 4 and \(C\) a circle. Let \(a,b\) be distinct points on the circle and let \(C_{a,b}\) be some circle disjoint from \(C\) through \(a\) and \(b\) and let \({\mathcal C}_2^* = \{ C_{a,b} \;| \;a, b \in C, a \neq b \}.\) If \(({\mathcal P}, \{ C \} \cup {\mathcal C}_0 \cup {\mathcal C}_1 \cup {\mathcal C}_2^*)\) is an induced substructure of an inversive plane \({\mathcal I}_2\) of order \(q\) then \({\mathcal I}_1 = {\mathcal I}_2.\) (3) Let \({\mathcal I}_1\) be an inversive plane of order \(n \geq 3\) and \(C\) a circle of \({\mathcal I}_1\). If \(({\mathcal P}, \{C\} \cup {\mathcal C}_0 \cup {\mathcal C}_2 )\) is an induced substructure of an inversive plane \({\mathcal I}_2\) of order \(n\), then \({\mathcal I}_1 = {\mathcal I}_2\).

Recommendations

• scientific article; zbMATH DE number 4058302
• Inverse planes with a given collection of common blocks
• scientific article; zbMATH DE number 66121
• A classification of finite \(\{ 0,1,2\}\)-inversive planes
• The affine plane \(AG(2,q)\), \(q\) odd, has a unique one point extension

Cites work

• Eine Axiomatik der Kreisgeometrie und der Laguerregeometrie
• Finite inversive planes satisfying the bundle theorem
• scientific article; zbMATH DE number 3555006 (Why is no real title available?)
• scientific article; zbMATH DE number 3257050 (Why is no real title available?)
• Inversive planes of even order
• On complete caps and ovaloids in three-dimensional Galois spaces of characteristic two
• On Finite Inversive Planes
• Ovoides et groupes de Suzuki

Cited in

(6)

• Inverse planes with a given collection of common blocks
• A classification of finite \(\{ 0,1,2\}\)-inversive planes
• On the cardinality of intersection sets in inversive planes
• scientific article; zbMATH DE number 540102 (Why is no real title available?)
• On finite circular spaces
• Doppelebenen und Loops. (Double planes and loops)

This page was built for publication: Extending some induced substructures of an inversive plane

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281324)