Bourbaki

Remark 2

Tag 075M, permanent. Cite it as [Bourbaki, Tag 075M].

Algebra, chapter VII, § 5. Endomorphisms of vector spaces

By the above proposition, there exists a basis of E with respect to which the matrix U of u has the form

(An−r+10…000An−r+2…00⋯⋯⋯⋯⋯00…An−1000…0An) \begin{pmatrix} A_{n-r+1} & 0 & \ldots & 0 & 0 \\ 0 & A_{n-r+2} & \ldots & 0 & 0 \\ \cdots & \cdots & \cdots & \cdots & \cdots \\ 0 & 0 & \ldots & A_{n-1} & 0 \\ 0 & 0 & \ldots & 0 & A_n \end{pmatrix}

where each matrix AiA_i has the form (2) (taking g(X)=qi(X)g(X) = q_i(X)) (cf. VII, pp. 29-30).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 2003, Springer. Not translated.