最小分解体
#代数学
定義
最小分解体
$ Fが$ f(X)\in F\lbrack X\rbrackの最小分解体
$ Fが$ f(X)\in F\lbrack X\rbrackの分解体かつ、任意の$ F/Kの任意の中間体が$ f(X)\in F\lbrack X\rbrackの分解体ではない
定理
存在性
一意性