9.3. CYCLIC SETS 243

Do ϕ (A) to both sides to obtain

0 =

p∑i=1

|βyi|∑

j=1

aijAj−1xi ≡

p∑i=1

fi

(Â)xi

Now fi

(Â)xi = 0 for each i since fi

(Â)xi ∈ span

(βxi

)and as just mentioned,{

βx1, · · · , βxp

}is a basis. Let ηi (λ) be the monic polynomial of smallest degree such that ηi

(Â)xi = 0.

Thenfi (λ) = ηi (λ) l (λ) + r (λ)

where r (λ) = 0 or else it has smaller degree than ηi (λ) . However, the equation then

shows that r(Â)xi = 0 which would contradict the choice of ηi (λ). Thus r (λ) = 0 and

ηi (λ) divides fi (λ). Also, ϕ(Â)m−1

xi = ϕ(Â)m−1

ϕ (A) yi = 0 and so ηi (λ) must divide

ϕ (λ)m−1

. From Corollary 7.3.11, it follows that, since ϕ (λ) is irreducible, ηi (λ) = ϕ (λ)rfor

some r ≤ m− 1. Thus ϕ (λ) divides ηi (λ) which divides fi (λ). Hence fi (λ) = ϕ (λ) gi (λ)!Now

0 =

p∑i=1

fi (A) yi =

p∑i=1

gi (A)ϕ (A) yi =

p∑i=1

gi

(Â)xi.

By the same reasoning just given, since gi

(Â)xi ∈ span

(βxi

), it follows that each

gi

(Â)xi = 0.

Therefore,

fi (A) yi = gi

(Â)ϕ (A) yi = gi

(Â)xi = 0.

Therefore,

fi (A) yi =

∣∣∣βyj

∣∣∣∑j=1

aijAj−1yi = 0

and by independence of the βyi, this implies aij = 0 for each j for each i.

Next, it follows from the definition that

ϕ (A) (ker (ϕ (A)m)) = span

(βx1

, · · · , βxp

).

NowW ≡ span

(βy1

, · · · , βyp

)⊆ ker (ϕ (A)

m)

because each yi ∈ ker (ϕ (A)m). Then from the above description of

{βx1

, · · · , βxp

}as a

cyclic basis for ϕ (A) (ker (ϕ (A)m)) ,

ϕ (A) (ker (ϕ (A)m)) = span

(βx1

, · · · , βxp

)⊆ ϕ (A) span

(βy1

, · · · , βyp

)≡ ϕ (A) (W ) ⊆ ϕ (A) ker (ϕ (A)

m)

9.3. CYCLIC SETS 243Do ¢(A) to both sides to obtainPp y, P0= S- S- aij Alta; = S- fi (4) Xij=1 j=l i=lNow f; (4) x; = 0 for each i since f; (4) x; © span (B.,) and as just mentioned,fa. Ba}is a basis. Let 7, (A) be the monic polynomial of smallest degree such that 7; (4) x; = 0.Thenfi A) =m AVL) +r A)where r(A) = 0 or else it has smaller degree than 7; (A). However, the equation thenshows that r (4) x; = 0 which would contradict the choice of n; (A). Thus r(A) = 0 anda\ma-1 a\m-1n; (A) divides f; (A). Also, ¢ (4) “=o (4) (A) y; = 0 and so 7; (A) must divide6(d)”~'. From Corollary 7.3.11, it follows that, since ¢ (A) is irreducible, n; (A) = @(A)" forsome r <m-—1. Thus ¢(A) divides 7; (A) which divides f; (A). Hence f; (A) = ¢ (A) 9 (A)!Now0= So Fi (A) ys = 09 (A) (A) yi = Yi (A) ae.i=1 i=1 i=lBy the same reasoning just given, since g; (4) x; © span (8, ) , it follows that eachaGi (4) x, = 0.Therefore,fi(A)yi = 9: (A) 0 (A) ys = 95 (A) a = 0.Therefore,|»,fi(A)yi = So aA ty: = 0j=land by independence of the 6,,, this implies a;; = 0 for each 7 for each 7.Next, it follows from the definition that(A) (ker (6(A)”)) = span (8,,.--- + Bx,)NowW = span (8,,,+-+ By, ) ker (6(A)")because each y; € ker(¢(A)"). Then from the above description of {Bes Bx, } as acyclic basis for ¢ (A) (ker (¢(A)"")),@(A) (ker (6(A)”)) = span (8,,,-++ 8, ) © (A) span (8,,.++* By, )p= ¢(A)(W) C ¢(A)ker(¢(A)”)