スレ part 4で
最小分解体を定義した（part １に続いて２度目だが）541において、
part １のスレを参照していないことの証拠（↓）

--------------------------------------------------------

from ガロア生誕200周年記念スレ part 4

541 ：Kummer ◆SgHZJkrsn08e ：2012/01/16(月) 13:12:23.58
定義
K を可換体とする。
f(X) を K 係数の定数でない１変数多項式とする。
L を f(X) の分解体（>>538）とする。
f の L における全ての根を α_1、．．．、α_r とする。
L = K(α_1、．．．、α_r) (>>539)となるとき L を f(X) の最小分解体と言う。


542 ：Kummer ◆SgHZJkrsn08e ：2012/01/16(月) 13:18:13.61
定義
K を可換体とする。
(f_i(X))、i ∈ I を K[X] の次数１以上の元からなる族とする。
L を K の拡大体とする。
L は各 i ∈ I に対して f_i(X) の分解体（>>538）であるとする。
各 f_i(X) の L における全ての根の集合を S_i とする。
S = ∪{S_i；i ∈ I} とおく。
L = K(S) (>>539)となるとき L を族 (f_i(X))、i ∈ I の最小分解体と言う。
--------------------ココマデ---------------------------------