A groupoid connecting the two groupoids \((R,+)\) and \((R,\ast)\) associated with the ternary ring of a projective plane (Q1411542)

Given a projective plane \(\pi\) and a coordinatizing ternary field \(R\) the author defines a binary operation \(\wedge\) on \(R\) as the uniquely defined solution \(y\) of \(a+b = a\cdot b + y\) or, equivalently, in geometric terms, the unique intersection between the line \((1) \vee (a+b,a\cdot b)\) and the coordinate axis \([0]\) (check this!). The binary system \((R,\wedge)\) turns out to be a groupoid, which is not a quasigroup. In fact, \((R\setminus{0},\wedge)\) also fails to be a quasigroup. The author gives geometric interpretations of the algebraic properties \(a \wedge b = 0\) and \(a \wedge b = 1\) for any \(a,b \in R\setminus\{0,1\}\). Special cases of minor propositions of Desargues and Pappus are translated into \(1 \wedge a = 1\) (for any \(a\neq 0,1\)) and into \(a \wedge b = 1\) (for any \(a,b\neq 0,1\)), respectively. Several more configurations [see p. 330 of \textit{M. W. Al-Dhahir} and \textit{K. Ghalieh}, Geom. Dedicata 42, 329--344 (1992; Zbl 0759.51002)] turn out to have nice and simple representations within \((R,\wedge)\) as well.