You should mention that the algebraic numbers form a field and you should also introduce the concept of degree of an algebraic number. It would also be interesting to prove that the set of algebraic numbers is counteble and also to mention that the field of complex algebraic numbers is algebraically closed.
I suppose the Lang's _Algebra_ is a good reference for this, but I don't have my copy at hand right now.