ヨシダさんの文章で勉強する．記号がうまい． 定理 (Dedekind) 体 の有限次拡大 から への射の集合は， 線型写像として 上1次独立． 定理 (E. Artin) 体 とその自己同型からなる有限群 に対し，作用 の誘導する pairing は非退化．