Transformation systems for incidence structures (Q1294063)

Let \(t\) be a finite number and \(k\) a cardinal number. A \((t,k)\)-structure is an incidence structure \(\mathcal S = (P,\mathfrak B, \text{ I})\) such that each block contains \(k\) points, and any \(t\) distinct points \(p_1,\dots,p_t\) are incident with a unique block \(\langle p_1,\dots,p_t\rangle \in \mathfrak B\). If \(\mathfrak F \subset \mathfrak B\) and \(\varphi\) is a permutation of \(P\), then \((\mathfrak F,\varphi)\) is called a transformation system if \(\langle p_1,\dots,p_t\rangle \in \mathfrak F \Leftrightarrow \langle p_1^\varphi,\dots,p_t^\varphi\rangle\in\mathfrak F\). Whenever this condition is satisfied, a new incidence structure can be defined by applying \(\varphi\) to the blocks in \(\mathfrak F\) and leaving incidence unchanged for all blocks not in \(\mathfrak F\). Starting with a permutation \(\varphi\), an admissible set \(\mathfrak F =\mathfrak F_\varphi\) can be generated successively. In the second half of the paper, this method is applied to obtain the finite André planes by means of a suitable permutation and a minimal set of lines from Desarguesian planes.