derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-alg さらに続き。 $E = \bar{K}$ ($K$ の代数的閉包) とする時、 $K \subset E = \bar{K} \subset A/m_i$ となるが、代数閉体は自明でない有限次拡大を持たないので $A/m_i = E = \bar{K}$ となる。 この時、 $A = \bar{K} \otimes_K L$ となる。更に $A_\mathrm{red} \simeq A/m_1 \times \cdots \times A/m_r = \prod_{i=1}^r \bar{K} = \bar{K}^r$ となる。この時、 $A = A_\mathrm{red}$ $\iff$… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F09%2F17%2F233440" title="飽きたらやめようGalois理論(37)―分離性と係数拡大の被約性 - らんだむな記憶" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-09-17 23:34:40 rich https://randommemory.hatenablog.com/entry/2016/09/17/233440 1.0 100%