「ガロア理論/代数拡大」の版間の差分
削除された内容 追加された内容
Angol Mois (トーク | 投稿記録) 編集の要約なし |
Angol Mois (トーク | 投稿記録) |
||
99 行
(ii)<br />
:(i)より直ちに従う。
==== 系7 ====
<math>K/F</math> を体の拡大とし、集合 <math>S \subset K</math> の任意の元が <math>F</math> 上代数的であるとする。このとき、<math>F(S)/F</math> は代数拡大である。
;証明
<math>F(S)</math> は <math>F \cup S</math> を含む最小の体であり、定理6 (ii) より <math>F(S) \subseteq K^a</math> である。
== 解説 ==
| |||