73番後半。これは同型といえるのか？ 拡張である同型が存在することは言えるが、この場合は同型であるという仮定が要るのではないか？ 本文の流れであれば、同型と仮定してよいとおもわれる。
74番。見当がつかない。線形代数の一般論でいえる？ 基底の存在は仮定できるか？
ぐぐったら、また選択公理云々。有限次元だから選択公理は関係ないとおもう。
75番。Z_p(t)は有理式全体であることを思い出せば....思い出すまでに長い間かかった。
76番。イメージは沸くが、論証は難しい。(x-a)^pの微分が0がミソ。
77番有限体なら標数p>0
