分解体
#代数学
定義
$ F/K
について
$ F
が
$ f(X)\in F\lbrack X\rbrack
の分解体
$ F\lbrack X\rbrack
が一次の多項式と定数の積に表すことができる
定理: 分解体の存在性
証明