Rational Canonical Form

Size: px
Start display at page:

Download "Rational Canonical Form"

Transcription

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

2 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

3 Introduction k[x]-modules Matrix Representation of Cyclic Submodules The Decomposition Theorem Why do we need? Consider the matrix over R, A = This matrix has characteristic polynomial x 4 + 9x 3 97x x 9226

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

5 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 a 0 is the matrix of the form: a a a a a n 1

6 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.

7 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

8 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

9 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.

10 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

11 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.

12 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.

13 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.

14 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

15 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

16 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}

17 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

18 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

19 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).

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

21 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)}

22 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)} a a a a a n 1

23 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 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}.

24 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 ).

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

26 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

27 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

28 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,...

29 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

30 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

31 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

32 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

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

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

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

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

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

Modules Over Principal Ideal Domains

Modules Over Principal Ideal Domains Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this

More information

The Cyclic Decomposition Theorem

The Cyclic Decomposition Theorem The Cyclic Decomposition Theorem Math 481/525, Fall 2009 Let V be a finite-dimensional F -vector space, and let T : V V be a linear transformation. In this note we prove that V is a direct sum of cyclic

More information

M.6. Rational canonical form

M.6. Rational canonical form book 2005/3/26 16:06 page 383 #397 M.6. RATIONAL CANONICAL FORM 383 M.6. Rational canonical form In this section we apply the theory of finitely generated modules of a principal ideal domain to study the

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

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Minimum Polynomials of Linear Transformations

Minimum Polynomials of Linear Transformations Minimum Polynomials of Linear Transformations Spencer De Chenne University of Puget Sound 30 April 2014 Table of Contents Polynomial Basics Endomorphisms Minimum Polynomial Building Linear Transformations

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

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

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

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

Algebra Prelim Notes

Algebra Prelim Notes Algebra Prelim Notes Eric Staron Summer 2007 1 Groups Define C G (A) = {g G gag 1 = a for all a A} to be the centralizer of A in G. In particular, this is the subset of G which commuted with every element

More information

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS Definition 0.1. Let R be a domain. We say that R is normal (integrally closed) if R equals the integral closure in its fraction field Q(R). Proposition 0.2.

More information

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

ELG 5372 Error Control Coding. Lecture 12: Ideals in Rings and Algebraic Description of Cyclic Codes ELG 5372 Error Control Coding Lecture 12: Ideals in Rings and Algebraic Description of Cyclic Codes Quotient Ring Example + Quotient Ring Example Quotient Ring Recall the quotient ring R={,,, }, where

More information

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

BENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains. FINITELY GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN BENJAMIN LEVINE Abstract. We will explore classification theory concerning the structure theorem for finitely generated modules over a principal

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

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

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

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

Topics in Module Theory

Topics in Module Theory Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and constructions concerning modules over (primarily) noncommutative rings that will be needed to study

More information

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

Name: Solutions. Determine the matrix [T ] C B. The matrix is given by A = [T ] C B = Name: Solutions 1. (5 + 5 + 15 points) Let F = F 7. Recall we defined for a positive integer n a vector space P n (F ) by P n (F ) = {f(x) F [x] : deg(f) n}. (a) What is the dimension of P n (F ) over

More information

SUPPLEMENT TO CHAPTERS VII/VIII

SUPPLEMENT TO CHAPTERS VII/VIII SUPPLEMENT TO CHAPTERS VII/VIII The characteristic polynomial of an operator Let A M n,n (F ) be an n n-matrix Then the characteristic polynomial of A is defined by: C A (x) = det(xi A) where I denotes

More information

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

(Can) Canonical Forms Math 683L (Summer 2003) M n (F) C((x λ) ) = (Can) Canonical Forms Math 683L (Summer 2003) Following the brief interlude to study diagonalisable transformations and matrices, we must now get back to the serious business of the general case. In this

More information

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I

More information

MATH 5b: Solutions to Homework Set 7 March 2015

MATH 5b: Solutions to Homework Set 7 March 2015 MATH 5b: Solutions to Homework Set 7 March 215 1. It is easy to see that the characteristic polynomial of the matrix is X 3 X = X(X + 1)(X 1). It is then clear from the factorization that this is the only

More information

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

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 MAS 5312 Section 2779 Introduction to Algebra 2 Solutions to Selected Problems, Chapters 11 13 11.2.9 Given a linear ϕ : V V such that ϕ(w ) W, show ϕ induces linear ϕ W : W W and ϕ : V/W V/W : Solution.

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

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

12 Hilbert polynomials

12 Hilbert polynomials 12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout

More information

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

Commutative Rings in General and the last development of my Research and Further Development Commutative Rings in General and the last development of my Research and Further Development 1. Commutative Rings Z is the ring of integers and Q is the field of rationals Z a > 0, (1) a = p e 1 1... pe

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

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

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

0.1 Rational Canonical Forms

0.1 Rational Canonical Forms We have already seen that it is useful and simpler to study linear systems using matrices. But matrices are themselves cumbersome, as they are stuffed with many entries, and it turns out that it s best

More information

Fundamental theorem of modules over a PID and applications

Fundamental theorem of modules over a PID and applications Fundamental theorem of modules over a PID and applications Travis Schedler, WOMP 2007 September 11, 2007 01 The fundamental theorem of modules over PIDs A PID (Principal Ideal Domain) is an integral domain

More information

The Jordan Canonical Form

The Jordan Canonical Form The Jordan Canonical Form The Jordan canonical form describes the structure of an arbitrary linear transformation on a finite-dimensional vector space over an algebraically closed field. Here we develop

More information

Infinite-Dimensional Triangularization

Infinite-Dimensional Triangularization Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector

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

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

MTH 302: Modules. Semester 2, Dr. Prahlad Vaidyanathan MTH 302: Modules Semester 2, 2013-2014 Dr. Prahlad Vaidyanathan Contents Finite Abelian Groups............................... 3 I. Rings...................................... 3 1. Definition and Examples.......................

More information

Krull Dimension and Going-Down in Fixed Rings

Krull Dimension and Going-Down in Fixed Rings David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =

More information

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

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G. Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite

More information

Finitely Generated Modules over a PID, I

Finitely Generated Modules over a PID, I Finitely Generated Modules over a PID, I A will throughout be a fixed PID. We will develop the structure theory for finitely generated A-modules. Lemma 1 Any submodule M F of a free A-module is itself

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Modules over Principal Ideal Domains

Modules over Principal Ideal Domains Modules over Principal Ideal Domains Let henceforth R denote a commutative ring with 1. It is called a domain iff it has no zero-divisors, i.e. if ab = 0 then either a or b is zero. Or equivalently, two

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

(VI.C) Rational Canonical Form

(VI.C) Rational Canonical Form (VI.C) Rational Canonical Form Let s agree to call a transformation T : F n F n semisimple if there is a basis B = { v,..., v n } such that T v = λ v, T v 2 = λ 2 v 2,..., T v n = λ n for some scalars

More information

Written Homework # 5 Solution

Written Homework # 5 Solution Math 516 Fall 2006 Radford Written Homework # 5 Solution 12/12/06 Throughout R is a ring with unity. Comment: It will become apparent that the module properties 0 m = 0, (r m) = ( r) m, and (r r ) m =

More information

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

More information

Fundamental Theorem of Algebra

Fundamental Theorem of Algebra EE 387, Notes 13, Handout #20 Fundamental Theorem of Algebra Lemma: If f(x) is a polynomial over GF(q) GF(Q), then β is a zero of f(x) if and only if x β is a divisor of f(x). Proof: By the division algorithm,

More information

August 2015 Qualifying Examination Solutions

August 2015 Qualifying Examination Solutions August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,

More information

IDEAL CLASSES AND RELATIVE INTEGERS

IDEAL CLASSES AND RELATIVE INTEGERS IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,

More information

Torsion Graph of Modules

Torsion Graph of Modules E extracta mathematicae Vol. 26, Núm. 1, 153 163 (2011) Torsion Graph of Modules Sh. Ghalandarzadeh, P. Malakooti Rad Department of Mathematics, Faculty of Science, K. N. Toosi University of Technology,

More information

Dedekind Domains. Mathematics 601

Dedekind Domains. Mathematics 601 Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite

More information

List of topics for the preliminary exam in algebra

List of topics for the preliminary exam in algebra List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.

More information

Group Theory. Ring and Module Theory

Group Theory. Ring and Module Theory Department of Mathematics University of South Florida QUALIFYING EXAM ON ALGEBRA Saturday, May 14, 016 from 9:00 am to 1:00 noon Examiners: Brian Curtin and Dmytro Savchuk This is a three hour examination.

More information

Math 593: Problem Set 7

Math 593: Problem Set 7 Math 593: Problem Set 7 Feng Zhu, Punya Satpathy, Alex Vargo, Umang Varma, Daniel Irvine, Joe Kraisler, Samantha Pinella, Lara Du, Caleb Springer, Jiahua Gu, Karen Smith 1 Basics properties of tensor product

More information

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

Minimal-span bases, linear system theory, and the invariant factor theorem Minimal-span bases, linear system theory, and the invariant factor theorem G. David Forney, Jr. MIT Cambridge MA 02139 USA DIMACS Workshop on Algebraic Coding Theory and Information Theory DIMACS Center,

More information

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

Lecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules. Lecture 8 1. Associated Primes and Primary decomposition for Modules We would like to describe in more detail the structure of submodules of a finitely generated module M over a Noetherian ring A. We will

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

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

Assigned homework problems S. L. Kleiman, fall 2008

Assigned homework problems S. L. Kleiman, fall 2008 18.705 Assigned homework problems S. L. Kleiman, fall 2008 Problem Set 1. Due 9/11 Problem R 1.5 Let ϕ: A B be a ring homomorphism. Prove that ϕ 1 takes prime ideals P of B to prime ideals of A. Prove

More information

Abstract Algebra: Chapters 16 and 17

Abstract Algebra: Chapters 16 and 17 Study polynomials, their factorization, and the construction of fields. Chapter 16 Polynomial Rings Notation Let R be a commutative ring. The ring of polynomials over R in the indeterminate x is the set

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

Section II.2. Finitely Generated Abelian Groups

Section II.2. Finitely Generated Abelian Groups II.2. Finitely Generated Abelian Groups 1 Section II.2. Finitely Generated Abelian Groups Note. In this section we prove the Fundamental Theorem of Finitely Generated Abelian Groups. Recall that every

More information

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

POLYNOMIAL FUNCTIONS IN THE RESIDUE CLASS RINGS OF DEDEKIND DOMAINS arxiv: v4 [math.nt] 25 Sep 2018 POLYNOMIAL FUNCTIONS IN THE RESIDUE CLASS RINGS OF DEDEKIND DOMAINS arxiv:1704.04965v4 [math.nt] 25 Sep 2018 XIUMEI LI AND MIN SHA Abstract. In this paper, as an extension of the integer case, we define

More information

Piecewise Noetherian Rings

Piecewise Noetherian Rings Northern Illinois University UNAM 25 May, 2017 Acknowledgments Results for commutative rings are from two joint papers with William D. Weakley,, Comm. Algebra (1984) and A note on prime ideals which test

More information

Algebra Exam Topics. Updated August 2017

Algebra Exam Topics. Updated August 2017 Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have

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

Algebra Exam, Spring 2017

Algebra Exam, Spring 2017 Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified

More information

ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES

ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (554 568) 554 ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES Razieh Mahjoob Vahid Ghaffari Department of Mathematics Faculty of Mathematics Statistics

More information

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

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation; 4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length

More information

(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

(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 The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Handout - Algebra Review

Handout - Algebra Review Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much

More information

ECEN 604: Channel Coding for Communications

ECEN 604: Channel Coding for Communications ECEN 604: Channel Coding for Communications Lecture: Introduction to Cyclic Codes Henry D. Pfister Department of Electrical and Computer Engineering Texas A&M University ECEN 604: Channel Coding for Communications

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

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

Math 210B: Algebra, Homework 4

Math 210B: Algebra, Homework 4 Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,

More information

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,

More information

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

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

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

Injective Modules and Matlis Duality

Injective Modules and Matlis Duality Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following

More information

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

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

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

11. Finitely-generated modules

11. Finitely-generated modules 11. Finitely-generated modules 11.1 Free modules 11.2 Finitely-generated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules

More information

Introduction to modules

Introduction to modules Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available

More information

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

Group Algebras with the Bounded Splitting Property. Derek J.S. Robinson. Ischia Group Theory 2014 Group Algebras with the Bounded Splitting Property Derek J.S. Robinson University of Illinois at Urbana-Champaign Ischia Group Theory 2014 (Joint work with Blas Torrecillas, University of Almería) Derek

More information

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

More information

Quasi-primary submodules satisfying the primeful property II

Quasi-primary submodules satisfying the primeful property II Hacettepe Journal of Mathematics and Statistics Volume 44 (4) (2015), 801 811 Quasi-primary submodules satisfying the primeful property II Hosein Fazaeli Moghimi and Mahdi Samiei Abstract In this paper

More information

A Theorem on Unique Factorization Domains Analogue for Modules

A Theorem on Unique Factorization Domains Analogue for Modules Int. J. Contemp. Math. Sciences, Vol. 6, 2011, no. 32, 1589-1596 A Theorem on Unique Factorization Domains Analogue for Modules M. Roueentan Department of Mathematics Shiraz University, Iran m.rooeintan@yahoo.com

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (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

Jordan Canonical Form

Jordan Canonical Form Jordan Canonical Form Suppose A is a n n matrix operating on V = C n. First Reduction (to a repeated single eigenvalue). Let φ(x) = det(x A) = r (x λ i ) e i (1) be the characteristic equation of A. Factor

More information

TEST CODE: PMB SYLLABUS

TEST CODE: PMB SYLLABUS TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional

More information

Lecture 28: Fields, Modules, and vector spaces

Lecture 28: Fields, Modules, and vector spaces Lecture 28: Fields, Modules, and vector spaces 1. Modules Just as groups act on sets, rings act on abelian groups. When a ring acts on an abelian group, that abelian group is called a module over that

More information

Algebra Ph.D. Preliminary Exam

Algebra Ph.D. Preliminary Exam RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you

More information

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

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

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 MATHEMATICS Introduction to Modern Algebra II Review. (1) Give an example of a non-commutative ring; a ring without unit; a division ring which is not a eld and a ring which is not a domain. (2) Show that

More information

Definition (T -invariant subspace) Example. Example

Definition (T -invariant subspace) Example. Example Eigenvalues, Eigenvectors, Similarity, and Diagonalization We now turn our attention to linear transformations of the form T : V V. To better understand the effect of T on the vector space V, we begin

More information

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

Ph 219b/CS 219b. Exercises Due: Wednesday 21 November 2018 H = 1 ( ) 1 1. in quantum circuit notation, we denote the Hadamard gate as h 29b/CS 29b Exercises Due: Wednesday 2 November 208 3. Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for quantum

More information

6. Modules over Principal Ideal Domains.

6. Modules over Principal Ideal Domains. 6. Modules over Principal Ideal Domains. The aim of this chapter is to determine the structure of any finitely generated module over a commutative principal ideal domain R (hereafter abbreviated as PID).

More information

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

Math 554 Qualifying Exam. You may use any theorems from the textbook. Any other claims must be proved in details. Math 554 Qualifying Exam January, 2019 You may use any theorems from the textbook. Any other claims must be proved in details. 1. Let F be a field and m and n be positive integers. Prove the following.

More information