Partitioning linear spaces into complete quadrilaterals and \(n\)-gons (Q1339778): Difference between revisions

The authors are considering finite incidence spaces \((P,{\mathfrak L})\) such that \(| L | = 4\) for all \(L \in {\mathfrak L}\). A triple \((L_ 1,L_ 2,L_ 3) \in {\mathfrak L}^ 3\) is called a triangle if \(L_ 1 \cap L_ 2 \cap L_ 3 = \emptyset\) and \(L_ i \cap L_ j \neq \emptyset\) for \(i,j \in \{1,2,3\}\). A quadruple \((L_ 1,L_ 2,L_ 3,L_ 4) \in {\mathfrak L}^ 4\) is called a complete quadrilateral resp. a 4-gon if \(\forall\{i,j,k\} \subset \{1,2,3,4\}\), \(|\{i,j,k\}| = 3 : L_ i \cap L_ j \neq \emptyset\) and \(L_ i \cap L_ j \cap L_ k=\emptyset\) resp. \(L_ 1 \cap L_ 2\), \(L_ 2 \cap L_ 3\), \(L_ 3 \cap L_ 4\), \(L_ 4 \cap L_ 1 \neq \emptyset\) and \(L_ 1 \cap L_ 3 = L_ 2 \cap L_ 4 = \emptyset\). The authors prove: There exists a finite incidence space \((P,{\mathfrak L})\) with \(v := | P|\) and \(| L| = 4\) for \(L \in {\mathfrak L}\) in which \(\mathfrak L\) can be partitioned into a) complete quadrilaterals \(\Leftrightarrow v \equiv 1\) or \(16\pmod {48}\), b) 4-gons \(\Leftrightarrow v \equiv 1\) or \(16 \pmod {48}\), c) triangles \(\Leftrightarrow v \equiv 1 \pmod {36}\).