#類体論へ至る道
次に$f_1(X)$の既約な因数をとり
$Ω$の拡大体$Ω’$をとると、同様に
$f_1(X)=(X-α_2)f_2(X)$
$f_2(X) \in Ω’$
となりこれを続けると
$f(X)=a(X-α_1)(X-α_2)…$
$(X-α_n)$
$(α \in K$の拡大体$)$
となり
$Ω(α_1,α_2,…,α_n)$を
$f(X)$の$K$上の分解体という
(証明終)
Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
まげ店長 (magemanager@mathtod.online)'s status on Sunday, 08-Jan-2023 12:42:33 JSTまげ店長