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:
  1. is -invariant for all
  2. if is a restriction to , then is the Minimal Polynomial of

Properties

  1. The minimal polynomial of each of the are a power of a single prime factor
  2. 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