>>622
おっちゃん、横レス悪いけど
クロネッカーウエーバー引用していたように

その関連で
代数拡大まで考えて、有限次元拡大になるって話だと思うよ

だから、代数的数の集合を”Q~”として
sin(π/n)∈Q~
までを論じることになると思うね（＾＾
（１のｎ乗のべき根が、代数拡大（超越拡大ではない）になる）