160 CHAPTER 7. CANONICAL FORMS

Thus, since M is a direct sum, for each r, φkαr = φ

k+1β r and so αr is a multiple of φ .

Hence [αr] = 0 for each r and this is indeed a basis for φkM/φ

k+1M over D̂. It follows thatthe dimension of φ

kM/φk+1M over D̂ is s− j where k ∈ [l j, l j+1), the number of v j+1 for

l j+1 > k.Suppose that M = Dw1⊕·· ·⊕Dwt such that the minimum polynomial of L restricted

to Dw j is φm j (x). The question is whether s = t and m j = l j. It was just shown that for k

a positive integer, the dimension of φkM/φ

k+1M is the number of v j for l j > k. Similarlyit is the number of w j for m j > k and this must be the same number because φ

kM/φk+1M

does not depend on the v j or the wr. Any two bases have the same number of vectors. Inother words, for each k there are the same number of m j larger than k as there are l j largerthan k. Hence s = t. Also the l j coincide with the m j in addition to having the same numberof them. To see the last claim, suppose not. Then consider the first i such that li ̸= mi. Letk be the smaller of the two to contradict that there are the same number of l j and m j largerthan k. Say k = li. There are r+ 1 of the l j larger than k− 1 and r of the m j larger thank−1.

Theorem 7.5.2 Suppose V is a finite dimensional vector space and L∈L (V,V ) with min-imum polynomial φ (x)q where φ is irreducible. Then

V = Dv1⊕·· ·⊕Dvs, no v j = 0

It follows that the restriction of L to Dv j is φl j for some l j ≤ q. If the direct summands are

listed in the order that the li are increasing (or decreasing), then s is independent of thechoice of the v j and any other such cyclic direct sum for V will have the same sequence ofl j.

7.6 Canonical FormsLet L ∈L (V,V ) where V is a finite dimensional vector space over F. By Theorem 6.1.10,

V = ker(

φ 1 (L)k1)⊕·· ·⊕ker

(φ n (L)

kn)

where the minimum polynomial is ∏nj=1 φ j (x)

k j with each φ j (x) irreducible. For L re-

stricted to the invariant subspace ker(

φ j (L)k j), the minimum polynomial is just φ j (L)

k j

because if not, then the minimum polynomial would be φ j (x)l j for l j < k j and then the

claimed minimum polynomial ∏nj=1 φ j (x)

k j would not be the minimum polynomial afterall. This is, a direct sum and so none of the φ i (x)

ki for i ̸= j can send to 0 any nonzero

vector of ker(

φ j (L)k j)

. Thus, the exponent k j could be replaced with l j.Then we have the following theorem.

Theorem 7.6.1 Let V be a finite dimensional vector space over a field of scalars F. Alsosuppose the minimum polynomial is ∏

ni=1 (φ i (x))

ki where ki is a positive integer and thedegree of φ i (x) is di, these φ i (x) being monic and irreducible (prime in F [x]). Then

V = ker(

φ 1 (L)k1)⊕·· ·⊕ker

(φ n (L)

kn)

160 CHAPTER 7. CANONICAL FORMSThus, since M is a direct sum, for each r, oa, = ok! B. and so &, is a multiple of @.Hence [a] =0 for each r and this is indeed a basis for 6§M/o*t'M over D. It follows thatthe dimension of @*M/o**'M over D is s — j where k € [I,/)+1), the number of vj; forDial >k.Suppose that M = Dw; ®---@ Dv; such that the minimum polynomial of L restrictedto Dw; is 9”) (x). The question is whether s =f and m; =1j. It was just shown that for ka positive integer, the dimension of 6§M/**'M is the number of v; for /; > k. Similarlyit is the number of w; for m; > k and this must be the same number because okM /o*'Mdoes not depend on the v; or the w,. Any two bases have the same number of vectors. Inother words, for each k there are the same number of m; larger than k as there are /; largerthan k. Hence s =¢. Also the /; coincide with the m; in addition to having the same numberof them. To see the last claim, suppose not. Then consider the first i such that /; 4 m;. Letk be the smaller of the two to contradict that there are the same number of /; and m; largerthan k. Say k =1;. There are r+ 1 of the /; larger than k — 1 and r of the m; larger thank-1.Theorem 7.5.2 Suppose V is a finite dimensional vector space and LE & (V,V) with min-imum polynomial @ (x)4 where @ is irreducible. ThenV=Dy, 8---®Dyvs, nov; =0It follows that the restriction of L to Dv; is 6/1 for some | 7 <q. If the direct summands arelisted in the order that the l; are increasing (or decreasing), then s is independent of thechoice of the v; and any other such cyclic direct sum for V will have the same sequence oflj.j7.6 Canonical FormsLet L€ &(V,V) where V is a finite dimensional vector space over F. By Theorem 6.1.10,V =ker (6, (L)"') ©---@ker (¢,,(Z)"")where the minimum polynomial is []'_; 9; (x)*i with each @ ;(*) irreducible. For L re-stricted to the invariant subspace ker (0 j (1)*) , the minimum polynomial is just @ ; (L)Kibecause if not, then the minimum polynomial would be 9 ; (x)! for 1; < kj and then theclaimed minimum polynomial j= | (x)*i would not be the minimum polynomial afterall. This is, a direct sum and so none of the @,; (x)*i for i ~ j can send to 0 any nonzerovector of ker (9, (1) ). Thus, the exponent k; could be replaced with /;.Then we have the following theorem.Theorem 7.6.1 Let V be a finite dimensional vector space over a field of scalars F. Alsosuppose the minimum polynomial is TY_ (@; (x))* where k; is a positive integer and thedegree of ; (x) is dj, these 0; (x) being monic and irreducible (prime in F |x|). ThenV =ker (6, (1)") ®---@ker (6, ()")