On the set of n2+ n + 1 points of a projective plane, a set of ta2 + n -I-1 permutations is constructed with the property that any two are a Hamming distance 2n + 1 apart. Another set is constructed in which every pak are a Hamming distance not greater than 2n + 1 apart. Both sets are maximal with r
Doubly transitive sets of permutations characterising projective planes
β Scribed by R. P. Burn
- Publisher
- Springer
- Year
- 1973
- Tongue
- English
- Weight
- 295 KB
- Volume
- 2
- Category
- Article
- ISSN
- 0046-5755
No coin nor oath required. For personal study only.
β¦ Synopsis
If U and V are distinct points of a projective plane and I is a line not through U or V, then to each/, there corresponds a unique mapping, 2, of the pencil of lines through U onto the pencil through V such that for any line u, U su, u c~ u2 eL if a set R is used to label the lines through U, and the same set is used to label the lines through V, omitting in each case the line UV, then 2 induces a permutation on R.
Witt [8] was the first to use the permutations, 2, to investigate projective planes, using them to establish the uniqueness of the planes of small order.
Hall [2] proved that the set S of all permutations 2 satisfies (i) S is doubly transitive on R, (ii) if ~, fl e S, ~ # fl, then c~fl-1 stabilises at most one element of R, (iii) if x, y ~R and ~sS such that x~ #y, there exists a unique fl with xfl=y and ~fl-1 stabilises nothing.
Conversely, Hall showed that these conditions were sufficient to ensure that the set S was the set of perspectivities of the type we have described for some plane. Under the further assumption that 1 ~S, Hall showed that S is a group if and only ifR is a near-field under the ternary operation.
Havel [3] has characterised those S which make R a quasi-field with one inverse property.
π SIMILAR VOLUMES
Let be a projective plane of odd order n containing an oval β. We give a classification of collineation groups of which fix β and act transitively on the set I I of all internal points of β.
Let \(\Pi^{*}\) be a projective plane of order \(n^{2}\) having a Baer subplane \(\Pi\), and let \(C\) be the code of \(\Pi^{*}\) over a prime field \(\mathbf{F}_{p}\), where \(p\) divides \(n\). If \(\Pi\) contains a set \(\mathscr{H}\) of type \((s, t)\), then it is shown that the incidence vector