No label defined (Q4390700)

From the author's extended abstract: A \(t\)-\((v,k,\lambda)\) design is a pair \((X,{\mathcal B})\) where: \(X\) is a \(v\)-element set of points; \({\mathcal B}\) is a family of \(k\)-element subsets of \(X\), called blocks; and every \(t\)-element subset \(T\) of \(X\) is contained in exactly \(\lambda\) blocks. It is said to be simple if all the members of \({\mathcal B}\) are distinct. For example a 2-(7, 3, 1) design \((X,{\mathcal B})\) is given by: \[ X= \{0,1,2,3,4,5,6\}\quad\text{and}\quad {\mathcal B}= \{130, 124, 235, 346, 450, 156, 260\}. \] This design is also called the Fano plane. It is unique up to isomorphism and has the 2-homogeneous group \(\text{PSL}(2,7)\) generated by \((0,1,2,3,6,5,4)\) and \((1,2)(3,6)\) as an automorphism group. Let \(\alpha\) be a permutation on \(X\). Then if \(x\in X\) we denote the image of \(x\) under \(\alpha\) by \(x^\alpha\). Furthermore, the image of \(B\subseteq X\) under \(\alpha\) is \(B^\alpha= \{x^\alpha: x\in B\}\). A subgroup \(G\) of \(\text{Sym}(X)\), the symmetric group, is an automorphism group of the \(t\)-design \((X,{\mathcal B})\) if \(B^\alpha= \{x^\alpha: x\in B\}\in{\mathcal B}\) for every block \(B\in{\mathcal B}\) and \(\alpha\in G\). If the design has no other automorphisms, then \(G\) is said to be the full automorphism group.