Finite Euclidean and Non-Euclidean Geometries (1909.02673v1)

Abstract: The purpose of this book is to give an exposition of geometry, from a point of view which complements Klein's Erlangen program. The emphasis is on extending the classical Euclidean geometry to the finite case, but it goes beyond that. After a brief introduction, which gives the main theme, I present the main results, according to a synthetic view of the subject, rather that chronologically. First, I give some variation on the axiomatic treatment of projective geometry, followed by new results on quaternionian geometry, followed by results in geometry over the reals which are generalized over arbitrary fields, then those which depend on properties of finite fields. I then present results in finite mechanics. The role of the computer, which was essential for these inquiries, is briefly surveyed. The methodology to obtain illustrations by drawings is described. I end with a table which enumerates enclosed additional material.