Linear and Bilinear Algebra (2WF04) Jan Draisma

Size: px
Start display at page:

Download "Linear and Bilinear Algebra (2WF04) Jan Draisma"

Transcription

1 Linear and Bilinear Algebra (2WF04) Jan Draisma

2

3

4 CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension n over K, and φ is a linear map from V to itself. We write φ 0 for the identity map I : V V, φ 2 for φ φ, φ 3 for φ φ φ, etc. Let p = p(t) K[t] be a polynomial in one variable t, namely p = c 0 + c 1 t c d t d. Then we define p(φ) := c 0 I + c 1 φ c d φ d. We say that φ is a root of p if p(φ) is the zero map V V. A straightforward calculation shows that the map K[t] L(V ), p p(φ) is an algebra homomorphism, i.e., it satisfies (p + q)(φ) = p(φ) + q(φ) and (pq)(φ) = p(φ)q(φ) = q(φ)p(φ), where the multiplication in K[t] is multiplication of polynomials and the multiplication in L(V ) is composition of linear maps. Since L(V ) has finite dimension over K, the linear maps I, φ, φ 2,... cannot be all linearly independent. Hence the linear map p p(φ) must have a non-zero kernel I. This kernel is an ideal in K[t]: if q, r I, which means that q(φ) = r(φ) = 0, then also q + r I and pq I for all p K[t]. Let p min = p min (φ) be a non-zero polynomial of minimal degree in I that has leading coefficient equal to 1, i.e., which is monic. Every polynomial p I is a multiple of p min. Indeed, by division with remainder we can write p = qp min + r with deg r < deg p min. But then r = p qp min lies in I, and hence must be zero since p min had the least degree among non-zero elements of I. Hence p = qp min. In particular, it follows that p min I with the required properties (minimal degree and monic) is unique, and this is called the minimal polynomial of φ. The minimal polynomial of a square matrix is defined in exactly the same manner. Exercise Write a Mathematica function MinimalPolynomial that takes as input a square integer matrix A and a number p that is either 0 or a prime, and that outputs the minimal polynomial of A over Q if p = 0 and the minimal polynomial of A over K = Z/pZ if p is a prime. Exercise Show that p min is an invariant of φ under the conjugation action of GL(V ) on L(V ) Chopping up space using p min The minimal polynomial will guide us in finding the so-called rational Jordan normal form of φ. The first step is the following lemma. Lemma Suppose that φ is a root of p q, where p and q are coprime polynomials. Then V splits as a direct sum ker p(φ) ker q(φ). 19

5 20 3. THE MINIMAL POLYNOMIAL AND NILPOTENT MAPS Perhaps a warning is in order here: (pq)(φ) = 0 does not imply that one of p(φ), q(φ) must be zero. Proof. Write 1 = ap + bq for suitable a, b K[t]; these can be found using the extended Euclidean algorithm for polynomials. Then for v V we have v = a(φ)p(φ)v + b(φ)q(φ)v. The first term lies in ker q(φ), because q(φ)a(φ)p(φ)v = a(φ)(p(φ)q(φ))v = 0 (while linear maps in general do not commute, polynomials evaluated in φ do check this if you haven t already done so). Similarly, the second term b(φ)q(φ)v lies in ker p(φ). This shows that ker p(φ) + ker q(φ) = V. Finally, if v is in the intersection ker p(φ) ker q(φ), then the above shows that v = = 0. Hence the sum in ker p(φ) + ker q(φ) is direct, as claimed. Exercise Prove that, in the setting of the lemma, im p(φ) = ker q(φ) (and vice versa). In the lemma, both subspaces V 1 := ker p(φ) and V 2 := ker q(φ) are stable under φ, which means that φ maps V i into V i for i = 1, 2. Indeed, if v V 1, then p(φ)φv = φp(φ)v = 0 so that φv V 1, as well. Now factor p min as p m1 1 p mr r where the p i are distinct, monic, irreducible polynomials in K[t], and the exponents m i are strictly positive. Write q i := p mi i. The polynomial q 1 is coprime with q 2 q r. Hence we may apply the lemma and find V = ker q 1 (φ) ker(q 2 q r )(φ). Now let W be the second space on the right-hand side. This space is stable under φ, and the restriction φ W on it is a root of the polynomial q 2 q r. Moreover, q 2 is coprime with q 3 q r. Hence we may apply the lemma with V replaced by W, φ replaced by φ W, p replaced by q 2 and q replaced by q 3 q r to find W = ker q 2 (φ W ) ker(q 3 q r )(φ W ). Now ker q 2 (φ) V and ker(q 3 q r )(φ) V are both contained in W, so that we may as well write W = ker q 2 (φ) ker(q 3 q r )(φ), and hence V = ker q 1 (φ) ker q 2 (φ) ker(q 3 q r )(φ). Continuing in this fashion we find that V = ker q i (φ); in what follows we write V i := ker q i (φ) and φ i : V i V i for the restriction of φ to V i. Now recall that we are trying to find invariants and normal forms for linear maps under conjugation. Suppose that we have a second element ψ L(V ) and whant to find out whether it is in the same orbit as φ. First, we have already seen in Exercise that both minimal polynomials must be the same. Moreover, if φ = gψg 1, then for each i = 1,..., r, the linear map g maps ker q i (ψ) isomorphically onto V i. This proves that the dimensions of these spaces are invariants. Conversely, if these dimensions are the same for φ and for ψ, then one can choose arbitrary linear isomorphisms h i : ker q i (ψ) V i. These together give a linear isomorphism

6 3.3. THE PARTITION ASSOCIATED TO A NILPOTENT MAP 21 h : V V with the property that for ψ := hψh 1 we have ker q i (ψ ) = V i. Write ψ i for the restriction of ψ to V i. Of course, ψ and φ are GL(V )-conjugate if and only if ψ and φ are, and this is true if and only if each ψ i is GL(V i)-conjugate to each φ i. Indeed, if φ i = g i ψ i g 1 i, then the g i together define an element g of GL(V ) conjugating ψ into φ. Conversely, a g conjugate ψ into φ necessarily leaves each V i stable, and the restrictions g i to the V i conjugate ψ i into φ i. Now replace φ by a single φ i, and V by V i. The point of all this is that we have thus reduced the search for invariants and normal forms to the case where φ L(V ) is a root of a polynomial p m with p irreducible and monic. Then it follows that the minimal polynomial of φ itself must also be a power of p; assume that we have taken m minimal, so that p min = p m. In the next chapter, we will split such a linear map φ into two commuting parts: a semi-simple part φ s whose mimimal polynomial is p itself, and a nilpotent part φ n. The remainder of the present chapter deals with the latter types of matrices The partition associated to a nilpotent map Starting afresh, let V be a finite-dimensional vector space of dimension n, and let φ L(V ) be a linear map such that φ m = 0 for some sufficiently large m; such linear maps are called nilpotent. Note that any linear map conjugate to φ is then also nilpotent. Let m be the smallest natural number with φ m = 0, so that p min (φ) = t m. Exercise In the setting preceding this exercise, fix a non-zero vector v V and let p 0 be the largest exponent for which φ p v is non-zero. Prove that v, φv,..., φ p v are linearly independent. Conclude that m n. If p = n 1, give the matrix of φ with respect to the basis v, φv,..., φ n 1 v. Write K i V for ker φ i. Then we have 0 = K 0 K 1... K m = V because if φ i v = 0 then certainly φ i+1 v = φ(φ i v) = 0. Moreover, then also φ i 1 (φv) = 0, so that φ maps K i into K i 1. Hence φ induces linear maps φ i : K i+1 /K i K i /K i 1 mapping v + K i to φv + K i 1. Note that each φ i is injective: if φv already lies in K i 1, then φ i v = φ i 1 φv = 0, so that v K i and v + K i = 0. This shows that dim(k 1 /K 0 ) dim(k 2 /K 1 )... dim(k m /K m 1 ). Write λ i := dim(k i /K i 1 ) = dim K i dim K i 1 for i = 1,..., m. Then λ 1 + λ λ m (= dim K m dim K 0 ) = n and λ 1 λ 2... λ m > 0. A sequence (λ 1,..., λ m ) with these two properties is called a partition of n with parts λ 1,..., λ m. We call λ the partition associated to φ though this is non-standard terminology: usually the partition associated to φ is defined as the transpose of λ in the following sense. Definition Given any partition λ = (λ 1,..., λ m ) of n, we define a second partition λ = (λ 1,..., λ p) of n by p := λ 1 and λ k := {i {1,..., m} λ i k}. The partition λ is called the transpose of λ.

7 22 3. THE MINIMAL POLYNOMIAL AND NILPOTENT MAPS λ = (5, 5, 2, 1) λ = (4, 3, 2, 2, 2) Figure 1. A Young diagram of a partition and its transpose. Why this is called the transpose is best illustrated in terms of Young diagrams depicting λ and λ ; see Figure 1. Exercise Prove that λ is, indeed, a partition of n, and that (λ ) = λ. A straightforward check shows that the associated partition is an invariant under conjugation. The following theorem states that it is a complete invariant for nilpotent linear maps. Theorem Two nilpotent linear maps φ, ψ L(V ) are in the same orbit of the conjugation action of GL(V ) if and only if the partitions of n as constructed above from φ and ψ are the same. Morever, every partition of n occurs in this manner. The proof of the first part of this theorem will take up most of the remainder of this chapter. For the second part, it suffices to exhibit an n n-matrix giving rise to any partition λ = (λ 1,..., λ m ) of n. Let λ = (λ 1,..., λ p) be the transpose of λ. Let A be the block-diagonal n n-block matrix J... where J i =......, J p with λ i rows and columns (the block consists of a single zero if λ i equals 1). We claim that A gives rise the partition λ in the manner above. Indeed, J i contributes 1 to dim ker A k dim ker A k 1 if λ i k, and zero otherwise. Hence dim ker Ak dim ker A k 1 is the number of indices i for which λ i is at least k. This gives the transpose of λ, which is λ itself again Completeness of the associated partition Given a nilpotent linear map φ L(V ) with associated partition λ = (λ 1,..., λ m ) whose transpose is λ = (λ 1,..., λ p), we will prove that there exists a basis of V with respect to which φ has the matrix A constructed above. This then proves that any other nilpotent ψ L(V ) with the same associated partition λ is conjugate to φ. Let us first discuss the proof informally. To find such a basis, we need only find the right-most vector of each Jordan block ; the other vectors in each block are then found by repeatedly applying φ. The right-most vector in a Jordan block of size

8 3.4. COMPLETENESS OF THE ASSOCIATED PARTITION 23 i lies in ker φ i but not in ker φ i 1 (since then it would generate a block of smaller size) and neither in φ ker φ i+1 (since then it would lie in larger Jordan blocks ). This motivates the following construction: For i = 1,..., m let U i be a vector space complement in ker φ i of the span ker φ i 1 + φ ker φ i+1. This U i will play the role of span of the right-most vectors in Jordan blocks of size i. Then φ j is injective on U i for all j = 0,..., i 1 indeed, if φ j u = 0 for u U i, then certainly φ i 1 u = 0, and hence u = 0 since ker φ i 1 U i = {0} by choice of U i. We claim that in the φ-stable subspace W i := U i + φu i φ i 1 U i of V the sum is in fact direct. Indeed, suppose that u 0 + φu φ i 1 u i 1 = 0, where all u s are elements of U i. Applying φ i 1 to this yields that u 0 is zero. Applying φ i 2 then yields that u 1 is zero, etc. Hence u 0,..., u i 1 are all zero. Note that, so far, we have only used that U i intersects ker φ i 1 trivially. After choosing any basis C i of U i, we obtain a basis B i := i 1 j=0 φ j C i of W i, and after ordering B i suitably, we obtain an ordered basis such that the matrix of the restriction of φ to W i is a block diagonal matrix with dim U i -many Jordan blocks of size i. Next we set out to prove that V is the direct sum of all W i with i = 1,..., m; here we will use that U i intersects im φ + ker φ i 1 trivially. This follows from the second condition on U i, namely, if u U i can be written as φv + x with v V and x ker φ i 1, then we have 0 = φ i u = φ i+1 v + 0, so that v ker φ i+1. Hence u φ ker φ i+1 + ker φ i 1, and since U was required to intersect this space trivially, we find u = 0. Thus U intersects im φ+ker φ i 1 trivially, as claimed. Consequently, we have (1) φ j U i im φ j+1 = {0} for j = 0,..., i 1. Indeed, if φ j+1 v = φ j u with u U i and v V, then φ j (u φv) = 0, and hence in particular u φw ker φ i 1, so that u im φ + ker φ i 1, hence u = 0. Now suppose that 0 =φ 0 u 1,0 +φ 0 u 2,0 + φ 1 u 2, φ 0 u m 2, φ m 3 u m 2,m 3 +φ 0 u m 1,0 + φ 1 u m 1, φ m 2 u m 1,m 2 +φ 0 u m,0 + φ 1 u m,1 + φ 2 u m, φ m 1 u m,m 1 where u ij U i. Applying φ m 1 we find that φ m 1 u m,0 = 0, so u m,0 = 0. Then applying φ m 2 we find that φ m 2 u m 1,0 + φ m 1 u m,1 = 0.

9 24 3. THE MINIMAL POLYNOMIAL AND NILPOTENT MAPS By (1) with j = m 2 and i = m 1 we find that both terms must be zero. Using injectivity of φ j on U i with i > j, the first term yields u m 1,0 = 0. Similarly, we find u m1 = 0. Then applying φ m 3 we find, φ m 3 u m 2,0 + φ m 2 u m 1,1 + φ m 1 u m,2 = 0. This implies that the first term lies in im φ m 2, and by (1) applied with j = m 3 and i = m 2 we find that u m 2,0 = 0. Then the second term lies in im φ m 1, and applying (1) with j = m 2 and i = m 1 we find that u m 1,1 = 0. Then, finally, also the last term is zero. Repeating this reasoning for all of the diagonals in the expression above, we find that all u i,j are zero, and hence that the sum in W W m is direct. Finally, this sum is also all of V, as you are asked to prove below. Exercise By a dimension count, prove that V is spanned by the W i. Here you will need that U i is a vector space complement in ker φ i of ker φ i 1 +φ ker φ i+1, rather than just a vector space intersecting the latter space trivially (the latter is also true for the zero space, for instance). Exercise Write a Mathematica program that takes as input a nilpotent matrix and computes the associated partition. Apply this program to the matrix Exercise Let n = 3 and let K = F q be a field with q elements. (1) How many orbits does GL 3 (K) have by conjugation on the set of nilpotent 3 3-matrices? For each orbit, give a representative matrix A as above. (2) For each of these matrices A, compute the cardinality of the stabiliser {g GL 3 (K) gag 1 = A} of A, and deduce the cardinality of these orbits.

Multilinear Algebra and Applications (2MMD20, Fall 2015) Jan Draisma

Multilinear Algebra and Applications (2MMD20, Fall 2015) Jan Draisma Multilinear Algebra and Applications (2MMD20, Fall 2015) Jan Draisma CHAPTER 1 Basics We will assume familiarity with the terms field, vector space, subspace, basis, dimension, and direct sums. If you

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

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

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

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

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

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

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

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

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

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,

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

Linear and Bilinear Algebra (2WF04) Jan Draisma

Linear and Bilinear Algebra (2WF04) Jan Draisma Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 1 Basics We will assume familiarity with the terms field, vector space, subspace, basis, dimension, and direct sums. If you are not sure what these

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

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

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

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

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

The Cayley-Hamilton Theorem and the Jordan Decomposition

The Cayley-Hamilton Theorem and the Jordan Decomposition LECTURE 19 The Cayley-Hamilton Theorem and the Jordan Decomposition Let me begin by summarizing the main results of the last lecture Suppose T is a endomorphism of a vector space V Then T has a minimal

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

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

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Math 113 Final Exam: Solutions

Math 113 Final Exam: Solutions Math 113 Final Exam: Solutions Thursday, June 11, 2013, 3.30-6.30pm. 1. (25 points total) Let P 2 (R) denote the real vector space of polynomials of degree 2. Consider the following inner product on P

More information

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

More information

Linear Algebra. Min Yan

Linear Algebra. Min Yan Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

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

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

Notes on the matrix exponential

Notes on the matrix exponential Notes on the matrix exponential Erik Wahlén erik.wahlen@math.lu.se February 14, 212 1 Introduction The purpose of these notes is to describe how one can compute the matrix exponential e A when A is not

More information

The converse is clear, since

The converse is clear, since 14. The minimal polynomial For an example of a matrix which cannot be diagonalised, consider the matrix ( ) 0 1 A =. 0 0 The characteristic polynomial is λ 2 = 0 so that the only eigenvalue is λ = 0. The

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

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

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

COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES

COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

MODEL ANSWERS TO THE FOURTH HOMEWORK

MODEL ANSWERS TO THE FOURTH HOMEWORK MODEL ANSWES TO THE OUTH HOMEWOK 1. (i) We first try to define a map left to right. Since finite direct sums are the same as direct products, we just have to define a map to each factor. By the universal

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces WOMP 2001: LINEAR ALGEBRA DAN GROSSMAN Reference Roman, S Advanced Linear Algebra, GTM #135 (Not very good) Let k be a field, eg, R, Q, C, F q, K(t), 1 Vector spaces Definition A vector space over k is

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

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

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial

More information

MATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties

MATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,

More information

MATH SOLUTIONS TO PRACTICE MIDTERM LECTURE 1, SUMMER Given vector spaces V and W, V W is the vector space given by

MATH SOLUTIONS TO PRACTICE MIDTERM LECTURE 1, SUMMER Given vector spaces V and W, V W is the vector space given by MATH 110 - SOLUTIONS TO PRACTICE MIDTERM LECTURE 1, SUMMER 2009 GSI: SANTIAGO CAÑEZ 1. Given vector spaces V and W, V W is the vector space given by V W = {(v, w) v V and w W }, with addition and scalar

More information

The Cyclic Decomposition of a Nilpotent Operator

The Cyclic Decomposition of a Nilpotent Operator The Cyclic Decomposition of a Nilpotent Operator 1 Introduction. J.H. Shapiro Suppose T is a linear transformation on a vector space V. Recall Exercise #3 of Chapter 8 of our text, which we restate here

More information

QUATERNIONS AND ROTATIONS

QUATERNIONS AND ROTATIONS QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).

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

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

Problem 1.1. Classify all groups of order 385 up to isomorphism. Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5

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

Math 250: Higher Algebra Representations of finite groups

Math 250: Higher Algebra Representations of finite groups Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear

More information

CANONICAL FORMS FOR LINEAR TRANSFORMATIONS AND MATRICES. D. Katz

CANONICAL FORMS FOR LINEAR TRANSFORMATIONS AND MATRICES. D. Katz CANONICAL FORMS FOR LINEAR TRANSFORMATIONS AND MATRICES D. Katz The purpose of this note is to present the rational canonical form and Jordan canonical form theorems for my M790 class. Throughout, we fix

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

Bulletin of the Iranian Mathematical Society

Bulletin of the Iranian Mathematical Society ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:

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

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

A proof of the Jordan normal form theorem

A proof of the Jordan normal form theorem A proof of the Jordan normal form theorem Jordan normal form theorem states that any matrix is similar to a blockdiagonal matrix with Jordan blocks on the diagonal. To prove it, we first reformulate it

More information

Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

More information

Structure of rings. Chapter Algebras

Structure of rings. Chapter Algebras Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

More information

MIDTERM I LINEAR ALGEBRA. Friday February 16, Name PRACTICE EXAM SOLUTIONS

MIDTERM I LINEAR ALGEBRA. Friday February 16, Name PRACTICE EXAM SOLUTIONS MIDTERM I LIEAR ALGEBRA MATH 215 Friday February 16, 2018. ame PRACTICE EXAM SOLUTIOS Please answer the all of the questions, and show your work. You must explain your answers to get credit. You will be

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

Fix(g). Orb(x) i=1. O i G. i=1. O i. i=1 x O i. = n G

Fix(g). Orb(x) i=1. O i G. i=1. O i. i=1 x O i. = n G Math 761 Fall 2015 Homework 4 Drew Armstrong Problem 1 Burnside s Lemma Let X be a G-set and for all g G define the set Fix(g : {x X : g(x x} X (a If G and X are finite, prove that Fix(g Stab(x g G x X

More information

Math 504, Fall 2013 HW 2

Math 504, Fall 2013 HW 2 Math 504, Fall 203 HW 2. Show that the fields Q( 5) and Q( 7) are not isomorphic. Suppose ϕ : Q( 5) Q( 7) is a field isomorphism. Then it s easy to see that ϕ fixes Q pointwise, so 5 = ϕ(5) = ϕ( 5 5) =

More information

9. Finite fields. 1. Uniqueness

9. Finite fields. 1. Uniqueness 9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime

More information

JORDAN AND RATIONAL CANONICAL FORMS

JORDAN AND RATIONAL CANONICAL FORMS JORDAN AND RATIONAL CANONICAL FORMS MATH 551 Throughout this note, let V be a n-dimensional vector space over a field k, and let φ: V V be a linear map Let B = {e 1,, e n } be a basis for V, and let A

More information

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013

More information

5 Structure of 2-transitive groups

5 Structure of 2-transitive groups Structure of 2-transitive groups 25 5 Structure of 2-transitive groups Theorem 5.1 (Burnside) Let G be a 2-transitive permutation group on a set Ω. Then G possesses a unique minimal normal subgroup N and

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

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

Eigenvalues of Random Matrices over Finite Fields

Eigenvalues of Random Matrices over Finite Fields Eigenvalues of Random Matrices over Finite Fields Kent Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu September 5, 999 Abstract

More information

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

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

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS

ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON Abstract. It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy,

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 1 Fall 2014 I. Foundational material I.1 : Basic set theory Problems from Munkres, 9, p. 64 2. (a (c For each of the first three parts, choose a 1 1 correspondence

More information

Representation Theory

Representation Theory Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

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

MATH PRACTICE EXAM 1 SOLUTIONS

MATH PRACTICE EXAM 1 SOLUTIONS MATH 2359 PRACTICE EXAM SOLUTIONS SPRING 205 Throughout this exam, V and W will denote vector spaces over R Part I: True/False () For each of the following statements, determine whether the statement is

More information

Algebra Exam Syllabus

Algebra Exam Syllabus Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate

More information

Math 110, Spring 2015: Midterm Solutions

Math 110, Spring 2015: Midterm Solutions Math 11, Spring 215: Midterm Solutions These are not intended as model answers ; in many cases far more explanation is provided than would be necessary to receive full credit. The goal here is to make

More information

January 2016 Qualifying Examination

January 2016 Qualifying Examination January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,

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

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

Linear Algebra 2 Spectral Notes

Linear Algebra 2 Spectral Notes Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex

More information

Math 145. Codimension

Math 145. Codimension Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

More information

Two subgroups and semi-direct products

Two subgroups and semi-direct products Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset

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

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v ) Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O

More information

ON k-subspaces OF L-VECTOR-SPACES. George M. Bergman

ON k-subspaces OF L-VECTOR-SPACES. George M. Bergman ON k-subspaces OF L-VECTOR-SPACES George M. Bergman Department of Mathematics University of California, Berkeley CA 94720-3840, USA gbergman@math.berkeley.edu ABSTRACT. Let k L be division rings, with

More information

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

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =. FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts

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

MODEL ANSWERS TO THE FIRST HOMEWORK

MODEL ANSWERS TO THE FIRST HOMEWORK MODEL ANSWERS TO THE FIRST HOMEWORK 1. Chapter 4, 1: 2. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above

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

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

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

MATHEMATICS 217 NOTES

MATHEMATICS 217 NOTES MATHEMATICS 27 NOTES PART I THE JORDAN CANONICAL FORM The characteristic polynomial of an n n matrix A is the polynomial χ A (λ) = det(λi A), a monic polynomial of degree n; a monic polynomial in the variable

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

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