飽きたらやめようGalois理論(26)―有限K-代数の構造定理 - らんだむな記憶の続き。多項式 $F \in K[X]$ を既約因子に分解し、 $F(X) = P_1(X)^{k_1} \cdot\cdots\cdot P_r(X)^{k_r}$ と書くとする。 $A = K[X]/(F)$ と置く。中国の剰余定理により、 \begin{eq…