Rational Canonical Form

Similar documents
Algebra Homework, Edition 2 9 September 2010

Modules Over Principal Ideal Domains

The Cyclic Decomposition Theorem

M.6. Rational canonical form

Bulletin of the Iranian Mathematical Society


Minimum Polynomials of Linear Transformations

Algebra Exam Syllabus

QUALIFYING EXAM IN ALGEBRA August 2011

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Algebra Prelim Notes

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS

ELG 5372 Error Control Coding. Lecture 12: Ideals in Rings and Algebraic Description of Cyclic Codes

BENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains.

Topics in linear algebra

ALGEBRA QUALIFYING EXAM SPRING 2012

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

CANONICAL FORMS FOR LINEAR TRANSFORMATIONS AND MATRICES. D. Katz

Topics in Module Theory

Name: Solutions. Determine the matrix [T ] C B. The matrix is given by A = [T ] C B =

SUPPLEMENT TO CHAPTERS VII/VIII

(Can) Canonical Forms Math 683L (Summer 2003) M n (F) C((x λ) ) =

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA

MATH 5b: Solutions to Homework Set 7 March 2015

Solution. That ϕ W is a linear map W W follows from the definition of subspace. The map ϕ is ϕ(v + W ) = ϕ(v) + W, which is well-defined since

4. Noether normalisation

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

12 Hilbert polynomials

Commutative Rings in General and the last development of my Research and Further Development

Math 121 Homework 5: Notes on Selected Problems

38 Irreducibility criteria in rings of polynomials

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

0.1 Rational Canonical Forms

Fundamental theorem of modules over a PID and applications

The Jordan Canonical Form

Infinite-Dimensional Triangularization

JORDAN AND RATIONAL CANONICAL FORMS

MTH 302: Modules. Semester 2, Dr. Prahlad Vaidyanathan

Krull Dimension and Going-Down in Fixed Rings

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Finitely Generated Modules over a PID, I

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Modules over Principal Ideal Domains

Rings. EE 387, Notes 7, Handout #10

(VI.C) Rational Canonical Form

Written Homework # 5 Solution

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Fundamental Theorem of Algebra

August 2015 Qualifying Examination Solutions

IDEAL CLASSES AND RELATIVE INTEGERS

Torsion Graph of Modules

Dedekind Domains. Mathematics 601

List of topics for the preliminary exam in algebra

Group Theory. Ring and Module Theory

Math 593: Problem Set 7

Minimal-span bases, linear system theory, and the invariant factor theorem

Lecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules.

1. Group Theory Permutations.

MATHEMATICS 217 NOTES

Assigned homework problems S. L. Kleiman, fall 2008

Abstract Algebra: Chapters 16 and 17

Rings and groups. Ya. Sysak

Section II.2. Finitely Generated Abelian Groups

POLYNOMIAL FUNCTIONS IN THE RESIDUE CLASS RINGS OF DEDEKIND DOMAINS arxiv: v4 [math.nt] 25 Sep 2018

Piecewise Noetherian Rings

Algebra Exam Topics. Updated August 2017

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

Algebra Exam, Spring 2017

ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Handout - Algebra Review

ECEN 604: Channel Coding for Communications

Representations and Linear Actions

Some notes on linear algebra

Math 210B: Algebra, Homework 4

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

January 2016 Qualifying Examination

Injective Modules and Matlis Duality

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

Review of Linear Algebra

11. Finitely-generated modules

Introduction to modules

Group Algebras with the Bounded Splitting Property. Derek J.S. Robinson. Ischia Group Theory 2014

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

Quasi-primary submodules satisfying the primeful property II

A Theorem on Unique Factorization Domains Analogue for Modules

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

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

Jordan Canonical Form

TEST CODE: PMB SYLLABUS

Lecture 28: Fields, Modules, and vector spaces

Algebra Ph.D. Preliminary Exam

Sample algebra qualifying exam

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr

Definition (T -invariant subspace) Example. Example

Ph 219b/CS 219b. Exercises Due: Wednesday 21 November 2018 H = 1 ( ) 1 1. in quantum circuit notation, we denote the Hadamard gate as

6. Modules over Principal Ideal Domains.

Math 554 Qualifying Exam. You may use any theorems from the textbook. Any other claims must be proved in details.

Transcription:

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem May 2014

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Table of Contents Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Why do we need? Consider the matrix over R, 5 6 3 4 A = 1 9 2 7 4 2 8 10 21 14 6 3 This matrix has characteristic polynomial x 4 + 9x 3 97x 2 + 567x 9226

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Why do we need? Consider the matrix over R, 5 6 3 4 A = 1 9 2 7 4 2 8 10 21 14 6 3 This matrix has characteristic polynomial x 4 + 9x 3 97x 2 + 567x 9226 Can not find Jordan Canonical Form for this matrix.

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem What is? Recall that a companion matrix for a polynomial f (x) = x n + a n 1 x n 1 +... + a 0 is the matrix of the form: 0 0... 0 a 0 1 0... 0 a 1 0 1... 0 a 2 0 0... 0 a 3.............. 0 0... 1 a n 1

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem A matrix in is a matrix of the form C[f n ] C[f n 1 ]... C[f1] Where C[f i ] is a companion matrix for the polynomial f i. Furthermore, f n f n 1... f 1.

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem k[x]-modules Definition Recall that a k[x]-module is a module with scalars from the ring k[x] and scalar multiplication defined as follows: Given f (x) k[x], f (x)v = n a i x i v = n a i T i (v) = f (T )(v). i=0 i=0

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem k[x]-modules Definition Recall that a k[x]-module is a module with scalars from the ring k[x] and scalar multiplication defined as follows: Given f (x) k[x], f (x)v = n a i x i v = n a i T i (v) = f (T )(v). i=0 We can think of this as the module associated with the linear transformation T i=0

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Definition Given an R-module, M, and m M, the annihilator of m M is: ann(m) = {r R : rm = 0}. Theorem Given a vector space V over a field F and a linear transformation T : V V, the F [x]-module, V T, is a torsion module.

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Definition Given an R-module, M, and m M, the annihilator of m M is: ann(m) = {r R : rm = 0}. Theorem Given a vector space V over a field F and a linear transformation T : V V, the F [x]-module, V T, is a torsion module. Proof. the set {v, T (v), T 2 (v),..., T n (v)} is linearly dependent since it contains n + 1 vectors. g(x) = n a i x i ann(v) i=0

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Definition If M is an R-module, then a submodule N of M, denoted N M is an additive subgroup N of M closed under scalar multiplication. That is, rn N for n N and r R.

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Definition If M is an R-module, then a submodule N of M, denoted N M is an additive subgroup N of M closed under scalar multiplication. That is, rn N for n N and r R. Theorem Given a vector space V over a field F and a linear transformation, T : V V, a submodule W of the F [x]-module V T is a T -invariant subspace. More specifically, T (W ) W.

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem The Minimal Polynomial and k[x]-modules Definition The annihilator of a module, M, is: ann(m) = {r R : rm = 0 for all m M} Definition The Minimal Polynomial of a matrix A, denoted m A (x), is the unique monic polynomial of least degree such that m A (A) = 0.

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem The Minimal Polynomial and k[x]-modules These two terms are related for k[x]-modules

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem The Minimal Polynomial and k[x]-modules These two terms are related for k[x]-modules ann(v T ) ={f (x) F [x] f (x)v = 0 for all v V } ={f (x) F [x] f (T )v = 0 for all v V } ={f (x) F [x] f (T ) = 0} We can use these terms synonymously

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Matrix Representation of Cyclic Submodules Definition Given an R-module, M, and an element m M, the cyclic submodule generated by m is m = {rm : r R}

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Matrix Representation of Cyclic Submodules Definition Given an R-module, M, and an element m M, the cyclic submodule generated by m is m = {rm : r R} Since a submodule, W, of a k[x]-module is T -invariant, we can examine the matrix representation T W

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Matrix Representation of Cyclic Submodules Definition Given an R-module, M, and an element m M, the cyclic submodule generated by m is m = {rm : r R} Since a submodule, W, of a k[x]-module is T -invariant, we can examine the matrix representation T W Let us look at T restricted to cyclic submodules of k[x]-modules

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Theorem Let W = w be a cyclic submodule of the F [x]-module V T and deg(m T W (x)) = n. Then the set {T n 1 (w), T n 2 (w),..., T (w), w} is a basis for W. Proof. By the division algorithm, we can write any polynomial f (x) = m(x)q(x) + r(x) where m(x) is the minimal polynomial of T W with deg=n and deg(r(x)) < n so, for any w 1 W, w 1 =r(x)w =r(t )w =a n 1 T n 1 (w) + a n 2 T n 2 (w) +... + a 0 (w).

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Proof cont. Consider the relation of linear dependence: a n 1 T n 1 (w) + a n 2 T n 2 (w) +... + a 0 (w) = 0 a n 1 T n 1 (w) + a n 2 T n 2 (w) +... + a 0 (w) = p(x)w, deg(p(x)) < deg(m(x))

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Now consider the matrix representation of T W relative to the basis {w, T (w),..., T n 1 (w)}

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Now consider the matrix representation of T W relative to the basis {w, T (w),..., T n 1 (w)} 0 0... 0 a 0 1 0... 0 a 1 0 1... 0 a 2 0 0... 0 a 3.............. 0 0... 1 a n 1

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Primary Decomposition Theorem Let M be a finitely generated torsion module over a principal ideal domain, D, and let ann(m) = u, u = p e 1 1 pe 2 2...pen n where each p i is prime in D. Then M = M p1 M p2... M pn where M pi = {v V : pi ev = 0}.

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Cyclic Decomposition Theorem Let M be a primary, finitely generated torsion module over a principle ideal domain, R with ann(m) = p e, then M is the direct sum, M = v 1 v 2... v n where ann( v i ) = p e i and the terms in each cyclic decomposition can be arranged such that ann(v 1 ) ann(v 2 )... ann(v n ).

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Therefore, we can write: V T = M p1 M p2... M pn = ( v 1,1 v 1,2... v 1,k1 )... ( v n,1... v n,kn )

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Therefore, we can write: V T = M p1 M p2... M pn = ( v 1,1 v 1,2... v 1,k1 )... ( v n,1... v n,kn ) ann( v i,j ) = p e i,j i

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Therefore, we can write: V T = M p1 M p2... M pn = ( v 1,1 v 1,2... v 1,k1 )... ( v n,1... v n,kn ) ann( v i,j ) = p e i,j i p e i i = p e i,1 i p e i,2 i... p e i,k i i

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem The Invariant Factor Decomposition We can rearange these cyclic subspaces into the following groups W 1 = v 1,1 v 2,1... v n,1 W 2 = v 1,2 v 2,2... v n,2. each W i is cyclic with order p e 1,i p e 2,i...p e j,i = d i Each d i is called an invariant factor of V T Notice that since d 1 = p e 1,1 1 p e 2,1 2...p e n,1 n, d 2 = p e 1,2 We can conclude that d n d n 1... d 1 1 p e 2,2 2...p e n,2 n,...

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Example Suppose that W is a torsion module with order p e 1 1 pe 2 2 pe 3 3 W = M p1 M p2 M p3 Suppose that M p1 M p2 M p3 = ( v 1,1 v 1,2 v 1,3 ) ( v 2,1 v 2,2 ) ( v 3,1 ) Then the p e 1 1 = ann(v 1,1) ann(v 1,2 ) ann(v 1,3 ), p e 2 2 = ann(v 2,1 ) ann(v 2,2 ), p e 3 3 = ann(v 3,1). W = ( v 1,1 v 2,1 v 3,1 ) ( v 1,2 v 2,2 ) ( v 1,3 ) d 1 = p e 1,1 1 p e 2,1 2 p e 3,1 3 = p e 1 1 pe 2 2 pe 3 3, d 2 = p e 1,2 1 p e 2,2 2, and d 3 = p e 1,3 1

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Given any matrix, we can realize this matrix as the linear transformation, T, associated with the k[x] module, V T

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Given any matrix, we can realize this matrix as the linear transformation, T, associated with the k[x] module, V T The first invariant factor will be the minimum polynomial

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Given any matrix, we can realize this matrix as the linear transformation, T, associated with the k[x] module, V T The first invariant factor will be the minimum polynomial Each invariant factor will be a factor of the minimum polynomial

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Example Consider the matrix, 2 0 0 1 4 1 2 4 0

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Example Consider the matrix, 2 0 0 1 4 1 2 4 0 characteristic polynomial is x 3 + 6x 2 + 12x + 8 = (x + 2) 3

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Example Consider the matrix, 2 0 0 1 4 1 2 4 0 characteristic polynomial is x 3 + 6x 2 + 12x + 8 = (x + 2) 3 minimal polynomial is (x + 2) 2 since (A + 2I ) 2 = 0 invariant factors are (x + 2) 2 and x + 2

Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Example cont. Therefore, the rational canonical form of this matrix is: 2 0 0 0 0 4 0 1 4