Allows for understanding the Characteristic Polynomial based off the restriction operator for a certain prime factor. ()
Theorem
- Let
- Let be the Minimal Polynomial with for with prime factorization (in other words, are distinct irreducible monic polynomials and )
- Let for Then we get the properties:
- is -invariant for all
- if is a restriction to , then is the Minimal Polynomial of
Properties
- The minimal polynomial of each of the are a power of a single prime factor
- If the characteristic polynomial has the same prime factors as the minimal polynomial, (i.e ) then we can characterize the dimension
Guides
Proof
Proving 1
- We show that is a Direct Sum by showing that for all
- Suppose , and . As and are Coprime, then we know there exists polynomial , such that
- This implies that
- So,
- As , then:
- …
Proving 2
- Note that commutes with
- It follows immediately that is -invariant
Proving 3
- Let be the restriction of to
- is the minimal polynomial of
- Since , annihilates
- This, .
- This means that we can write for some