19/06/22 09:02:28.37 HQLwMRVl.net
>>822
>勝手な元をどっから持ってくるんだい？
まずこれは愚問
勝手な元c1,…,cnが基礎体に付加された体を分解体とするから
＞そうやって作った多項式が基礎体上の既約多項式である保証は？
s1,…,snをある体に付加したものを基礎体としている
既約性についてはs1,…,snが基礎体上で代数的に独立とすればいい
＞「根が存在するか？」
根から逆に方程式をつくってるから、根の存在は自明
まったく悩む必要がない
19/06/22 09:02:28.37 HQLwMRVl.net
>>822
>勝手な元をどっから持ってくるんだい？
まずこれは愚問
勝手な元c1,…,cnが基礎体に付加された体を分解体とするから
＞そうやって作った多項式が基礎体上の既約多項式である保証は？
s1,…,snをある体に付加したものを基礎体としている
既約性についてはs1,…,snが基礎体上で代数的に独立とすればいい
＞「根が存在するか？」
根から逆に方程式をつくってるから、根の存在は自明
まったく悩む必要がない