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

例えば, ○ ○ な性質をもつ正則行列が欲しい、というような場合を考えると の中でにある種の稠密性が存在してほしい。 まず, GL_nの元はdeterminantという多項式に代入した値で特徴づけられるから, 最初に代数幾何的な稠密性を考えるのは妥当である. 即ちZari…