松坂和夫の代数系入門も単因子でジョルダン標準形を証明してたよね。
ちなみに松坂和夫の線型代数入門が一番丁寧だと思う。