EXERCISE SHEET 2 WITH SOLUTIONS

Similar documents
Exercises on chapter 1

1 Fields and vector spaces

6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.

The L 3 (4) near octagon

1 Chapter 6 - Exercise 1.8.cf

A note on cyclic semiregular subgroups of some 2-transitive permutation groups

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

Math 451, 01, Exam #2 Answer Key

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

EXERCISE SHEET 1 WITH SOLUTIONS

MA441: Algebraic Structures I. Lecture 26

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Tutorial on Groups of finite Morley rank

Groups and Symmetries

Simplicity of P SL n (F ) for n > 2

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

The alternating groups

Algebra Exercises in group theory

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

CONSEQUENCES OF THE SYLOW THEOREMS

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014

Character tables for some small groups

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

QUIVERS AND LATTICES.

Algebra SEP Solutions

A characterization of the Split Cayley Generalized Hexagon H(q) using one subhexagon of order (1, q)

THE TRANSITIVE AND CO TRANSITIVE BLOCKING SETS IN P 2 (F q )

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm

Math 594, HW2 - Solutions

5 Structure of 2-transitive groups

Math 256 (11) - Midterm Test 2

On a question of B.H. Neumann

Strongly regular graphs and the Higman-Sims group. Padraig Ó Catháin National University of Ireland, Galway. June 14, 2012

Groups and Representations

Math 121 Homework 5: Notes on Selected Problems

On the Moduli Space of Klein Four Covers of the Projective Line

9. Finite fields. 1. Uniqueness

Sylow 2-Subgroups of Solvable Q-Groups

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

The Outer Automorphism of S 6

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

Lax Embeddings of Generalized Quadrangles in Finite Projective Spaces

REU 2007 Discrete Math Lecture 2

VARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction

Primitive arcs in P G(2, q)

Semiregular automorphisms of vertex-transitive cubic graphs

School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet IV: Composition series and the Jordan Hölder Theorem (Solutions)

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

17 More Groups, Lagrange s Theorem and Direct Products

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Math 594. Solutions 5

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

UC Berkeley Summer Undergraduate Research Program 2015 July 9 Lecture

Finite Subgroups of Gl 2 (C) and Universal Deformation Rings

Math 249B. Geometric Bruhat decomposition

Arc-transitive pentavalent graphs of order 4pq

Partitions and permutations

Representation Theory

Solutions of exercise sheet 8

The fundamental theorem of projective geometry

Commensurability between once-punctured torus groups and once-punctured Klein bottle groups

PERFECT COMMUTING GRAPHS. 1. Introduction

Flag-Transitive Linear Spaces and Line Spreads of Projective Spaces. Michael Pauley

Generalised quadrangles with a group of automorphisms acting primitively on points and lines

Problem 4 (Wed Jan 29) Let G be a finite abelian group. Prove that the following are equivalent

Algebra Ph.D. Preliminary Exam

Codes from generalized hexagons

The maximal subgroups of the Baby Monster, I

1 Finite abelian groups

for all i = 1,..., k and we are done.

Presentations of Finite Simple Groups

COUNTING INVOLUTIONS. Michael Aschbacher, Ulrich Meierfrankenfeld, and Bernd Stellmacher

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

On certain Regular Maps with Automorphism group PSL(2, p) Martin Downs

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Abstract Algebra: Supplementary Lecture Notes

Two subgroups and semi-direct products

SF2729 GROUPS AND RINGS LECTURE NOTES

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Exterior powers and Clifford algebras

Problems in Linear Algebra and Representation Theory

QUALIFYING EXAM IN ALGEBRA August 2011

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

On splitting of the normalizer of a maximal torus in groups of Lie type

SOME DESIGNS AND CODES FROM L 2 (q) Communicated by Alireza Abdollahi

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

7 Semidirect product. Notes 7 Autumn Definition and properties

A connection between number theory and linear algebra

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Algebra-I, Fall Solutions to Midterm #1

On Projective Planes

Solutions to Example Sheet 1

B Sc MATHEMATICS ABSTRACT ALGEBRA

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

Transcription:

EXERCISE SHEET 2 WITH SOLUTIONS Some solutions are sketches only. If you want more details, ask me! (E35) Show that, for any prime power q, PG 2 (q) is an abstract projective plane. Answer. If < u > and < v > are distinct points in PG 2 (q), then they are both incident with the plane u, v, and with no other. Any two planes passing through the origin in a 3-dimensional vector space must intersect in a subspace of dimension at least 1 (otherwise we would have four linearly independent vectors). If the planes are distinct, then the intersection has dimension exactly 1 as required. PG 2 (q) contains a quadrangle given by the points (0, 0, 1), (0, 1, 0, (0, 0, 1) and (1, 1, 1), along with the lines with which they are incident. (E39) Prove that the action of ΓL(V ) on V is well-defined, and that ΓL(V ) acts as a set of collineations of PG(V ). Answer. Well-defined: Suppose that U = u 1,..., u k = v 1,..., v l. Then u 1 = l i=1 c i v i for some c i k. Now, if g ΓL(V ) with associated field automorphism σ, then We conclude that u g 1 = l c σ i v g i vg 1,..., v g l. i=1 langleu g 1,..., u g k vg 1,..., v g l. By symmetry, the reverse inclusion also holds, and our action is well-defined. Acts as collineation: We must show that incidence is preserved, i.e. that if U 1 < U 2 < V, then U g 1 < U g 2 < V for all g ΓL(V ). This is obvious. (E42) Prove that PGL n (R) : PSL n (R) = { 1, if n is odd; 2, if n is even. Answer. We note first that this question may have confused some at first because of our definitions: PGL n (R) = GL n (R)/K; PSL n (R) = SL n (R)/(K SL n (R)). Thus, as written PSL n (R) is not a subgroup of PGL n (R). However we can make use of the second isomorphism theorem of group theory to see an isomorphic copy 1

2 EXERCISE SHEET 2 WITH SOLUTIONS of PSL n (R) inside PGL n (R): PSL n (R) = SL n (R)/(K SL n (R) = KSL n (R)/K. In light of this remark the question reduces to calculating the index of KSL n (R) GL n (R). One must calculate the size of the set But clearly this set is equal to {det(g) g K}. {{α n α k } and this set is equal to k whenever n is odd, and equal to the set of positive numbers if k is even. Since the latter is an index 2 subgroup in k, the result follows. (E48) Prove that, for n 3, WAut(PG n (q)) contains Aut(PG n (q)) as an index 2 subgroup. Can you say any more about the structure of WAut(PG n (q))? Answer. Observe that, for 1 m, m n 3, we have [ n m ]q = [ n m ]q if and only if m {m, n m}. Thus spaces of dimension 1 are sent to spaces of dimension 1 or n 1. Suppose the former; now using Lemma 14 (2) we can see that spaces of dimension 2 must be sent to spaces of dimension 2, and so on. Thus weak automorphisms are either collineations or dualities. Now Proposition 16 implies that the set of dualities is a coset of the set of collineations inside the group of weak automorphisms, thus we conclude that WAut(PG n (q)); Aut(PG n (q)) = 2 as required. In fact one can prove that WAut(PG n 1 (q) = PΓL 2 (q) ι where See (E59) by way of comparison. ι : PSL n (q) PSL n (q), x x T. (E50) Prove that the action of PGL(V ) on Σ V is regular. Answer. We know that PGL(V ) acts transitively on Σ V, thus it is enough to show that the stabilizer in GL(V ) of a point of Σ V is the group K. Take the special tuple (e 1,..., e n, n i=1 +e i) where {e 1,..., e n } is a fixed basis for V. The stabilizer of the first n-entries of the tuple is clearly {diag(λ 1,..., λ n ) λ 1,..., λ n k}. Now the stabilizer in this group of n i=1 +e i is clearly the group K as required. (E51) Prove that PSL n (k) is 2-transitive on the points of PG n 1 (k). Prove, furthermore, that PSL n (k) is 3-transitive if and only if n = 2 and every element of k is a square. Answer. The first part was done in lectures. Now suppose that PSL n (k) is 3-transitive on points of PG n 1 (k). If n 3, then this would imply that PSL n (k) mapped a triple of vectors generating a 3-dimensional space to a triple of

EXERCISE SHEET 2 WITH SOLUTIONS 3 vectors generating a 2-dimensional vector space. This is a contradiction, hence we conclude that n = 2. In this case, let e 1, e 2 be a basis. 3-transitivity implies that the stabilizer of the pair ( e 1, e 2 ) is transitive on the remaining 1-subspaces. This stabilizer is equal to S = {diag(λ, λ 1 λ k}. Clearly the orbit of (1, 1) is equal to the set of 1-spaces (c, d) where c/d is a non-zero square. Thus we conclude that all non-zero elements of k are square and we are done. Conversely if n = 2 and every element of k is a square, then it is clear that S is transitive on all 1-subspaces apart from e 1 and e 2. The result follows. (E52) Let G = GL n (k) and ω Ω, the set of points of PG(V ). Then G ω = Q.GLn 1 (k) where Q is an abelian group isomorphic to the additive group (k n 1, +). Prove that the extension is split. Answer. Simply observe that G ω = QR, a product of two groups, with 0 G en = g := A. a k, 0 A GL n 1 (k),. a = 1 det(a) 0 0 a Since Q is normal in G ω and Q R = {1}, every element of G ω can be written in a unique way as a product of an element from Q and an element from R. The result follows (cf. the answer to (E33) which uses the same method). (E53) Prove that if n 3, then SL n (k) contains a unique conjugacy class of transvections. Prove that if n = 2, then SL n (k) contains one or two conjugacy classes of transvections. Can you characterise when SL n (k) contains two conjugacy classes, and describe how the subgroup Q intersects each class? (In particular you should show that each class has non-empty intersection with Q.) Answer. We proved in lectures that all transvections lie in SL n (k) and that they are all conjugate in GL n (k). Thus, given a transvection t, there is a matrix g GL n (k) such that 1 0 0 1 0 1 0 gtg 1. = t 0 :=...... 1 0 0 0 1

4 EXERCISE SHEET 2 WITH SOLUTIONS Now let n 3 and observe that, for a, b k, the matrix h := diag(a, b, 1,..., 1, a) centralizes t 0. Thus hgtg 1 h 1 = t 0 and det(hg) = a 2 b det(g). Now choose b = 1/(a 2 det(g)) and we have a matrix in SL n (q) conjugating t to t 0 as required. If n = 2, then the matrix h := diag(a, a) centralizes t 0. Thus hgtg 1 h 1 = t 0 and det(hg) = a 2 det(g). If every element of k is a square (e.g. if k is finite and char(k) = 2), then there is a choice of h for which det(hg) = 1, and there is one conjugacy class of transvections. On the other hand if there are elements of k which are non-squares (e.g. if k is finite and char(k) 2), then one cannot conjugate the following transvection to t: ( ) 1 c t 1 :=. 0 1 (Here c is a non-square in k.) On the other hand it is clear that every transvection can be conjugated to either t 0 or t 1, so the result follows. (E54) Let t be a transvection in SL n (k) with k 3. Prove that t is a commutator except when n = 2. Answer. See page 21 of Cameron s notes on Classical Groups. (E55) Show that the set of upper-triangular matrices with 1 s on the diagonal is a Sylow p-subgroup of GL n (q). Answer. Simply compare the order formula for GL n (q) given in Proposition 26 of lectures, with the order of the set of upper-triangular matrices (q 1 2 n(n 1) ). The result follows immediately. (E56) Prove that that the incidence structure defined in Proposition 27 is isomorphic to the Fano plane, and that the natural conjugation action of G on the conjugates of U and V respectively, induces an action on I. Answer. Here is a Sylow 2-subgroup of SL 2 (7): ( ) ( ) 1 1 0 1 S :=,. 1 2 1 0 The first matrix has order 8, the second has order 4. Their projective images in PSL 2 (7) have orders 4 and 2 respectively, and they generate a dihedral group of order 8. Since 8 divide PSL 2 (7) but 16 does not, this must be a Sylow 2-subgroup of PSL 2 (7). It is easy to check that a dihedral group of order 8 contains two Klein 4-groups that are not conjugate to each other. Next observe that the Klein 4-group U

EXERCISE SHEET 2 WITH SOLUTIONS 5 which is the projective image of ( ) ( ) 2 3 0 1, 3 5 1 0 is normalized by the projective image of ( ) 3 0 0 3 Thus, since U is normal in S, we get N G (U) 24. Thus N G (U) = 24 or 168, but the latter contradicts the simplicity of G, so we obtain that N G (U) = 24 and there are seven conjugates of U. A similar calculation implies that there are seven conjugates of the other Klein 4-group, V, in S, and that U and V are not conjugate. Now since both N G (U) and N G (V ) contain 3 Sylow 2-subgroups we conclude that each conjguate of U is incident to three conjugates of V, and vice-versa. The result follows easily. (E57) Prove that PSL 3 (4) = SL4 (2) = A 8, despite the fact that these groups have the same orders. Answer. Recall that an involution in a group is an element of order 2. It is easy to see that A 8 has two conjugacy classes of involutions - one whose elements fix four points, one whose elements fix zero points. We will prove that PSL 3 (4) has a single conjugacy class of involutions and the result will follow. Since every involution lies in a Sylow 2-subgroup, all of which are conjugate, we need only show that all involutions in any given Sylow 2-subgroup are conjugate to each other. By (a variant of) (E55) we choose the Sylow 2-subgroup equal to upper-triangular matrices and observe that involutions have the following form: 1 a b 0 1 0 or 1 0 a 0 1 b, 0 0 1 0 0 1 where a, b k. Now involutions of the first kind are all conjugate to each other, because we can choose a conjugating matrix in the group {( ) A a 0 GL2 (q), a = 1/ det(a)} 0 A which does the trick. A similar argument shows that all involutions of the second kind are conjugate to each other. Since the two kinds overlap we are done. (E59) Prove that Aut(PSL n (q)) { PΓL2 (q), if n = 2; PΓL 2 (q) ι, if n 3. Hint: you need to study the natural action of, say, PΓL n (q) on its normal subgroup PSL n (q).

6 EXERCISE SHEET 2 WITH SOLUTIONS Answer. Let K be the unique normal subgroup of G = PΓL n (q) (resp. G = PΓL 2 (q) ι ) that is isomorphic to PSL n (q). To prove the result it is sufficient to show that C G (K) = {1}. Warning: In what follows I consider centralizers of matrices (i.e. elements of SL n (q)) rather than their images in PSL n (q). One needs to be a little careful about how you do this, as the centralizers of their images can be larger. I will skim these details though - if you want me to explain more, please ask. Consider the set of matrices in SL n (q) whose entries are in the prime field F p. This is a subgroup isomorphic to SL n (p). The centralizer in PGL n (q) of the projective image of this subgroup in PΓL n (q) can easily shown to equal Aut(F q ). But now any (projective image of a) matrix with elements outside all proper subfields of F q will have trivial centralizer in Aut(F q ). Thus we conclude that C PΓLn(q)(PSL n (q)) is trivial. This proves the result for n = 2. For n 3, it implies that C G (K) has size at most 2 (since if it was larger it would intersect PΓL n (q) non-trivially). Now suppose that k is odd and let g = diag(1, 1,..., 1, a, a 1 ) Then g ι = diag(1, 1,..., 1, a 1, a) Since k is odd, one can choose a such that a 1 a px for any x N and thus g and g ι are conjugate in PΓL n (q) only by matrices of the form A 0 0 0 0 a 0 b 0 where A GL n 2 (q) and a, b k. Choosing variations on g where the a and a 1 are in different positions on the diagonal, one quickly concludes that no element of PΓL n (q) simultaneously conjugates all such g s to g ι. This implies that any element in G centralizing g must lie in PΓL n (q), and we conclude that C G (g). We leave the case when k is even as an(other) exercise.