Collineation Groups of Projective. Planes and Spaces
Total Page:16
File Type:pdf, Size:1020Kb
1. COLLINEATION GROUPS OF PROJECTIVE. PLANES AND SPACES ......193221==1.1===11111 by FREDERICK CHARLES PIPER A Thesis submitted for the degree of Doctor of Philosophy in the University of London. IMPERIAL COLLEGE November, 1964 2 ABSTRACT We begin this thesis by answering the following questions. If EP is a finite projective plane and if-frs -i a collineation group of c3 such that - (i) FT- contains some elations of QP (ii)a line of P is the axis of elations inl-F- for more than one centre (iii)-rT - does not fix a point or line of then (a) what can be said about -FT ? (b) what configurations may be formed by the centres and the axes of these elations? We then use our answers to prove that if every flag of q) is fixed by an elation in-1T, then R is desarguesian, and either (i)11- contains the little projective group of @ , or, (ii) 3 6 the order of (3 is four andiT A or s6° In § 5 we show that if every point of is the centre of a homology in "TT and if no point or line of P is fixed by -TT- then (P is desarguesian, and Tr- contains the little projective group of CP . It is then shown that if the order of CP is not a square, then the same conclusions hold if we assume that every point is the centre of a perspectivity in IT Finally, in § 6, some of the results about elations in planes are extended to spaces of higher dimension. We prove the following; "Let Hk be a finite projective space of odd order and of 3 dimension k, whore k>21 and letTIbe a collineation group of Hi with the following properties contains some elations of Hk (ii) a hyparplane of Hk is the axis of elations in Tr for more than_ one centre (iii) no subspace of Hk is left fixed byll— thenTr contains the little projective group of Hk.H Also submitted as part of the thesis is a published note about elations in finite projective planes. 4. ACKNOWLEDGMEN'IS While preparing this Thesis I was helped by talks with Dr. P. Dembowski, Dr. D. H. Hughes and Dr. P. J. Higgins. I wish to thank them for their assistance, and to thank Dr. Higgins for acting as my supervisor while Dr. Wagner waa in America. Special thanks are due to my supervisor, Dr. A. Wagner, for the many hours spent in discussions, and for his endless supply of ideas, encouragement and criticisms. 5 CONTENTS 1. Definitions and basic concepts 00000 00 .. 00001000 6. 2. Intr oduction .. 0 0 00 000 o00 trao0c000000.00600 a0000 15. 3. Preliminary results ............. 000000000 00000• 22. 4. On elations of finite projective planes . 0 27. 5. Perspectivities of finite projective planes 55. 6. Elation of finite projective spaces of odd order 65. 7. References •00•000000000 . 000000 00000000 000 00000. 72. 8. Notation and definition of 'connected set' 75. X4RATA (see pages 68 & 69) Lemma 22 should be read before Lemma 21. The first two lines of the proof of Lemma 23. must be deleted, and should be replaced by "Let P and R be any two centres. By lemma 22, P has an axis, Hki say, such that 14 Hic.a. Let Sk bei an axis of R, let Q be any other centre of Rk.-i and let e- PQ." The rest of the proof of lemma 21 is correct. 6. 1. DEFINITIONS AND BASIC CONCEPTS 1.1 Projective Planes We define a projective plane as a set 6), the elements of which we call points, together with. a system of subsets of 6', which we call lines, satisfying the following three axioms:- 1. Given any two distinct points, there exists a unique line containing these points. 2. Given any two distinct lines, there exists a unique point contained in both these lines, 3. There exist four points such that no three of them are contained in one line. Throughout this thesis we shall use the following notation. Gothic upper case letters, e.g. CD , will be used for planes, sets of points and sets of lines. Roman upper case letters will be used for points and Roman lower case letters will be used for lines. If P and Q are any two distinct points and if e is the unique line containing them, we shall write e = K. If t.„1") and m are any two distinct lines and if 0 is the unique point contained in both of them, we shall write 0 = _e Ara. If P is any point and if (iis any line, we shall express that fact that P is contained in e_ by writing PE-2. If P is not contained in Ci , we shall write P,i..e.or, alternatively, PE 6) Q. If a projective plane contains only a finite number of points 7. the plane is said to be finite (Finite planes were first studied by Veblen and Bussey NI). It is easily proved that, for any finite projective plane 6), there exists a positive integer n such that CO every line of U' contains n + 1 points and (Li.) every point of 6P is on n 1 lines. This number is called the order of the plane. Simple counting shows that a finite projective plane of order n contains 2%1.n-a points and ii+n+1 lines. Any subset,, of the points of 6) which satisfies the axioms of a projective plane is said to be a subplane of 6). If every /n/ point of tr is on at least one lino of P, then O'is called a square-root subplane. This name arises from the fact that if 6? is, a finite projective plane of order n and if Oi ls a square-root subplane of 9, then n is a square and the order of V is If Pis a finite projective plane of oven (odd) order n, then a sot of n+2, (11-1), points such that no three are collinear is called an oval. (Ovals have bean extensively studied by s°gre [20, ?3)., An incident point-line pair is called a flag. Mappings of projective planes on to themselves play an important part in the theory of projective planes. Of particularimportance are the collineations. We define a collineation of a projective plane Pas a one-to-one mapping of the points of eon to the points of(dand of the linos ofe on. to the lines of Fsuch that incidence is preserved i.e. such that a point is on a line if, and only if, the image point is on the image lino. The mapping which results from the carrying out of two successive collineations is again a collineation. Defining the product of two collinoations as the collineation obtained by 8. successively performing them, it is readily seen that the set of all collineations of a projective plane form a multiplicative group. We call this group the full collinoation groat of the plane. Any subset of collineations which form a subgroup of the full collineation group is called a collineation group. Throughout this thesis we shall use Greek upper case letters to denote groups, particularly collineation groups, and. Greek lower case letters to denote elements of groups, particularly collineations. The one exception being that we shall denote the identity element of any group by I. The image of a point P under a collineation e4. will be written as Pa._ . Consequently Q0 is the collineation obtained by first performing 0: and then . cx, If a collinoation leaves fixed every point of some line, A -say, then 0( is. called a perspectivity. Baer DJ has shown that, if oCS, of...must also fix all the lines through some point, P say, and that can fix no other points or lines. The line e. is called the axis of the perspectivity and the point P is called its centre. We express the fact that P is the centre of 0( and that is its axis by calling c3( a (P,e)-perspectivity. If P£'€-WO call the perspectivity an. elation, and if it is called a homology. Unless indications are given to the contrary, we shall use the term elation (homology) to mean an elation (homology) other than the identity. The collinoation group generated by all the Elation of a desargues.ian plane 9 is called the little Projective gro..i.pt of Perspectivities assume a major role in the theory of projective planes. Their importance is due to their connection with the 9. Desargues configuration; a connection which was systematically studied by Baer [43. Two triangles ABC, A/ BI C/are said to be in perspective from 0 if OA = 0/11 , OB = OB' and OC = OCR . They are said to be in perspective from e if e /1AB = e Apb," BC = e A 131 CI and ACA = -e, /A/ It has been shown by Ostrom D13 that every, finite projective plane contains a. pair of triangles which are in. perspective from both a point and a line. A projective plane 63 will be called (P e)-desarguesian if, for every two triangles in perspective from the fixed point P and such that two pairs of corresponding sides intersect on the, fixed line 'e./.1 the intersection of the third pair of corresponding sides also lies on. e./. A projective plane will be said to be IL' t)- transitive if, for the fixed point P and the fixod line e-and any pair of points A, B where .A.,Bt Q, AfP, B P, PA=PB, there exists a (P, )-perspectivity 01C;Ith A etC =B.