computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 体と自己同型写像(3) 定理 5.25 を 上の方程式の解とします。このとき を満たす が存在します。このような を原始元と言います。[証明] の 上の最小多項式 の根を の 上の最小多項式 の根を とおきます。 をとります。 とおきます。 であり、 に対して より () であることから、 と の共通の根は だけとなります。 はユークリッド整域であることから となる が存在します。 であることからユークリッドの互除法によりこの は とすることができます。 とおきます。 は と の共通の根なので 、 より が成り立ちます。、 () とおくと と の共通の根は だけなので となり が成り立ちます。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F05%2F31%2F140754" title="群論の計算(29) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20%5Calpha%2C%20%5Cbeta Hatena Blog https://hatena.blog 2020-05-31 14:07:54 rich https://computeralgebra.hatenablog.com/entry/2020/05/31/140754 1.0 100%