A groupoid of the ternary ring of a projective plane (Q1180127): Difference between revisions

Let \(\pi\) be a projective plane coordinatized by the set \(R\) and let \(I\) be the incidence relation. In the standard notation: \((x,y)I[m,k] \Leftrightarrow F(x,m,k)=y\) where \(F\) is a ternary operation on \(R\). The authors define the new operation \(\forall a,b\in R \) \(a\circ b=F(a,b,1)\) and consider the connection between some configurational properties of a projective plane and some properties of the operation \(\circ\). For example: In Theorem 1 the authors prove that the algebraic identity \(\forall a \) \(a\circ 1=1\circ a\) is equivalent to a restricted form of the little Desargues proposition. In Theorem 2 is established that in any projective plane \(\pi\) the proposition of Pappus holds iff \(\forall a,b\in R \) \(a\circ b=b\circ a\).