Linear Geometry: flats, ranks, regularity, parallelity

T. Banakh; I. Hetman; V. Pshyk; A. Ravsky

doi:10.30970/ms.65.1.74-96

T. Banakh Ivan Franko National University of Lviv
I. Hetman Lviv
V. Pshyk Ivan Franko National University of Lviv, Lviv, Ukraine
A. Ravsky Ya. Pidstryhach Institute for Applied Problems of Mechanics and Matematics, Lviv (Ukraine);

DOI: https://doi.org/10.30970/ms.65.1.74-96

Keywords: liner, flat, flat hull, ranks, modularity, parallelity

Abstract

Linear geometry describes geometric properties that depend on the fundamental concept of a line. In this article, we survey the main concepts and results of linear geometry that depend on the flat hulls: flats, exchange, rank, regularity, modularity, and parallelity.
The article is the first in a series of reviews of linear geometry, the branch of geometry that studies geometric properties that depend only on lines, scheduled for publication in the journal Matematychni Studii. Linear geometry emerged as a separate branch of geometry in the 20th century. We present the main ideas and results of linear geometry using Bourbaki’s approach to mathematics as a science that studies mathematical structures, in particular, such a fundamental mathematical structure of linear geometry as the structure of a liner.

References

T. Banakh, Linear Geometry and Algebra, preprint (2025), https://doi.org/10.48550/arXiv.2506.14060

T. Banakh, I. Hetman, A. Ravsky, Steiner systems S(2, 6, 226) and S(2, 6, 441) exist, Designs, Codes, and Cryptography, submitted (2026). https://doi.org/10.48550/arXiv.2511.05191

S. Barwick, G. Ebert, Unitals in projective planes, Springer Monographs in Mathematics, Springer, New York, 2008. xii+193 pp.

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

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

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

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

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

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

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

Euclid. The Elements: Books I–XIII, Translated by Thomas L. Heath. Edited by Dana Densmore. Santa Fe, NM: Green Lion Press, 2002.

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

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

M. Hall, Jr. Automorphisms of Steiner triple systems, IBM J. Res. Develop., 4 (1960), 460–472.

S.K. Houghten, L.H. Thiel, J. Janssen, C.W. Lam, There is no (46, 6, 1) block design, J. Combin. Des., 9 (2001), no.1, 60–71.

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

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

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

Pure Math., Vol. XIX, Amer. Math. Soc., Providence, RI, 1971.

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

R.M. Wilson, An existence theory for pairwise balanced designs, I. Composition theorems and morphisms, J. Combinatorial Theory Ser. A, 13 (1972), 220–245.

R.M. Wilson, An existence theory for pairwise balanced designs. II. The structure of PBD-closed sets and the existence conjectures, J. Combinatorial Theory Ser. A, 13 (1972), 246–273.

R.M. Wilson, An existence theory for pairwise balanced designs. III. Proof of the existence conjectures, J. Combinatorial Theory Ser. A, 18 (1975), 71–79.