体と自己同型写像(9) さらにまた少し定理を書き直していきます。 定理 5.32 を体とします。 を の有限拡大体とします。 を と の任意の中間体とすると が成り立ちます。[証明] は 上のベクトル空間となります。その次元を とし、 を基底とします。 となりま…

体と自己同型写像(8) また少し定理を書き直していきます。 定理 5.9 を体とします。 を 上の 次既約多項式、 を の異なる根であるとすると を満たし 上では恒等写像であるような から への同型写像 が存在します。[証明] とおき、 を 上の代数の準同型で 、 …