不勉強であまり理解できていないGalois理論の講義(のビデオ)などを見てみる。 多項式が既約(irreducible)というのは、それ以上因子分解できない状態を指しているはずだけど、係数体として何を考えるかで変わってくる。 整数係数の多項式$X^4 + 1$は係数を実…