Abstract
We define perpendicularity in an Abelian group G as a binary relation satisfying certain five axioms. Such a relation is maximal if it is not a subrelation of any other perpendicularity in G. A motivation for the study is that the poset (𝒫, ⊆) of all perpendicularities in G is a lattice if G has a unique maximal perpendicularity, and only a meet-semilattice if not. We study the cardinality of the set of maximal perpendicularities and, on the other hand, conditions on the existence of a unique maximal perpendicularity in the following cases: G ≅ ℤn, G is finite, G is finitely generated, and G = ℤ ⊕ ℤ ⊕ ⋯. A few such conditions are found and a few conjectured. In studying ℝn, we encounter perpendicularity in a vector space.
References
[1] F. Bachmann, Aufbau der Geometrie aus dem Spiegelungsbegriff (German), Springer, 1959 (2nd revised edition 1973).
[2] G. Davis, Rings with orthogonality relations, Bull. Austral. Math. Soc., 4 (1971), 163–178.
[3] G. Davis, Orthogonality relations on abelian groups, J. Austral. Math. Soc., 4 (1975), 173–179.
[4] P. Haukkanen, J. K. Merikoski, T. Tossavainen, Axiomatizing perpendicularity and parallelism, J. Geom. Graph., 15 (2011), 129–139.
[5] P. Haukkanen, M. Mattila, J. K. Merikoski, T. Tossavainen, Perpendicularity in an Abelian group, Internat. J. Math. Math. Sci., 2013, Art. ID 983607, 8 pp.
[6] W. K. Nicholson, Introduction to Abstract Algebra, Second Edition, John Wiley, 1999.
[7] A. I. Veksler, Linear spaces with disjoint elements and their conversion into vector lattices (Russian), Leningrad. Gos. Ped. Inst. Učen. Zap., 328 (1967), 19–43.
