Configurational axioms derived from Möbius configurations (Q313409)

The authors recall fundamental concepts and results from [the first author, ``On some generalization of the Möbius configuration'', Preprint] a paper already submitted, but not published up till now. The isomorphism types of two mutually inscribed and circumscribed \(n\)-simplices of an \((n-1)\)-space correspond to the conjugacy classes in the permutation group \(S_n\). A \textit{generalized Möbius configuration} \({\mathcal M}_{(\varphi)}\), \(\varphi\in\,S_n\), consists of two \(2n\)-element sets \(X=\{a_1,\dots,a_n,b_1,\dots,b_n\}\) and \(\mathcal{B}=\{A_1,\dots,A_n,B_1,\dots,B_n\}\) together with the incidence \(I\subset\,X\times \mathcal{B}\) satisfying the following conditions: \begin{itemize} \item[(1)] \(a_iIA_j\Leftrightarrow\,i\not=j,\) \item[(2)] \(b_iIB_j\Leftrightarrow\,i\not=j,\) \item[(3)] \(b_iIA_j\Leftrightarrow\,i=j,\) \item[(4)] \(a_iIB_j\Leftrightarrow\,i=\varphi(j).\) \end{itemize} To each configuration \({\mathcal M}_{(\varphi)}\) in a projective \((n-1)\)-space \(\Pi\) one can associate a so called ``configurational axiom'', which is a statement of the subsequent form: if a (non-degenerate) system of points and hyperplanes in \(\Pi\) satisfies all the positive conditions among (1)--(4) except possibly exactly one, then this last condition must be also valid. ``\dots one must, generally, take into account \textit{which} of the conditions\dots is to be considered as the conclusion.''\dots ``And there grows a huge family of `axioms' associated with one configuration.'' As example the authors consider a projective \(3\)-space \(\Pi_3\) and discuss the axioms associated with \({\mathcal M}_{((13)(24))}\). In essential, two axioms \(M_1'\) and \(M_1''\) are associated with \({\mathcal M}_{((13)(24))}\). Analytically they prove: \(\Pi_3\) satisfies \(M_1'\) iff \(\,\Pi_3\) is Pappian. Finally, it is shown synthetically: \(\Pi_3\) satisfies \(M_1'\) iff \(\,\Pi_3\) satisfies \(M_1''\).