>>7
＞代数的数(代数的整数)は、Q(Z)上の多項式の零点であるから何れもC(複素数体)に属する。

ちょっとまて。Cに属するとは限らんぞ。そう約束するならよいが。
記号も慣用のものを使った方がよいと思うけど。