「ガロア理論/代数拡大」の版間の差分

削除された内容 追加された内容
Angol Mois (トーク | 投稿記録)
編集の要約なし
Angol Mois (トーク | 投稿記録)
42 行
 
;証明
<math>F[x]</math> は[[w:単項イデアル整域|単項イデアル整域]]であり、上の命題より <math>f(x)</math> は既約元なので、<math>(f(x))</math> は極大イデアルである。したがって、<math>F[x]/(f(x))</math> は体である。<math>F[x]/(f(x)) \rightarrow F(\alpha), \ x \mapsto \alpha</math> は体から体への準同型であり、単射である([[ガロア理論/準備#命題_3]])。また、全射性は[[ガロア理論/準備#命題_7]]よりしたがう。
<math></math>
 
[[Category:数学]]