冬の数学日記(Mathematic Diary in Winter)

数学系の話題がメインですが、他のことも多分書きます。

体論

体の拡大とトレース

昔に考えていたことがふと解決したので書いておきます. L/kを体のn次分離拡大とする. Lを含む代数的閉体Fを固定する. (例えば, という状況を考える. この時L/kは必ず分離拡大になる.) ・LからFへのK準同型は全部でn個あることが証明できるので, それをと書く…