PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof of Cayley-Hamilton theorem in a commutative ring (Proof)

Let $R$ be a commutative ring with identity and let $A$ be an order $n$ matrix with elements from $R[x]$ . For example, if $A$ is $\begin{pmatrix} x^2+2x & 7x^2 \\ x+1 & 5 \end{pmatrix}$

then we can also associate with $A$ the following polynomial having matrix coefficents:

$\displaystyle A^\sigma = \left[ {0 \atop 1}\quad {0 \atop 5} \right] + \left[{2... ...uad{ 0 \atop 0} \right]x + \left[ {1 \atop 0 } \quad{ 7 \atop 0 } \right]x^2 . $

In this way we have a mapping $A\longrightarrow A^\sigma$ which is an isomorphism of the rings $M_{n}(R[x])$ and $M_{n}(R)[x]$ .

Now let $A \in M_{n}(R)$ and consider the characteristic polynomial of $A$ : $p_{A}(x) = \det(xI - A)$ , which is a monic polynomial of degree $n$ with coefficients in $R$ . Using a property of the adjugate matrix we have $$(xI-A)\operatorname{adj}(xI-A) = p_{A}(x)I.$$ Now view this as an equation in $M_{n}(R)[x]$ . It says that $xI-A$ is a left factor of $p_{A}(x)$ . So by the factor theorem, the left hand value of $p_{A}(x)$ at $x=A$ is 0. The coefficients of $p_{A}(x)$ have the form $cI$ , for $c\in R$ , so they commute with $A$ . Therefore right and left hand values are the same.

Bibliography

1
Malcom F. Smiley. Algebra of Matrices. Allyn and Bacon, Inc., 1965. Boston, Mass.




"proof of Cayley-Hamilton theorem in a commutative ring" is owned by Mathprof.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: right, factor theorem, factor, equation, adjugate, property, coefficients, degree, monic polynomial, characteristic polynomial, rings, isomorphism, mapping, polynomial, associate, matrix, order, identity, commutative ring

This is version 8 of proof of Cayley-Hamilton theorem in a commutative ring, born on 2006-06-28, modified 2006-10-18.
Object id is 8106, canonical name is ProofOfCayleyHamiltonTheoremInACommutativeRing.
Accessed 1894 times total.

Classification:
AMS MSC15A15 (Linear and multilinear algebra; matrix theory :: Determinants, permanents, other special matrix functions)
 15A18 (Linear and multilinear algebra; matrix theory :: Eigenvalues, singular values, and eigenvectors)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)