pith. sign in

arxiv: 2506.14060 · v16 · submitted 2025-06-16 · 🧮 math.AG · math.AC· math.GR· math.RA

Linear Geometry and Algebra

Taras Banakh This is my paper

Pith reviewed 2026-05-19 08:47 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.GRmath.RA
keywords linear geometrylinersincidence geometrysynthetic geometryquasi-fieldsternarsprojective geometryaffine geometry
0
0 comments X

The pith

Simple axioms about lines in a liner force the emergence of algebraic structures such as loops, ternars, and quasi-fields.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops Linear Geometry as the study of liners, which are sets equipped with a ternary line relation that encodes all information about lines. Starting from intuitive geometric axioms, it defines special classes including regular, projective, affine, and proaffine liners. These classes are shown to give rise necessarily to algebraic structures including magmas, loops, ternars, quasi-fields, alternative rings, procorps, and profields. The development uses synthetic proofs wherever possible and defines area using only lines and their parallelity, placing affine and projective geometries inside the broader field of incidence geometry.

Core claim

By beginning with a set endowed with a ternary line relation to form a liner and then imposing additional geometric axioms, one obtains classes of liners whose incidence properties imply the existence of corresponding algebraic operations and structures such as ternars and quasi-fields, all derived through synthetic reasoning from the geometry of lines alone.

What carries the argument

The liner, a set equipped with a ternary line relation that encodes all line information, from which further axioms produce algebraic structures via synthetic derivation.

If this is right

  • Projective and affine geometries arise as special cases of liners under suitable axioms.
  • Exotic algebraic structures including magmas, loops, and procorps are forced by the geometry of lines.
  • Area becomes definable and studyable using only lines and parallelity without coordinates.
  • Synthetic methods suffice to establish most algebraic consequences in this setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach suggests that many algebraic identities in classical geometry originate directly from incidence relations among lines.
  • Similar synthetic derivations could be tested in higher-dimensional or non-Euclidean incidence settings to produce new classes of algebras.
  • The unification of affine and projective cases inside liners may clarify how different geometric axioms select different algebraic properties.

Load-bearing premise

That the additional axioms on a liner produce the listed special classes and that synthetic geometric proofs can derive the algebraic structures without essential reliance on analytic methods.

What would settle it

A concrete liner satisfying the stated geometric axioms whose incidence structure fails to correspond to any of the expected algebraic objects such as a quasi-field or alternative ring.

read the original abstract

Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So, Linear Geometry studies liners. Imposing some additional axioms on a liner, we obtain some special classes of liners: regular, projective, affine, proaffine, etc. Linear Geometry includes Affine and Projective Geometries and is a part of Incidence Geometry. The aim of this book is to present a self-contained logical development of Linear Geometry, starting with some intuitive acceptable geometric axioms and ending with algebraic structures that necessarily arise from studying the structure of geometric objects that satisfy those simple and intuitive geometric axioms. We shall meet many quite exotic algebraic structures that arise this way: magmas, loops, ternars, quasi-fields, alternative rings, procorps, profields, etc. The notion of area also belongs to Linear Geometry and can be defined and studied using only lines and their parallelity. We strongly prefer (synthetic) geometric proofs and use tools of analytic geometry only when no purely geometric proof is available. Liner Geometry has been developed by many great mathematicians since times of Antiquity (Thales, Euclides, Proclus, Pappus), through Renaissance (Descartes, Desargues), Early Modernity (Playfair, Gauss, Lobachevski, Bolyai, Poncelet, Steiner, M\"obius), Late Modernity Times (Steinitz, Klein, Hilbert, Moufang, Hessenberg, Jordan, Beltrami, Fano, Gallucci, Veblen, Wedderburn, Lenz, Barlotti) till our contempories (Hartshorne, Hall, Buekenhout, Gleason, Kantor, Doyen, Hubault, Dembowski, Klingenberg, Grundh\"ofer, M\"uller, Nagy).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript develops Linear Geometry by defining a liner as a set equipped with a ternary line relation. Additional axioms are imposed to obtain special classes including regular, projective, affine, and proaffine liners. Algebraic structures such as magmas, loops, ternars, quasi-fields, alternative rings, procorps, and profields are constructed synthetically from incidence and parallelism configurations. The work also treats the notion of area via lines and parallelity, prefers synthetic proofs, and supplies historical context from antiquity to the present.

Significance. If the synthetic derivations hold, the manuscript supplies a unified foundational treatment linking simple geometric axioms directly to a range of algebraic structures without essential coordinate dependence. This strengthens the synthetic tradition in incidence geometry and introduces less-common objects such as procorps and profields, which may prove useful for further study of the geometry-algebra correspondence.

minor comments (3)
  1. The introduction lists numerous historical contributors but supplies no specific citations or page references to their relevant results; adding a short annotated bibliography would improve traceability.
  2. The definition of a procorp (or profield) appears only after several algebraic constructions have already been used; moving the definition to an earlier section or adding a forward reference would aid readability.
  3. Figure captions for the incidence diagrams used in the construction of the ternary operation are terse; expanding them to state the exact configuration being illustrated would help readers follow the synthetic arguments.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript and for the positive assessment of its significance in providing a unified synthetic treatment linking geometric axioms to algebraic structures. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity: synthetic derivation from geometric axioms to algebraic structures

full rationale

The manuscript constructs Linear Geometry from a ternary line relation on liners and imposes additional axioms to define classes such as regular, projective, affine, and proaffine liners. Algebraic structures (magmas, loops, ternars, quasi-fields, etc.) are obtained directly via synthetic incidence and parallelism arguments. The text explicitly prefers geometric proofs, isolates any analytic tools, and supplies alternative geometric routes. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain; the progression from stated axioms to derived structures remains independent and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

The central claim rests on the foundational definition of a line relation and the imposition of additional axioms to generate special liner classes and force algebraic structures; no numerical free parameters are mentioned, but the specific geometric axioms for each class function as domain assumptions.

axioms (2)
  • domain assumption A set endowed with a ternary line relation (a liner) satisfies additional axioms to obtain special classes such as regular, projective, affine, and proaffine liners.
    This is the core definitional step from which the algebraic structures are derived, as stated in the abstract.
  • domain assumption Synthetic geometric proofs suffice to derive algebraic structures from the line-based axioms, with analytic tools used only when necessary.
    This methodological choice underpins the entire self-contained development described.
invented entities (3)
  • liner no independent evidence
    purpose: Basic object consisting of a set with a ternary line relation for studying linear geometric properties.
    Introduced as the fundamental structure in the abstract.
  • procorps no independent evidence
    purpose: Exotic algebraic structure arising from the geometric axioms on liners.
    Listed among the algebraic objects encountered in the development.
  • profields no independent evidence
    purpose: Exotic algebraic structure arising from the geometric axioms on liners.
    Listed among the algebraic objects encountered in the development.

pith-pipeline@v0.9.0 · 5878 in / 1467 out tokens · 40036 ms · 2026-05-19T08:47:41.483352+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Linear Geometry: flats, ranks, regularity, parallelity

    math.HO 2025-11 unverdicted novelty 2.0

    A survey of foundational concepts in Linear Geometry including flats, ranks, regularity, modularity, and parallelity all derived from flat hulls.

Reference graph

Works this paper leans on

77 extracted references · 77 canonical work pages · cited by 1 Pith paper

  1. [1]

    Al-Dhahir, K

    M.W. Al-Dhahir, K. Ghalieh, On minor forms of Desargues and Pappus , Geom. Dedicata 42:3 (1992), 329–344

    work page 1992

  2. [2]

    A. Ali, J. Slaney, Counting loops with the inverse property , Quasigroups Related Systems 16:1 (2008), 13–16

    work page 2008

  3. [3]

    Banakh, Classical Set Theory: Theory of Sets and Classes , 2020 ( https://arxiv.org/abs/2006.01613)

    T. Banakh, Classical Set Theory: Theory of Sets and Classes , 2020 ( https://arxiv.org/abs/2006.01613)

    work page arXiv 2020

  4. [4]

    Barlotti, Le possibili configurazioni del sistema delle coppie punto-retta (A, a) per cui un piano grafico risulta (A, a)-transitivo, Boll

    A. Barlotti, Le possibili configurazioni del sistema delle coppie punto-retta (A, a) per cui un piano grafico risulta (A, a)-transitivo, Boll. Un. Mat. Ital. 12:3 (1957), 212–226

    work page 1957

  5. [5]

    Barwick, G

    S. Barwick, G. Ebert, Unitals in projective planes , Springer Monographs in Mathematics. Springer, New York,

    work page

  6. [6]

    Belousov, Foundations of the theory of quasigroups and loops , Nauka, Moscow, 1967

    V.D. Belousov, Foundations of the theory of quasigroups and loops , Nauka, Moscow, 1967. 223 pp

    work page 1967

  7. [7]

    Bose, On the construction of balanced incomplete block designs , Ann

    R.C. Bose, On the construction of balanced incomplete block designs , Ann. Eugenics 9 (1939), 353–399

    work page 1939

  8. [8]

    Bruck, E

    R.H. Bruck, E. Kleinfeld, The structure of alternative division rings , Proc. Amer. Math. Soc. 2 (1951), 878–890

    work page 1951

  9. [9]

    Bruck, H.J

    R.H. Bruck, H.J. Ryser, The nonexistence of certain finite projective planes , Canad. J. Math. 1 (1949), 88–93

    work page 1949

  10. [10]

    Bruck, On a theorem of R

    R.H. Bruck, On a theorem of R. Moufang , Proc. Amer. Math. Soc. 2 (1951), 144–145

    work page 1951

  11. [11]

    Bruck, A survey of binary systems , Berlin, Springer, 1971

    R.H. Bruck, A survey of binary systems , Berlin, Springer, 1971

    work page 1971

  12. [12]

    Burnside, On an unsettled question in the theory of discontinuous groups , Quart

    W. Burnside, On an unsettled question in the theory of discontinuous groups , Quart. J. Pure Appl. Math. 37 (1901), 230-238

    work page 1901

  13. [13]

    Cameron, Combinatorics: Topics, Techniques, Algorithms , Cambridge, 1994

    P.J. Cameron, Combinatorics: Topics, Techniques, Algorithms , Cambridge, 1994

    work page 1994

  14. [14]

    Chein, Moufang loops of small order

    O. Chein, Moufang loops of small order. I , Trans. Amer. Math. Soc. 188 (1974), 31–51

    work page 1974

  15. [15]

    Chein, Moufang loops of small order , Mem

    O. Chein, Moufang loops of small order , Mem. Amer. Math. Soc. 13:197 (1978), iv+131 pp

    work page 1978

  16. [16]

    Cheng, M

    K.N. Cheng, M. Deaconescu, M-L. Lang, W.J. Shi, Corrigendum and addendum to: ”Classification of finite groups with all elements of prime order” [Proc. Amer. Math. Soc. 106 (1989), no. 3, 625–629; MR0969518 (89k:20038)] by Deaconescu, Proc. Amer. Math. Soc. 117:4 (1993), 1205–1207

    work page 1989

  17. [17]

    Cofman, On the nonexistence of finite projective planes of Lenz-Barlotti type I6, J

    J. Cofman, On the nonexistence of finite projective planes of Lenz-Barlotti type I6, J. Algebra 4 (1966), 64–70

    work page 1966

  18. [18]

    Colbourn, J.H

    C.J. Colbourn, J.H. Dinitz (eds.), Handbook of combinatorial designs , Discrete Mathematics and its Applica- tions. Chapman & Hall/CRC, Boca Raton, FL, 2007. xxii+984 pp

    work page 2007

  19. [19]

    Cs¨ org˝ o,Every Moufang loop of odd order has nontrivial nucleus , J

    P. Cs¨ org˝ o,Every Moufang loop of odd order has nontrivial nucleus , J. Algebra 603 (2022), 89–117

    work page 2022

  20. [20]

    Deaconescu, Classification of finite groups with all elements of prime order , Proc

    M. Deaconescu, Classification of finite groups with all elements of prime order , Proc. Amer. Math. Soc. 106:3 (1989), 625–629

    work page 1989

  21. [21]

    Dembowski, Finite Geometries, Springer, 1997

    P. Dembowski, Finite Geometries, Springer, 1997

    work page 1997

  22. [22]

    Denniston, Some maximal arcs in finite projective planes , J

    R.H.F. Denniston, Some maximal arcs in finite projective planes , J. Combinatorial Theory 6 (1969), 317–319

    work page 1969

  23. [23]

    Doyen, X

    J. Doyen, X. Hubaut, Finite regular locally projective spaces. Math. Z. 119 (1971), 83–88

    work page 1971

  24. [24]

    Dr´ apal,A simplified proof of Moufang’s theorem , Proc

    A. Dr´ apal,A simplified proof of Moufang’s theorem , Proc. Amer. Math. Soc. 139:1 (2011), 93–98

    work page 2011

  25. [25]

    Faulkner, The role of nonassociative algebra in projective geometry , Graduate Studies in Mathematics,

    J.R. Faulkner, The role of nonassociative algebra in projective geometry , Graduate Studies in Mathematics,

    work page

  26. [26]

    xiv+229 pp

    American Mathematical Society, Providence, RI, 2014. xiv+229 pp

    work page 2014

  27. [27]

    Gagola, III; J.I

    S.M. Gagola, III; J.I. Hall, Lagrange’s theorem for Moufang loops , Acta Sci. Math. (Szeged) 71 (2005), no. 1-2, 45–64

    work page 2005

  28. [28]

    Gagola, III, How and why Moufang loops behave like groups , Quasigroups Related Systems 19:1 (2011), 1–22

    S.M. Gagola, III, How and why Moufang loops behave like groups , Quasigroups Related Systems 19:1 (2011), 1–22

    work page 2011

  29. [29]

    Ghinelli, F

    D. Ghinelli, F. Merola, Lenz–Barlotti classification and related open problems: an update , preprint, 2005

    work page 2005

  30. [30]

    Gleason, Finite Fano planes, Amer

    A.M. Gleason, Finite Fano planes, Amer. J. Math. 78 (1956), 797–807

    work page 1956

  31. [31]

    Grannell, T.S

    M.J. Grannell, T.S. Griggs, C.A. Whitehead, The resolution of the anti-Pasch conjecture , J. Combin. Des. 8:4 (2000), 300–309

    work page 2000

  32. [32]

    Grishkov, A.V

    A.N. Grishkov, A.V. Zavarnitsine, Lagrange’s theorem for Moufang loops, Math. Proc. Cambridge Philos. Soc. 139:1 (2005), 41–57

    work page 2005

  33. [33]

    Grishkov, A

    A. Grishkov, A. Zavarnitsine, Maximal subloops of finite simple Moufang loops , J. Algebra 302:2 (2006), 646–677

    work page 2006

  34. [34]

    Grishkov, A

    A. Grishkov, A. Zavarnitsine, Sylow’s theorem for Moufang loops , J. Algebra 321:7 (2009), 1813–1825

    work page 2009

  35. [35]

    Grishkov, A

    A. Grishkov, A. Zavarnitsine, Moufang loops with nonnormal commutative centre , Math. Proc. Cambridge Philos. Soc. 170:3 (2021), 609–614

    work page 2021

  36. [36]

    Grundh¨ ofer,The groups of projectivities of finite projective and affine planes , Eleventh British Combina- torial Conference (London, 1987)

    T. Grundh¨ ofer,The groups of projectivities of finite projective and affine planes , Eleventh British Combina- torial Conference (London, 1987). Ars Combin. 25 (1988), A, 269–275

    work page 1987

  37. [37]

    Hall, Projective planes, Trans

    M. Hall, Projective planes, Trans. Amer. Math. Soc. 54 (1943), 229–277

    work page 1943

  38. [38]

    Hall, On the order of Hall triple systems , J

    J.I. Hall, On the order of Hall triple systems , J. Combin. Theory Ser. A 29:2 (1980), 261–262. 779 780 BIBLIOGRAPHY

    work page 1980

  39. [39]

    Hall, Jr.; J.D

    M. Hall, Jr.; J.D. Swift, R.J. Walker, Uniqueness of the projective plane of order eight , Math. Tables Aids Comput. 10 (1956), 186–194

    work page 1956

  40. [40]

    Hering, Eine nicht-desarguessche zweifach transitive affine Ebene der Ordnung 27 , Abh

    C. Hering, Eine nicht-desarguessche zweifach transitive affine Ebene der Ordnung 27 , Abh. Math. Sem. Univ. Hamburg 34 (1970), 203–208

    work page 1970

  41. [41]

    Hering, W

    C. Hering, W. Kantor, On the Lenz–Barlotti classification of projective planes Arch. Math. (Basel) 22 (1971), 221–224

    work page 1971

  42. [42]

    H¨ older,Bildung zusammengesetzter Gruppen , Math

    O. H¨ older,Bildung zusammengesetzter Gruppen , Math. Ann. 46:3 (1895), 321–422

    work page

  43. [43]

    Horv´ ath,The bridge between Desargues’ and Pappus’ theorems , 2023, preprint (arxiv.org/abs/2305.08859)

    A.G. Horv´ ath,The bridge between Desargues’ and Pappus’ theorems , 2023, preprint (arxiv.org/abs/2305.08859)

    work page arXiv 2023

  44. [44]

    Johnson, V

    N.L. Johnson, V. Jha, M. Biliotti, Handbook of finite translation planes, Pure and Applied Mathematics (Boca Raton), 289. Chapman & Hall/CRC, Boca Raton, FL, 2007. xxii+861 pp

    work page 2007

  45. [45]

    Ilchuk, Moufang liners, Bachelor Thesis, Lviv, 2025

    O. Ilchuk, Moufang liners, Bachelor Thesis, Lviv, 2025

    work page 2025

  46. [46]

    Jha, N.L

    V. Jha, N.L. Johnson, Finite Doubly Transitive Affine Planes , Journal of Combinatorial Theory, Series A 83, (1998), 165–168

    work page 1998

  47. [47]

    J´ onsson,Transitivit¨ at und Homogenit¨ at projektiver Ebenen, (German) Math

    W. J´ onsson,Transitivit¨ at und Homogenit¨ at projektiver Ebenen, (German) Math. Z. 80 (1962/63), 269–292

    work page 1962

  48. [48]

    Kegel, H

    O. Kegel, H. L¨ uneburg,¨Uber die kleine Reidemeisterbedingung. II , Arch. Math. (Basel) 14 (1963), 7–10

    work page 1963

  49. [49]

    Kantor, Projective planes of type I − 4, Geometriae Dedicata 3 (1974), 335–346

    W. Kantor, Projective planes of type I − 4, Geometriae Dedicata 3 (1974), 335–346

    work page 1974

  50. [50]

    Kantor, M

    W. Kantor, M. Pankin, Commutativity in finite planes of type I − 4, Arch. Math. (Basel) 23 (1972), 544–547

    work page 1972

  51. [51]

    C.W.H. Lam, L. Thiel, S. Swiercz, The nonexistence of finite projective planes of order 10, Canad. J. Math. 41:6 (1989), 1117–1123

    work page 1989

  52. [52]

    Lenz, Kleiner Desarguesscher Satz und Dualit¨ at in projektiven Ebenen , Jber

    H. Lenz, Kleiner Desarguesscher Satz und Dualit¨ at in projektiven Ebenen , Jber. Deutsch. Math.-Verein. 57 (1954), Abt. 1, 20–31

    work page 1954

  53. [53]

    Levi, Groups in which the commutator operation satisfies certain algebraic conditions , J

    F.W. Levi, Groups in which the commutator operation satisfies certain algebraic conditions , J. Indian Math. Soc. 6 (1942), 87-97

    work page 1942

  54. [54]

    M. W. Liebeck, The classification of finite simple Moufang loops , Math. Proc. Camb. Phil. Soc. 102 (1987), 33–47

    work page 1987

  55. [55]

    L¨ uneburg,Endliche projecktive Ebenen von Lenz-Barlotti Typ I- 6, Abh

    H. L¨ uneburg,Endliche projecktive Ebenen von Lenz-Barlotti Typ I- 6, Abh. Math. Sem. Univ. Hamburg 27 (1964), 75–79

    work page 1964

  56. [56]

    Mac Lane, Categories for the Working Mathematician , Springer, 1978

    S. Mac Lane, Categories for the Working Mathematician , Springer, 1978

    work page 1978

  57. [57]

    Moorhouse, Projective planes of small order , (https://ericmoorhouse.org/pub/planes/)

    E. Moorhouse, Projective planes of small order , (https://ericmoorhouse.org/pub/planes/)

    work page

  58. [58]

    Moulton, A simple non-Desarguesian plane geometry , Trans

    F.R. Moulton, A simple non-Desarguesian plane geometry , Trans. Amer. Math. Soc. 3:2 (1902), 192–195

    work page 1902

  59. [59]

    M¨ uller, G.P

    P. M¨ uller, G.P. Nagy,A note on the group of projectivities of finite projective planes , Innov. Incidence Geom. 6/7 (2007/08), 291–294

    work page 2007

  60. [60]

    Ostrom, A

    T.G. Ostrom, A. Wagner, On projective and affine planes with transitive collineation groups , Math. Z. 71 (1959), 186–199

    work page 1959

  61. [61]

    Pickert, Eine Kennzeichnung desarguesscher Ebenen , Math

    G. Pickert, Eine Kennzeichnung desarguesscher Ebenen , Math. Z. 71 (1959), 99–108

    work page 1959

  62. [62]

    Pickert, Projektive Ebenen, Die Grundlehren der mathematischen Wissenschaften, Band 80

    G. Pickert, Projektive Ebenen, Die Grundlehren der mathematischen Wissenschaften, Band 80. Springer-Verlag, Berlin-New York, 1975. ix+371 pp

    work page 1975

  63. [63]

    Pflugfelder, Quasigroups and loops: introduction, Sigma Series in Pure Mathematics, 7

    H. Pflugfelder, Quasigroups and loops: introduction, Sigma Series in Pure Mathematics, 7. Heldermann Verlag, Berlin, 1990. viii+147 pp

    work page 1990

  64. [64]

    Pra˙ zmowska,A proof of the projective Desargues axiom in the Desarguesian affine plane , Demonstratio Math

    M. Pra˙ zmowska,A proof of the projective Desargues axiom in the Desarguesian affine plane , Demonstratio Math. 37:4 (2004), 921–924

    work page 2004

  65. [65]

    Pshyk, On Pappian and Desarguesian affine planes , Mat

    V. Pshyk, On Pappian and Desarguesian affine planes , Mat. Studi¨ ı. (submitted)

    work page

  66. [66]

    Ray-Chaudhuri, R.M

    D.K. Ray-Chaudhuri, R.M. Wilson, Solution of Kirkman’s schoolgirl problem , Combinatorics (Proc. Sympos. Pure Math., Vol. XIX, Univ. California, Los Angeles, Calif., 1968), pp. 187–203, Proc. Sympos. Pure Math., Vol. XIX, Amer. Math. Soc., Providence, RI, 1971

    work page 1968

  67. [67]

    Schafer, Alternative algebras over an arbitrary field , Bull

    R.D. Schafer, Alternative algebras over an arbitrary field , Bull. Amer. Math. Soc. 49 (1943), 549–555

    work page 1943

  68. [68]

    Skolem, Some remarks on the triple systems of Steiner , Math

    Th. Skolem, Some remarks on the triple systems of Steiner , Math. Scand. 6 (1958), 273–280

    work page 1958

  69. [69]

    L. A. Skornyakov, Projective planes, Uspehi Matem. Nauk (N.S.) 6 (1951), no. 6(46), 112–154

    work page 1951

  70. [70]

    Skygar, Fano liners, Bachelor Thesis, Lviv, 2025

    O. Skygar, Fano liners, Bachelor Thesis, Lviv, 2025

    work page 2025

  71. [71]

    Spencer, On the Lenz-Barlotti classification of projective planes, Quart

    J. Spencer, On the Lenz-Barlotti classification of projective planes, Quart. J. Math. Oxford Ser. (2) 11 (1960), 241–257

    work page 1960

  72. [72]

    Smith, Inclusions among diassociativity-related loop properties, (https://rangevoting.org/WarrenSmithPages/homepage/ipalt.pdf)

    W.D. Smith, Inclusions among diassociativity-related loop properties, (https://rangevoting.org/WarrenSmithPages/homepage/ipalt.pdf)

    work page

  73. [73]

    Yaqub, On projective planes of Lenz-Barlotti class I6, Math

    J. Yaqub, On projective planes of Lenz-Barlotti class I6, Math. Z. 95 (1967), 60–70

    work page 1967

  74. [74]

    Vojtˇ echovsk´ y, Finite simple Moufang loops , Ph

    P. Vojtˇ echovsk´ y, Finite simple Moufang loops , Ph. D. Thesis, Iowa State University, 2001 (https://cs.du.edu/∼petr/data/papers/finite simple Moufang loops.pdf)

    work page 2001

  75. [75]

    Wagner, Theorems about Reidemeister conditions , Geometry—von Staudt’s point of view (Proc

    A. Wagner, Theorems about Reidemeister conditions , Geometry—von Staudt’s point of view (Proc. NATO Adv. Study Inst., Bad Windsheim, 1980), pp. 249–273, NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., 70, Reidel, Dordrecht-Boston, Mass., 1981

    work page 1980

  76. [76]

    Wilker, Double loops and ternary rings , Bull

    P. Wilker, Double loops and ternary rings , Bull. Amer. Math. Soc. 70 (1964), 543–547

    work page 1964

  77. [77]

    Wilker, Doppelloops und Tern¨ ark¨ oper, Math

    P. Wilker, Doppelloops und Tern¨ ark¨ oper, Math. Ann. 159 (1965), 172–196. Notation Index (+◦), 557 (−), 512, 521, 523 (−/ /), 557 ( • ), 512, 521, 523, 553, 555 ( ◦ ), 512, 521, 523, 553, 555 ( |/ /), 557 ( | ), 553, 555 ( |◦), 557 ( ), 512, 521, 523 ( ), 521 (••), 557 (•◦), 557 (◦\), 557 (◦•), 557 (◦◦), 557 (◦∴), 557 (⊛), 553, 555 (⊛•), 557 (⊛◦), 557 (...

    work page 1965