Deduce from (i) that V = W Ker(Q) and therefore U = Ker(Q) has the desired property. Solution: (i) If w W, then ρ(g)(w) W and hence P ρ(g)(w) =

Similar documents
Representations. 1 Basic definitions

Math 594. Solutions 5

Math 121 Homework 4: Notes on Selected Problems

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

Review of Linear Algebra

0.2 Vector spaces. J.A.Beachy 1

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra

Topics in Algebra. Dorottya Sziráki Gergő Nemes Mohamed Khaled

REPRESENTATION THEORY FOR FINITE GROUPS

Representation Theory. Ricky Roy Math 434 University of Puget Sound

(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for

Chapter 2 Linear Transformations

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

PMATH 745: REPRESENTATION THEORY OF FINITE GROUPS

x i e i ) + Q(x n e n ) + ( i<n c ij x i x j

2: LINEAR TRANSFORMATIONS AND MATRICES

Math 113 Midterm Exam Solutions

Test 1 Review Problems Spring 2015

Group Representation Theory

Representation Theory

M3/4/5P12 GROUP REPRESENTATION THEORY

A basic note on group representations and Schur s lemma

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Math 250: Higher Algebra Representations of finite groups

NOTES ON FINITE FIELDS

LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS

Algebras. Chapter Definition

Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

Structure of rings. Chapter Algebras

We simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =

Definition Suppose S R n, V R m are subspaces. A map U : S V is linear if

INVERSE LIMITS AND PROFINITE GROUPS

A Little Beyond: Linear Algebra

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Linear Algebra Notes. Lecture Notes, University of Toronto, Fall 2016

V (v i + W i ) (v i + W i ) is path-connected and hence is connected.

1 Invariant subspaces

Math 210C. The representation ring

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.

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

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Rings and groups. Ya. Sysak

Some notes on linear algebra

The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)

Solutions to the August 2008 Qualifying Examination

GROUP REPRESENTATION THEORY, IMPERIAL 09.

The definition of a vector space (V, +, )

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

REPRESENTATION THEORY, LECTURE 0. BASICS

Parameterizing orbits in flag varieties

1 Fields and vector spaces

Lecture Summaries for Linear Algebra M51A

Pacific Journal of Mathematics

Representation Theory

INFINITE-DIMENSIONAL DIAGONALIZATION AND SEMISIMPLICITY

Groups of Prime Power Order with Derived Subgroup of Prime Order

Lecture 29: Free modules, finite generation, and bases for vector spaces

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

Math 113 Winter 2013 Prof. Church Midterm Solutions

First we introduce the sets that are going to serve as the generalizations of the scalars.

SOME ELEMENTARY RESULTS IN REPRESENTATION THEORY

THE REPRESENTATIONS OF THE SYMMETRIC GROUP. Contents

A Do It Yourself Guide to Linear Algebra

Math 145. Codimension

Lemma 1.3. The element [X, X] is nonzero.

Math 414: Linear Algebra II, Fall 2015 Final Exam

A PROOF OF BURNSIDE S p a q b THEOREM

Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams

Algebra Exam Topics. Updated August 2017

Bulletin of the Iranian Mathematical Society

Definition 3 A Hamel basis (often just called a basis) of a vector space X is a linearly independent set of vectors in X that spans X.

2. Introduction to commutative rings (continued)

Math 512 Syllabus Spring 2017, LIU Post

Some notes on Coxeter groups

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

The Cayley-Hamilton Theorem and the Jordan Decomposition

LINEAR ALGEBRA REVIEW

Additional notes on group representations Hjalmar Rosengren, 30 September 2015

Bare-bones outline of eigenvalue theory and the Jordan canonical form

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS

CLIFFORD ALGEBRAS AND DIRAC OPERATORS

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

Linear and Bilinear Algebra (2WF04) Jan Draisma

Homework 5 M 373K Mark Lindberg and Travis Schedler

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

MATH 326: RINGS AND MODULES STEFAN GILLE

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

Topics in Module Theory

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

Formal power series rings, inverse limits, and I-adic completions of rings

Finite Group Representations. for the. Pure Mathematician

Transcription:

Solutions to Homework #6 1. The goal of this problem is to prove the general case of Maschke s Theorem: If G is a finite group and F is any field with char(f ), then any representation of G over F is completely reducible. The key part of the proof is the following lemma. Lemma: Let G and F be as above, (ρ, V ) a representation of G over F and W a G-invariant subspace. Then there exists a G-invariant subspace U such that V = W U. Maschke s theorem follows immediately by repeated applications of this lemma (or by induction on dim V ). To prove the lemma, consider the following maps. Choose any subspace Z of V such that V = W Z and let P : V W be the projection onto W along Z, that is, P is the unique linear map such that P (w) = w for all w W and P (Z) = 0. Now define Q : V V by Prove that Q(v) = 1 ρ(g) 1 P ρ(g)(v). (i) Q(w) = w for all w W and Im(Q) = W. Deduce that Q 2 = Q. (ii) Ker(Q) is G-invariant Deduce from (i) that V = W Ker(Q) and therefore U = Ker(Q) has the desired property. Solution: (i) If w W, then ρ(g)(w) W and hence P ρ(g)(w) = P (ρ(g)(w)) = ρ(g)(w). Thus Q(v) = 1 ρ(g) 1 ρ(g)(w) = w = w. Since Q(w) = w for all w W, we must have W Im(Q). On the other hand, for every v V we have P ρ(g)(v) W (since Im(P ) = W ) and hence ρ(g) 1 P ρ(g)(v) W (since W is ρ(g) 1 -invariant). Thus, Q(v) W and hence Im(Q) W. Thus we proved that Im(Q) = W. Finally, the equality Q 2 = Q is equivalent to saying that Q restricted to its image is the identity mapping. The latter follows immediately from the first two assertions of (i). 1

(ii) It is not hard to check G-invariance of Ker(Q) directly. We will give a more conceptual argument by showing that Q : V V is a homomorphism of representations (from (ρ, V ) to (ρ, V )). Once this is done, we simply deduce that Ker(Q) is G-invariant from Lemma 13.4. Take any h G. Then ρ(h) 1 Qρ(h) = ρ(h) 1 1 ρ(g) 1 P ρ(g)ρ(h) = 1 ρ(h) 1 ρ(g) 1 P ρ(g)ρ(h) = 1 ρ(gh) 1 P ρ(gh) (where the last step holds since ρ is a homomorphism). Since the map g gh is a bijection from G to G, the last expression is equal to Q itself. Thus, ρ(h) 1 Qρ(h) = Q or, equivalently, Qρ(h) = ρ(h)q for all h G, that is, Q is a homomorphism of representations. Finally, we explain why V = W Ker(Q). Indeed, since Q restricted to its image is the identity mapping, we must have Ker(Q) Im(Q) = 0. And since dim Ker(Q) + dim Im(Q) = dim V by the rank-nullity theorem, we deduce that V = Im(Q) Ker(Q) = W Ker(Q). Thus, U = Ker(Q) is a G-invariant complement of W we were looking for. Remark: Recall that in this class we restrict ourselves to representations on finite-dimensional spaces. However, the statement of Maschke s theorem remains true even if we allow V to be infinite-dimensional. The proof given above needs to be modified in two places. First, one can no longer deduce Maschke s theorem from Lemma by induction (or iterated applications of Lemma). Instead one needs to use something called Zorn s Lemma. Second, in the last step of the proof we cannot apply rank-nullity theorem. This step is easy to modify, as we can deduce that Im(Q) + Ker(Q) = V directly from Q 2 = Q. Indeed, for every v V we have v = Qv + (v Qv), and Qv Im(Q) while v Qv Ker(Q) since Q(v Qv) = Qv Q 2 v = 0. 2. Given a vector space V, let End(V ) = Hom(V, V ) (we previously denoted this set by L(V )). Elements of End(V ) are called endomorphisms of V. If X is an algebraic structure (e.g. group, ring, vector space), an endomorphism of X is a homomorphism from X to itself. (a) Prove that End(V ) is a ring with 1 (where addition is the usual pointwise addition of maps and multiplication is given by composition). Clearly state where you use the fact that elements of End(V ) are linear maps. Now suppose that (ρ, V ) is a representation of some group G. Let End ρ (V ) be the set of those elements of End(V ) which are homomorphisms of representations (from (ρ, V ) to (ρ, V )). Prove that 2

(b) End ρ (V ) is a subring of End(V ) which contains 1 and also that End ρ (V ) is a vector subspace of End(V ). (c) If g G is a central element, then ρ(g) End ρ (V ). Solution: (a) Verification of the ring axioms is straightforward, so we will only mention where linearity needs to be used. First, we naturally need to refer to linearity to prove that End(V ) is closed under both addition and composition. The only other axiom where linearity is used is distributivity on the right: given R, T, S End(V ) and v V, we have (R(T + S))(v) = R((T + S)(v)) = R(T (v) + S(v) = R(T (v)) + R(S(v)) = RT (v) + RS(v) = (RT + RS)(v). The equality R(T (v) + S(v) = R(T (v)) + R(S(v)) uses linearity of R. Note that distributivity on the left does not use linearity. Perhaps even more surprisingly, F unc(v, V ), the set of all functions from V to V, does satisfy almost all ring axioms (including closure under addition and composition) except for distributivity on the right. (b) We need to show that End ρ (V ) contains 0, I (the identity operator), is closed under addition, composition and scalar multiplication. We will check closure under composition (the other verifications are similar). let S, T End ρ (V ). Then Sρ(g) = ρ(g)s and T ρ(g) = ρ(g)t for all g G. Hence (ST )ρ(g) = S(T ρ(g)) = S(ρ(g)T ) = (Sρ(g))T = (ρ(g)s)t = ρ(g)(st ), so ST End ρ (V ). (c) Let g Z(G), the center of G. Then for all h G we have gh = hg, whence ρ(g)ρ(h) = ρ(gh) = ρ(hg) = ρ(h)ρ(g), and therefore ρ(g) End ρ (V ). 3. At the beginning of Lecture 14 we will show that if G is an abelian group, then any irreducible representation of G over an algebraically closed field is one-dimensional (this is a straightforward consequence of Corollary 13.5) (a) Let n > 2 be an integer. Construct an irreducible representation of Z n over R (reals) which is not one-dimensional. (b) Prove that any irreducible representation of Z 2 over any field is onedimensional. (c) (bonus) Describe (with proof) all finite abelian groups G such that any irreducible representation of G over any field is one-dimensional. 3

Solution: (a) Let V = R 2 and A GL(V ) the rotation by 2π n. Then An = I, so there exists a representation (ρ, V ) of Z n with ρ([1]) = A. We claim that (ρ, V ) is irreducible. Indeed, a rotation by an angle in the interval (0, π) does not preserve any lines, so there are no 1-dimensional A-invariant subspaces. Since A = ρ([1]), V does not have any 1-dimensional G-invariant subspaces. But dim(v ) = 2, so the only subspaces of V which are not 1-dimensional are 0 and V. This implies that (ρ, V ) is irreducible. (b) and (c) Let G be a finite abelian group. We claim that any irreducible representation of G over any field is one-dimensional all elements of G have order at most 2. By the classification theorem this is equivalent to saying that G is a direct product of several copies of Z 2. We argue by contrapostive. Suppose that G has an element of order > 2. We want to construct an irreducible representation of G which is not 1-dimensional. By the classification theorem we can write G as a direct product G = A B where A is cyclic of order > 2. By (a), there is an irreducible representation ρ : A GL(V ) with dim(v ) > 1. Let π : G A be the projection onto the first component. Then ρ π : G GL(V ) is a representation of G. We claim that (ρ π, V ) is also irreducible (as a G-representation). Indeed, let W V be a G-invariant subspace. This means that W is ρ(π(g))- invariant for every g G. Since π : G A is surjective, this means that W is ρ(a)-invariant for every a A. And since (ρ, V ) is irreducible as an A-representation, we deduce that W = 0 or V. Suppose now that all elements of G have order at most 2 (for this direction we do not need to use the fact that G is finite). By Corollary 14.2 from class any irreducible representation of any abelian group over an algebraically closed field is 1-dimensional. An analysis of the proof yields a more general statement where we do not have to assume that the field is algebraically closed. Let H be an abelian group, and let (ρ, V ) be an irreducible representation of V over some field. If for every h H the operator ρ(h) has at least one eigenvector v V, then dim(v ) = 1. Thus, we only need to verify the latter condition in our case. Let (ρ, V ) be a representation of G. By assumption for every g G we have g 2 = e and hence ρ(g) 2 = I or equivalently, (ρ(g) + I)(ρ(g) I) = 0. If ρ(g) = I, then any nonzero v V is an eigenvector, and we are done. And if ρ(g) I, choose w such that v = (ρ(g) I)w is nonzero. Then (ρ(g) + I)(v) = 0, so ρ(g)v = v and v is an eigenvector. 4

4. Let (α, V ) and (β, W ) be representations of the same group over the same field. The tensor product of these representations is the representation (ρ, V W ) where ρ(g) = α(g) β(g) for each g G (in the notations from Problem 2 in HW#5). In other words, ρ(g) GL(V W ) is the unique linear map such that ρ(g)(v w) = (α(g)v) (β(g)w) for all v V and w W. (a) Prove that (ρ, V W ) is indeed a representation, that is, ρ : G GL(V W ) is a homomorphism. (b) Prove that if (α, V ) is NOT irreducible and W 0, then (ρ, V W ) is not irreducible either. (c) Now prove that if (α, V ) is irreducible and dim(w ) = 1, then (ρ, V W ) is irreducible. Solution: (a) We need to show that ρ(gh) = ρ(g)ρ(h) for all g, h G. Since both ρ(gh) and ρ(g)ρ(h) are linear maps from V W to V W and since V W is spanned by simple tensors, it suffices to check that ρ(gh)(v w) = (ρ(g)ρ(h))(v w) for all v V, w W. By definition of the tensor product of two maps we have ρ(gh)(v w) = (α(gh) β(gh))(v w) = (α(gh)v) (β(gh)w). On the other hand, (ρ(g)ρ(h))(v w) = ρ(g)(ρ(h)(v w)) = ρ(g)(α(h)v β(h)w) = (α(g) β(g))(α(h)v β(h)w) = (α(g)α(h)v) (β(g)β(h)w) = (α(gh)v) (β(gh)w). (b) Let U 0, V be a G-invariant subspace; in other words, U is α(g)- invariant for all g G. Since W 0, it is straightforward to check that U W considered as a subspace of V W is not equal to 0 or V W. Thus, if we show that U W is ρ(g)-invariant for all g G, it would follow that (ρ, V W ) is not irreducible. Since U W is spanned by simple tensors, it suffices to show that ρ(g)(u w) U W for all u U and w W. By definition ρ(g)(u w) = α(g)u β(g)w. The vector β(g)w automatically lies in W and α(g)u U since U is α(g)-invariant. Thus, ρ(g)(u w) U W, as desired. (c) We start with a lemma: Lemma: Fix a nonzero element w 0 W. Then for every z V W there exists unique v V such that z = v w 0. 5

Proof: We know that z can be written as a sum of simple tensors z = k i=1 v i w i for some v i V and w i W. Since dim(w ) = 1, we can write w i = λ i w 0 for some λ i F. But then z = k i=1 v i (λ i w 0 ) = ( k i=1 λ iv i ) w 0. This proves the existence part. Now take any v v V and let u = v v. Then u 0, so we can find a basis β of V with u β. Since {w 0 } is a basis of W, the set β w 0 is a basis of V W, and since u w 0 β w 0, we conclude that u w 0 0. But u w 0 = (v v ) w 0 = v w 0 v w 0, so v w 0 v w 0. Thus, v v implies v w 0 v w 0. This proves the uniqueness part. Let us go back to (c). We will assume that (ρ, V W ) is not irreducible and deduce that (α, V ) is not irreducible. So assume that there exists a G- invariant subspace Z of V W with Z 0, V W. By Lemma Z has the form U w 0 for some (uniquely defined) subset U of V, and since Z is a subspace, U must also be a subspace; moreover, U 0, V. If we show that U is G-invariant, we will be done. Take any u U. Then u w 0 Z. Since Z is G-invariant, we have ρ(g)(u w 0 ) Z, and hence ρ(g)(u w 0 ) = u w 0 for some u U. On the other hand, ρ(g)(u w 0 ) = α(g)u β(g)w 0 = β(g)α(g)u w 0. Here we can move β(g) from the second component to the first component because dim(w ) = 1 and hence β(g) is a SCALAR! If dim(w ) 1, such a transition would have been completely false; in fact, even the expression β(g)α(g)u would not make sense. Thus, we conclude that u w 0 = β(g)α(g)u w 0, and by the uniqueness part of the Lemma u = β(g)α(g)u. Again since β(g) is a (nonzero) scalar and since u U, we get α(g)u = 1 β(g) u U. This shows that U is G-invariant and completes the proof. 6