Supplementary Notes March 23, The subgroup Ω for orthogonal groups

Size: px
Start display at page:

Download "Supplementary Notes March 23, The subgroup Ω for orthogonal groups"

Transcription

1 The subgroup Ω for orthogonal groups Supplementary Notes March 23, 2005 In the case of the linear group, it is shown in the text that P SL(n, F ) (that is, the group SL(n) of determinant one matrices, divided by its center) is usually a simple group. In the case of symplectic group, P Sp(2n, F ) (the group of symplectic matrices divided by its center) is usually a simple group. In the case of the orthogonal group (as Yelena will explain on March 28), what turns out to be simple is not P SO(V ) (the orthogonal group of V divided by its center). Instead there is a mysterious subgroup Ω(V ) of SO(V ), and what is usually simple is P Ω(V ). The purpose of these notes is first to explain why this complication arises, and then to give the general definition of Ω(V ) (along with some of its basic properties). So why should the complication arise? There are some hints of it already in the case of the linear group. We made a lot of use of GL(n, F ), the group of all invertible n n matrices with entries in F. The most obvious normal subgroup of GL(n, F ) is its center, the group F of (non-zero) scalar matrices. Dividing by the center gives (1) P GL(n, F ) = GL(n, F )/F, the projective general linear group. We saw that this group acts faithfully on the projective space P n 1 (F ), and generally it s a great group to work with. Most of the steps in Iwasawa s theorem (for proving a group is simple) apply to P GL(n, F ). The only part that doesn t work is that P GL(n, F ) need not be its own derived group. In some sense the reason for this failure is that GL(n, F ) has another obvious normal subgroup: the group SL(n, F ) of determinant one matrices. Once you remember this group, it becomes obvious that any commutator in GL(n, F ) must belong to SL(n, F ). In fact it turns out that SL(n, F ) is (usually) the derived group of GL(n, F ) (see page 9 of the text). At any rate, we get a normal subgroup P SL(n, F ) of P GL(n, F ). A little more precisely, (2) P SL(n, F ) = SL(n, F )/(scalar matrices in SL(n, F )) = SL(n, F )/(nth roots of 1 in F ). What s going on is that the scalar matrices of determinant one are precisely the nth roots of 1 in the field F (see page 6 of the text). We re going to see that the relationship between SO(V ) and its normal subgroup Ω(V ) is similar to the relationship between P GL(n, F ) and its normal subgroup P SL(n, F ). So we begin by recalling a little bit about that relationship. The determinant map is a well-defined surjective group homomorphism from GL(n, F ) to F with kernel SL(n, F ): (3) det: GL(n, F ) F, ker(det) = SL(n, F ). The determinant of a scalar matrix is equal to the nth power of the scalar. Writing (F ) n for the group of all nth powers in F, we can deduce easily that there is a well-defined surjective group homomorphism projective determinant, (4)(a) P det: P GL(n, F ) F /(F ) n, ker(p det) = P SL(n, F ).

2 2 (This terminology is not standard or common.) It follows that P GL(n, F ) is different from P SL(n, F ) if and only if F is different from (F ) n. In particular, (4)(b) P GL(n, F ) = P SL(n, F ) if F is algebraically closed. For the real numbers, every number is an nth power if and only if n is odd; so P GL(n, R) is the same as P SL(n, R) if and only if n is odd. For the finite field F q, every element is an nth power if and only if n and q 1 are relatively prime; so P GL(n, F q ) is the same as P SL(n, F q ) if and only if n and q 1 are relatively prime. In order to understand Ω(V ) for the orthogonal groups, you might think of SO(V ) as being something like P GL(n, F ), and its subgroup Ω(V ) as being like P SL(n, F ). The text eventually explains a way to make this analogy complete, by defining something called the spin group Spin(V ) (analogous to SL(n, F )), and a group homomorphism from Spin(V ) to SO(V ) whose image is exactly Ω(V ). I m not going to do that in general, although I ll do some special cases by hand. Here is the first one. We are going to make a relationship between P GL(2, F ) and the orthogonal group of a certain three-dimensional vector space. For this example, assume that the characteristic of F is not 2. Define (5)(a) V = {2 2 matrices with entries in F }. We define a symmetric bilinear form on V by (5)(b) B(X, Y ) = tr(xy ). (Recall that the trace of a square matrix is the sum of the diagonal entries. The form is symmetric because the trace of XY is equal to the trace of Y X.) We choose as a basis of V the four matrices ( ) ( ) e 12 =, e 21 =, (5)(c) e 11 e 22 = 0 0 ( ), e 11 + e 22 = 1 0 ( It s a simple matter to compute the matrix of the form B in this basis. For example, e 12 e 21 = e 11, which has trace equal to 1, so B(e 12, e 21 ) = 1. Continuing in this way, we find that the matrix of B in this basis is (5)(d) B = The determinant of B is -4, so (since the characteristic of F is not 2) B is nondegenerate. Consider now the one-dimensional subspace e 11 + e 22 spanned by the identity matrix. Since the form takes the value 2 on the identity matrix, the subspace is non-degenerate. Define (5)(e) W = e 11 + e 22 = {X V tr(x) = 0}. ).

3 3 By Proposition 2.9 of the text, we have an orthogonal direct sum decomposition (5)(f) V = W e 11 + e 22, The restriction B W of B to W has matrix (5)(g) BW = This matrix has determinant 2, so B W is non-degenerate. Proposition 6. Suppose F is a field of characteristic not equal to 2. Define a four-dimensional orthogonal space V (the 2 2 matrices) and three-dimensional subspace W (matrices of trace zero) as in (5) above. (1) There is a group homomorphism π V : GL(2, F ) O(V ), π V (g)x = gxg 1 (X V ). (2) Every linear transformation π V (g) fixes the identity matrix e 11 + e 22, and therefore preserves its orthogonal complement W. Write π W : GL(2, F ) O(W ) for the restriction of π V to W. (3) We have ker π V = ker π W = F, the scalar matrices in GL(2, F ). The homomorphism π W an injective homomorphism therefore defines π W : P GL(2, F ) O(W ). (4) In the basis {e 12, e 21, e 11 e 22 } for W, the homomorphism π W is ( a π W c ) b 1 = a2 b 2 2ab c d 2 d 2 2dc. ad bc ac bd ad + bc The matrix on the right has determinant equal to 1, so we actually have π W : P GL(2, F ) SO(W ). (5) The image of π W is equal to SO(W ). Most of this proposition can be generalized from 2 2 matrices to n n matrices without difficulty: we get a natural quadratic form on the n 2 1-dimensional vector space W n of matrices of trace zero, and an injective group homomorphism (7) π W : P GL(n, F ) SO(W n ). What fails is only the very last step: this homomorphism is not surjective if n 3.

4 4 Proof. That π V is a homomorphism to linear transformations on the space of matrices is very easy; the main point is to check that it respects the bilinear form B. If X and Y are 2 2 matrices, then B(π V (g)x, π V (g)y ) = B(gXg 1, gy g 1 ) = tr gxg 1 gy g 1 = tr g(xy )g 1. Now use the fact that tr(ab) = tr(ba), applied to the matrices A = gxy and B = g 1. We get = tr g 1 gxy = tr(xy ) = B(X, Y ). This shows that π V (g) belongs to O(V ), proving (1). Part (2) is very easy. For part (3), the kernel of π V consists of all invertible matrices that commute with all matrices. These are precisely the invertible scalar matrices. Since everything commutes with the identity matrix, commuting with all matrices is exactly the same as commuting with all trace zero matrices (cf. (5)(f)); so ker π V = ker π W. This is (3). Part (4) explicitly computes the map X gxg 1. The first step is the formula ( ) 1 a b = c d 1 ad bc ( d b c a To compute the first column on the right in (4), we have to perform the multiplication ( ) ( ) ( ) 1 a b 0 1 d b, ad bc c d 0 0 c a and then express the result as a linear combination of e 12, e 21, and e 11 e 22. I will leave the verifications to you. The determinant of the 3 3 matrix in (4) is clearly a polynomial of degree 6 in a, b, c, and d, divided by (ad bc) 3 (coming from the scalar factor in front). You can compute this quotient and find that it s identically 1; but here is a noncomputational argument that it had to come out that way. We have a rational function of a, b, c, and d. The rational function has integer coefficients in the numerator and denominator, and doesn t depend on the field F. Because an orthogonal matrix must have determinant ±1, this rational function can take only the values +1 and 1. In case F is( infinite, ) this forces the rational function to 1 0 be equal to +1 or to 1. When g = the right side is clearly the identity 0 1 matrix, so the constant has to be +1. This proves (4). Part (5) is the hard part. The idea is to reduce to studying the stabilizer of a special line in W, and there to write everything explicitly. Here s the reduction step. Lemma 8. In the setting of Proposition 6, suppose that X W is a non-zero matrix such that B(X, X) = 0. Then there is a matrix g SL(2, F ) and a nonzero scalar a such that π W (g)e 12 = a 1 X. ). I ll give the proof in a moment. projective space of W. Now we need to study the line [e 12 ] in the

5 5 Lemma 9. In the setting of Proposition 6, consider the subgroup P = {T O(W ) T [e 12 ] = [e 12 ]}, the stabilizer in O(W ) of the line through e 12. (1) In the basis {e 12, e 21, e 11 e 22 } for W, the group P is P = k ky2 2ɛky 0 k 1 0 k F, y F, ɛ = ±1. 0 y ɛ Here ɛ is equal to the determinant of the matrix; so the matrix belongs to SO(W ) if and only if ɛ = 1. ( ) a b (2) In the setting of Proposition 6(4), the matrix π W belongs to P if c d and only if c = 0. For such matrices, we have ( ) a b π W = a/d b2 /ad 2b/d 0 d/a 0. 0 d 0 b/a 1 (3) We have π W (GL(2, F )) P = SO(W ) P. For this result also I postpone the proof for a moment. We now return to the proof of Proposition 6(5). So suppose T SO(W ). The vector e 12 W is non-zero, but B(e 12, e 12 ) = 0. It follows that X = T W is a non-zero vector such that B(X, X) = 0. By Lemma 8, there is a g SL(2, F ) so that [π W (g)e 12 ] = [T e 12 ]. (The notation means equality of the lines through π W (g)e 12 and T e 12.) Therefore π W (g 1 )T P SO(W ). By Lemma 9, there is an h GL(2, F ) so that π W (g 1 )T = π W (h). Therefore T = π W (gh), as we wished to show. Proof of Lemma 8. By hypothesis ( ) a b X =, c a with a, b, and c not all zero. We calculate X 2 = ( a 2 + bc 0 ) 0 a 2 + bc 0 = B(X, X) = tr X 2 = 2(a 2 + bc).

6 6 Since the characteristic of F is not 2, this means that a 2 + bc = 0, and therefore (by the first calculation) that X 2 = 0. Since X is not zero, there is some vector v so that Xv 0. Furthermore X(Xv) = X 2 v = 0, so Xv cannot be a multiple of v; so for( any a ) F, the pair {Xv, av} is a basis of F 2. In this basis, the matrix of 0 a X is = ae Let g a be the change of basis matrix relating the standard basis of F 2 to {Xv, av}: that is, the matrix whose columns are Xv and av. Then g 1 a Xg a = ae 12 ; equivalently, π W (g a )e 12 = a 1 X. Changing the constant a scales the second column of g a, and so scales det(g a ); so for an appropriate choice of a, we have g a SL(2, F ), as we wished to show. Proof of Lemma 9. Part (1) is analogous to Proposition 12 of the notes on the symplectic group; I will prove something more general for orthogonal groups in Proposition xx below. For part (2), the first assertion is clear( from comparing ) a b Proposition 6(4) to the formula in part (1). The formula for π W is just a 0 d specialization of Proposition 6(4). Part (3) is now clear. Corollary 10. Suppose that W 0 is a three-dimensional vector space over a field F of characteristic not 2. Suppose B 0 is a symmetric non-degenerate bilinear form on W 0, and suppose that W 0 contains at least one non-zero vector u with B 0 (u, u) = 0. (1) The special orthogonal group SO(W 0 ) is naturally isomorphic to P GL(2, F ). (2) The image of P SL(2, F ) under this isomorphism is a normal subgroup that we will call Ω(W 0 ) of SO(W 0 ), equal to the commutator subgroup of SO(W 0 ). (3) There is a natural isomorphism SO(W 0 )/Ω(W 0 ) F /(F ) 2. (4) The group Ω(W 0 ) is simple as long as F F 3. Proof. From the existence of a vector of length 0, one can get in W 0 a hyperbolic plane H 0 in W 0, and then an orthogonal decomposition W 0 = H 0 H0. Because W 0 is three-dimensional, H0 = w 0 is a line. Because B 0 is assumed non-degenerate, the vector w 0 must have non-zero length: B 0 (w 0, w 0 ) = a 0. Now let B 0 = (2/a) B 0. This is another symmetric bilinear form on W 0, defining exactly the same orthogonal group. We have B 0(w, w) = 2, so with respect to B 0, W 0 is the orthogonal direct sum of a hyperbolic plane and the span of a vector of length 2. By (5)(g), (W 0, B 0 ) is equivalent to the pair (W, B W ) of (5). Therefore O(W ) O(W 0 ). In Proposition 6 we proved that SO(W ) is isomorphic to P GL(2, F ), so this result is inherited by the isomorphic group SO(W 0 ). This proves (1). Part (2) is a consequence of the fact that SL(2, F ) is the commutator subgroup of GL(2, F ). Part (3) follows from equation (4)(a) above. The simplicity of Ω(W ) is just the simplicity of P SL(2, F ). That s a pretty complete account of Ω in the case of three-dimensional orthogonal spaces. In order to get going in higher dimensions, we need a little machinery.

7 For the balance of this paper, we fix an n-dimensional vector space V over a field F, and a non-degenerate symmetric bilinear form B on B. We will assume that (11)(a) dim V 3, char F 2. In addition, we will assume that (11)(b) V contains a non-zero vector u such that B(u, u) = 0. In this setting (which generalizes that of Corollary 10), we are going to construct a normal subgroup Ω(V ) of the orthogonal group O(V ). In the text starting on page 53, the group that I ve written N u below is called K u. The letter N seems to me to fit much better with standard terminology. Proposition 12. In the setting of (11), suppose that y u is a vector orthogonal to the isotropic vector u. Define a linear transformation ρ u,y on V by ρ u,y (x) = x B(x, u)y + B(x, y)u 1 B(y, y)b(x, u)u. 2 (1) The linear transformation ρ u,y belongs to SO(V ). If a F is a non-zero scalar, then ρ au,y = ρ u,ay. (2) We have ρ u,y ρ u,z = ρ u,y+z. (3) We have ρ u,y = I (the identity map on V ) if and only if y u. (4) The collection of linear transformations N u = {ρ u,y y u } is an abelian group, isomorphic to the additive group of the quotient vector space W = u / u (which has dimension n 2 over F ). (5) The vector space W carries a natural nondegenerate symmetric bilinear form B W : if y and z in u are representatives for y and z in W, then B W (y, z) = B(y, z). (6) Write P u for the stabilizer in O(V ) of the line [u]. Each element p P u acts naturally on the vector space W, and we get in this way a surjective group homomorphism m: P u O(W ). Similarly, p sends u to a multiple of itself, defining a surjective group homomorphism a: P u F, p u = a(p)u. (7) If y u and p P u, then pρ u,y p 1 = ρ a(p)u,m(p)y = ρ u,a(p)m(p)y. In particular, N u is a normal subgroup of P u. (8) The quotient group P u /N u is isomorphic (by the homomorphism a m) to the product F O(W ). Intersecting with the special orthogonal group gives (SO(V ) P u )/N u F SO(W ). (9) The group N u is contained in the commutator subgroup of SO(V ) P u. 7

8 8 The most obvious question raised by Proposition 12 is this: where did the elements ρ u,y come from? Perhaps the simplest answer to this question may be found in the reformulation at equation (18)(d) below. There I have chosen a second vector v making a hyperbolic pair with u. The idea is to invent an orthogonal transformation ρ that fixes u. It must therefore carry v to some other vector whose pairing with u is equal to 1. This other vector must be v, plus some multiple of u, plus something orthogonal to u and v. So pick first the something orthogonal to u and v, and call it y. So far we re forced to write ρ(u) = u, ρ(v) = v y au. The requirement that ρ(v) have length 0 forces a = B(y, y)/2. This shows that the middle formula in (18)(d) is forced on us by the requirement that ρ be orthogonal. The last formula is just the simplest possible extension of ρ to all of V. Before embarking on the proof of this proposition, let us see how it leads to the group Ω(V ). Definition 13. In the setting of (11) and Proposition 12, we define Ω(V ) = group generated by all N u, u isotropic in V. By Proposition 12(1), Ω(V ) is a subgroup of SO(V ). The definition of N u makes it almost obvious that for any τ O(V ), we have (14)(a) τn u τ 1 = N τu. From this it follows at once that (14)(b) Ω(V ) is a normal subgroup of O(V ) and of SO(V ). As a consequence of Proposition 12(9), we have (14)(b) Ω(V ) is contained in the commutator subgroup of SO(V ). Proof of Proposition 12. The ideas is to imitate the proof of Proposition 12 in the notes on the symplectic group: to construct lots of elements of P u by hand, and see how to compose them. We can start without doing any work. For (1), we have to show that if x 1 and x 2 are in V, then (15) B(ρ u,y (x 1 ), ρ u,y (x 2 )) = B(x 1, x 2 ). According to the definition, ρ u,y (x i ) = x i B(x i, u)y + [B(x i, y) 1 2 B(y, y)b(x i, u)]u, a sum of three vectors. So the left side of (15) expands (using bilinearity) as a sum of nine terms. One is equal to the right side, and four are zero because

9 B(u, u) = B(u, y) = 0. So we need to show that the sum of the remaining four terms is equal to zero. This is B(x 2, u)b(x 1, y) + [B(x 2, y) 1 2 B(y, y)b(x 2, u)]b(x 1, u) B(x 1, u)b(x 2, y) + [B(x 1, y) 1 2 B(y, y)b(x 1, u)]b(x 2, u) + B(x 1, u)b(x 2, u)b(y, y). This sum is indeed equal to zero, proving that ρ u,y O(V ). Next we will show that ρ u,y has determinant equal to 1. In fact we will prove more. A linear transformation T on a finite-dimensional vector space V is called unipotent if (T I) m = 0 for some positive integer m. It is a nice exercise in linear algebra to prove that any unipotent linear transformation must have determinant one. (A cheap way to prove this involves noticing that all the eigenvalues of T must be equal to 1; but you can probably think of something nicer.) So it is enough to prove that (16)(a) (ρ u,y I) 3 = 0. To prove this, notice first that 9 (16)(b) (ρ u,y I)(x) = B(x, u)y + [B(x, y) 1 B(y, y)b(x, u)]u, 2 a linear combination of u and y. So it is enough to prove that (16)(c) (ρ u,y I)(y) u, (ρ u,y I)(u) = 0. (For then applying (ρ u,y I) once puts us in the span of u and y; applying it a second time puts us in the span of u; and applying it a third time gives zero.) The first assertion of (16)(c) is clear from (16)(a), since B(y, u) = 0. The second is also clear from (16)(a), since B(u, u) = B(u, y) = 0. This proves that ρ u,y is unipotent, and therefore of determinant 1. The last formula in (1) is an immediate consequence of the definition. The identity in (2) follows by a straightforward calculation from the definition, which I will omit. For (3), suppose first that y = au. According to (16)(b), (ρ u,au I)(x) = B(x, u)(au) + [B(x, au) 1 B(au, au)b(x, u)]u. 2 Since B(u, u) = 0, this simplifies to (ρ u,au I)(x) = B(x, u)(au) + B(x, au)u, which is zero by since B is bilinear. Next, suppose that y is not a multiple of u. Since B is non-degenerate, we can find x V with B(x, u) 0. Formula (16)(b) therefore says (ρ u,au I)(x) = non-zero multiple of y plus multiple of u,

10 10 which cannot be zero since y is not a multiple of u. Part (4) is an abstract restatement of (3). Parts (5) (7) are formal and easy, except for the surjectivity of the homomorphisms a and m. To prove that, and to prepare for the proof of (8), we will use a little more structure. We have essentially already said that the nondegeneracy of B allows us to choose a vector v so that B(u, v ) = 1. If we define then we get v = v 1 2 B(v, v )u, (17)(a) B(v, v) = B(u, u) = 0, B(u, v) = 1; that is, u and v are a standard basis of a hyperbolic plane H V. The vector v is not uniquely determined by u. It s an entertaining exercise to prove that the collection of all possible choices of v is equal to Write {ρ u,y (v) y u }. (17)(b) W 0 = H = {w V B(w, u) = B(w, v) = 0. According to Proposition 2.9 in the text, (17)(c) V = H W 0, an orthogonal direct sum decomposition. The form B W0 (the restriction of B to W 0 is non-degenerate. It s very easy to see that so the quotient vector space u = W 0 u, (17)(d) W = u / u W 0. This isomorphism respects the bilinear forms, so O(W 0 ) O(W ). Using the structure in (17) just as we did in the symplectic group notes, we can now define some elements of the stabilizer P u in O(V ) of the line [u]. Just as in that case, we can define these elements by saying what they do to u, what they do to v, and what they do to elements w W 0. For any k F, define (18)(a) a k (u) = ku, a k (v) = k 1 v, a k (w) = w (w W 0 ). It s easy to check that a k belongs to P u. For any τ O(W 0 ), define (18)(b) m τ (u) = u, m τ (v) = v, m t au(w) = τ(w) (w W 0 ). Finally, define (18)(c) A = {a k k F }, M = {m τ τ O(W 0 )} These are commuting subgroups of P u, isomorphic to F and SO(W 0 ) respectively. The remaining elements we need from P u are the elements ρ u,y of Proposition 12. In that setting we had y u, and y was determined only up to a multiple of u. Now its convenient to regard y as a uniquely determined element of W 0. In this case we have (18)(d) ρ u,y (u) = u, ρ u,y (v) = v y 1 2 B(y, y)u, ρ u,y(w) = w B(w, y)u for any w W 0.

11 Lemma 19. In the notation of (18), every element p P u has a unique representation as a product p = m τ a k ρ u,y (k F, τ O(W 0 ), y W 0. In terms of the homomorphisms defined in Proposition 12(6), and the identification O(W ) O(W 0 ), we have In particular, the homomorphism is surjective, with kernel equal to N u. a(p) = k, m(p) = τ. a m: P u F SO(W ) The proof is exactly parallel to that of Proposition 12 in the symplectic group notes, so I ll omit it. Parts (6) and (8) of Proposition 12 follow. For part (9), we compute using (7) for p P u ρ u,y pρ 1 u,yp 1 = ρ u,y ρ 1 u,a(p)m(p)y = ρ u,y a(p)m(p)y Choose p so that a(p) 1 and m(p) = 1, as is possible by (8). In this case p SO(V ), so we see that ρ u,(1 a(p))y is a commutator in SO(V ) P u. Since a(p) 1, this includes all of N u. 11

(1)(a) V = 2n-dimensional vector space over a field F, (1)(b) B = non-degenerate symplectic form on V.

(1)(a) V = 2n-dimensional vector space over a field F, (1)(b) B = non-degenerate symplectic form on V. 18.704 Supplementary Notes March 21, 2005 Maximal parabolic subgroups of symplectic groups These notes are intended as an outline for a long presentation to be made early in April. They describe certain

More information

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

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

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 ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

MATH 112 QUADRATIC AND BILINEAR FORMS NOVEMBER 24, Bilinear forms

MATH 112 QUADRATIC AND BILINEAR FORMS NOVEMBER 24, Bilinear forms MATH 112 QUADRATIC AND BILINEAR FORMS NOVEMBER 24,2015 M. J. HOPKINS 1.1. Bilinear forms and matrices. 1. Bilinear forms Definition 1.1. Suppose that F is a field and V is a vector space over F. bilinear

More information

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.

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. 6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its

More information

Math 594. Solutions 5

Math 594. Solutions 5 Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

Problem set 2. Math 212b February 8, 2001 due Feb. 27

Problem set 2. Math 212b February 8, 2001 due Feb. 27 Problem set 2 Math 212b February 8, 2001 due Feb. 27 Contents 1 The L 2 Euler operator 1 2 Symplectic vector spaces. 2 2.1 Special kinds of subspaces....................... 3 2.2 Normal forms..............................

More information

Exercises on chapter 0

Exercises on chapter 0 Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that

More information

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope

More information

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator

More information

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add

More information

Math 396. An application of Gram-Schmidt to prove connectedness

Math 396. An application of Gram-Schmidt to prove connectedness Math 396. An application of Gram-Schmidt to prove connectedness 1. Motivation and background Let V be an n-dimensional vector space over R, and define GL(V ) to be the set of invertible linear maps V V

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear

More information

CLASSICAL GROUPS DAVID VOGAN

CLASSICAL GROUPS DAVID VOGAN CLASSICAL GROUPS DAVID VOGAN 1. Orthogonal groups These notes are about classical groups. That term is used in various ways by various people; I ll try to say a little about that as I go along. Basically

More information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information

A Little Beyond: Linear Algebra

A Little Beyond: Linear Algebra A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two

More information

0.2 Vector spaces. J.A.Beachy 1

0.2 Vector spaces. J.A.Beachy 1 J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a

More information

Homework 5 M 373K Mark Lindberg and Travis Schedler

Homework 5 M 373K Mark Lindberg and Travis Schedler Homework 5 M 373K Mark Lindberg and Travis Schedler 1. Artin, Chapter 3, Exercise.1. Prove that the numbers of the form a + b, where a and b are rational numbers, form a subfield of C. Let F be the numbers

More information

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

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1

More information

ALGEBRA 8: Linear algebra: characteristic polynomial

ALGEBRA 8: Linear algebra: characteristic polynomial ALGEBRA 8: Linear algebra: characteristic polynomial Characteristic polynomial Definition 8.1. Consider a linear operator A End V over a vector space V. Consider a vector v V such that A(v) = λv. This

More information

Algebraic groups Lecture 1

Algebraic groups Lecture 1 Algebraic groups Lecture Notes by Tobias Magnusson Lecturer: WG September 3, 207 Administration Registration: A sheet of paper (for registration) was passed around. The lecturers will alternate between

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define

More information

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

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a

More information

Representation Theory

Representation Theory Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character

More information

A PRIMER ON SESQUILINEAR FORMS

A PRIMER ON SESQUILINEAR FORMS A PRIMER ON SESQUILINEAR FORMS BRIAN OSSERMAN This is an alternative presentation of most of the material from 8., 8.2, 8.3, 8.4, 8.5 and 8.8 of Artin s book. Any terminology (such as sesquilinear form

More information

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre

More information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31 Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15

More information

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at

More information

THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS

THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS KEITH CONRAD. Introduction The easiest matrices to compute with are the diagonal ones. The sum and product of diagonal matrices can be computed componentwise

More information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

ALGEBRA QUALIFYING EXAM PROBLEMS

ALGEBRA QUALIFYING EXAM PROBLEMS ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General

More information

(VII.B) Bilinear Forms

(VII.B) Bilinear Forms (VII.B) Bilinear Forms There are two standard generalizations of the dot product on R n to arbitrary vector spaces. The idea is to have a product that takes two vectors to a scalar. Bilinear forms are

More information

Generalized eigenspaces

Generalized eigenspaces Generalized eigenspaces November 30, 2012 Contents 1 Introduction 1 2 Polynomials 2 3 Calculating the characteristic polynomial 5 4 Projections 7 5 Generalized eigenvalues 10 6 Eigenpolynomials 15 1 Introduction

More information

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 ) =

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 ) = Math 395. Quadratic spaces over R 1. Algebraic preliminaries Let V be a vector space over a field F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v) for all v V and c F, and

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

The Hurewicz Theorem

The Hurewicz Theorem The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,

More information

5 Group theory. 5.1 Binary operations

5 Group theory. 5.1 Binary operations 5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1

More information

ne varieties (continued)

ne varieties (continued) Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

More information

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

Topics in linear algebra

Topics in linear algebra Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Lecture 11 The Radical and Semisimple Lie Algebras

Lecture 11 The Radical and Semisimple Lie Algebras 18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then

More information

5 Quiver Representations

5 Quiver Representations 5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )

More information

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

First we introduce the sets that are going to serve as the generalizations of the scalars. Contents 1 Fields...................................... 2 2 Vector spaces.................................. 4 3 Matrices..................................... 7 4 Linear systems and matrices..........................

More information

Some notes on linear algebra

Some notes on linear algebra Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

1 Classifying Unitary Representations: A 1

1 Classifying Unitary Representations: A 1 Lie Theory Through Examples John Baez Lecture 4 1 Classifying Unitary Representations: A 1 Last time we saw how to classify unitary representations of a torus T using its weight lattice L : the dual of

More information

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

More information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION THEORY, LECTURE 0. BASICS REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

Eigenvectors and Hermitian Operators

Eigenvectors and Hermitian Operators 7 71 Eigenvalues and Eigenvectors Basic Definitions Let L be a linear operator on some given vector space V A scalar λ and a nonzero vector v are referred to, respectively, as an eigenvalue and corresponding

More information

DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

More information

LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS

LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F has characteristic zero. The following are facts (in

More information

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

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

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.

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. Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1.

Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1. Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1. Version 0.00 with misprints, Connected components Recall thaty if X is a topological space X is said to be connected if is not

More information

Supplementary Material for MTH 299 Online Edition

Supplementary Material for MTH 299 Online Edition Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think

More information

Spring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3

Spring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3 Spring 2018 CIS 610 Advanced Geometric Methods in Computer Science Jean Gallier Homework 3 March 20; Due April 5, 2018 Problem B1 (80). This problem is from Knapp, Lie Groups Beyond an Introduction, Introduction,

More information

BILINEAR FORMS KEITH CONRAD

BILINEAR FORMS KEITH CONRAD BILINEAR FORMS KEITH CONRAD The geometry of R n is controlled algebraically by the dot product. We will abstract the dot product on R n to a bilinear form on a vector space and study algebraic and geometric

More information

A Primer on Homological Algebra

A Primer on Homological Algebra A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

More information

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

Bare-bones outline of eigenvalue theory and the Jordan canonical form Bare-bones outline of eigenvalue theory and the Jordan canonical form April 3, 2007 N.B.: You should also consult the text/class notes for worked examples. Let F be a field, let V be a finite-dimensional

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

A Field Extension as a Vector Space

A Field Extension as a Vector Space Chapter 8 A Field Extension as a Vector Space In this chapter, we take a closer look at a finite extension from the point of view that is a vector space over. It is clear, for instance, that any is a linear

More information

Real representations

Real representations Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where

More information

MAT 150A, Fall 2015 Practice problems for the final exam

MAT 150A, Fall 2015 Practice problems for the final exam MAT 150A, Fall 2015 Practice problems for the final exam 1. Let f : S n! G be any homomorphism (to some group G) suchthat f(1 2) = e. Provethatf(x) =e for all x. Solution: The kernel of f is a normal subgroup

More information

1 Linear transformations; the basics

1 Linear transformations; the basics Linear Algebra Fall 2013 Linear Transformations 1 Linear transformations; the basics Definition 1 Let V, W be vector spaces over the same field F. A linear transformation (also known as linear map, or

More information

GENERATING SETS KEITH CONRAD

GENERATING SETS KEITH CONRAD GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors

More information

EXERCISE SET 5.1. = (kx + kx + k, ky + ky + k ) = (kx + kx + 1, ky + ky + 1) = ((k + )x + 1, (k + )y + 1)

EXERCISE SET 5.1. = (kx + kx + k, ky + ky + k ) = (kx + kx + 1, ky + ky + 1) = ((k + )x + 1, (k + )y + 1) EXERCISE SET 5. 6. The pair (, 2) is in the set but the pair ( )(, 2) = (, 2) is not because the first component is negative; hence Axiom 6 fails. Axiom 5 also fails. 8. Axioms, 2, 3, 6, 9, and are easily

More information

Math 396. Quotient spaces

Math 396. Quotient spaces Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p

SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

Math 121 Homework 4: Notes on Selected Problems

Math 121 Homework 4: Notes on Selected Problems Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W

More information

Representations. 1 Basic definitions

Representations. 1 Basic definitions Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then

More information

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

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

NONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction

NONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques

More information

REPRESENTATIONS OF S n AND GL(n, C)

REPRESENTATIONS OF S n AND GL(n, C) REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although

More information

Solutions to Example Sheet 1

Solutions to Example Sheet 1 Solutions to Example Sheet 1 1 The symmetric group S 3 acts on R 2, by permuting the vertices of an equilateral triangle centered at 0 Choose a basis of R 2, and for each g S 3, write the matrix of g in

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

Simple groups and the classification of finite groups

Simple groups and the classification of finite groups Simple groups and the classification of finite groups 1 Finite groups of small order How can we describe all finite groups? Before we address this question, let s write down a list of all the finite groups

More information

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

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg = Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Algebra I Fall 2007

Algebra I Fall 2007 MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.701 007 Geometry of the Special Unitary

More information

HASSE-MINKOWSKI THEOREM

HASSE-MINKOWSKI THEOREM HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.

More information

Linear and Bilinear Algebra (2WF04) Jan Draisma

Linear and Bilinear Algebra (2WF04) Jan Draisma Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 10 Symmetric bilinear forms We already know what a bilinear form β on a K-vector space V is: it is a function β : V V K that satisfies β(u + v,

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

UC Berkeley Summer Undergraduate Research Program 2015 July 9 Lecture

UC Berkeley Summer Undergraduate Research Program 2015 July 9 Lecture UC Berkeley Summer Undergraduate Research Program 205 July 9 Lecture We will introduce the basic structure and representation theory of the symplectic group Sp(V ). Basics Fix a nondegenerate, alternating

More information

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z). 18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian

More information

1 Last time: least-squares problems

1 Last time: least-squares problems MATH Linear algebra (Fall 07) Lecture Last time: least-squares problems Definition. If A is an m n matrix and b R m, then a least-squares solution to the linear system Ax = b is a vector x R n such that

More information

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R. Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over

More information

Solution to Homework 1

Solution to Homework 1 Solution to Homework Sec 2 (a) Yes It is condition (VS 3) (b) No If x, y are both zero vectors Then by condition (VS 3) x = x + y = y (c) No Let e be the zero vector We have e = 2e (d) No It will be false

More information

Some notes on Coxeter groups

Some notes on Coxeter groups Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three

More information

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.

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. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

Exercise Sheet 1.

Exercise Sheet 1. Exercise Sheet 1 You can download my lecture and exercise sheets at the address http://sami.hust.edu.vn/giang-vien/?name=huynt 1) Let A, B be sets. What does the statement "A is not a subset of B " mean?

More information