. Define ( = 1+√-3. Show that (+i is algebraic over Q. [Hint: Theorem 4.8.] Theorem 4.8 [R. DEDEKIND] Let T be a commutative ring, and let S be a subring of T. Then IT (S) is a subring of T. PROOF. Let p and q be elements in IT (S), and set A := {p, q). Then, by Proposition 4.6, S[A] ≤ IT(S). Since p, q € S[A] and S[A] is a subring of T, p− q € S[A] and pq € S[A]. Thus, p− q = IT(S)