「ガロア理論/代数拡大」の版間の差分
削除された内容 追加された内容
Angol Mois (トーク | 投稿記録) 編集の要約なし |
Angol Mois (トーク | 投稿記録) M →命題4: miss |
||
68 行
;証明
(i) 命題2より十分性は明らか。逆に拡大次数が有限のとき、<math>n \geq 0</math> が存在して <math>1,
(ii)<br />
:<math>\Rightarrow : \ \alpha \in K</math> について、命題3より <math>[F(\alpha):F] < \infty</math> であるので、(i) より <math>\alpha</math> は代数的元である。
|