0187132人目の素数さん垢版 | 大砲2016/12/25(日) 09:47:32.92ID:9NS1rBSM >>174 体上の多項式環を既約元の単項イデアルで割ると、体ができる。 解の無い代数方程式が解を持つような拡大体が定義できるということ。 歴史的にも、複素数は xx+1 の分解体として導入された。