computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 複素数(4) 実数体 上の多項式 が 上既約ではないとすると、 、、、、 を満たす が 存在します。 より となります。 と表すことができます。 となります。 となりますが、 なのでこのような は存在しません。よって は 上既約となります。 とおくと は体となります。の元を複素数と呼びます。 となる が存在します。その1つを と表します。このときこのような元はもう1つ存在してそれは となります。 は 上の代数となります。 が最小多項式となるので は 上 次元となります。 の演算は 上 次元のベクトル空間に演算を定義したものと同じものとなります。 上の代数の同型で を に、 を に写すものが存在… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F05%2F09%2F141739" title="群論の計算(24) - 非専門的シンギュラリティー研究所" 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%5Cmathbb%7BR%7D%20 Hatena Blog https://hatena.blog 2020-05-09 14:17:39 rich https://computeralgebra.hatenablog.com/entry/2020/05/09/141739 1.0 100%