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 
