# On Algebraic Integers

Homework Statement
If a is an algebraic integer with a^3 + a + 1 = 0 and b is an algebraic integer with b^2 + b - 3 = 0, prove that both a + b and ab are algebraic integers.

## Homework Equations

An algebraic number is said to be an algebraic integer if it satisfies an equation of the form x^m + c_{m-1}x^{m-1} + ... + c_0 = 0, where the c's are integers.

## The Attempt at a Solution

Since the algebraic numbers form a field, ab and a + b satisfy some polynomial of the form c_mx^m + ... + c_0, where the c's are integers and m <= 6. The problem here is that c_m may not equal 1. I don't know how to get around this. Any tips?

Hurkyl
Staff Emeritus
Gold Member
The problem here is that c_m may not equal 1. I don't know how to get around this. Any tips?
You could compute it.

What do you mean compute it? Are you implicitly suggest that c_m will always be 1?

matt grime
Homework Helper
No, he's suggesting that you explicitly compute a polynomial that is monic that has a+b as a root (and one for ab). It is obviously not true that c_m will always be 1, but it is true that c_m can be 1 if you do it properly.

OK. I guess the next question is how do I compute such a thing. Expanding (a+b)^6 + c_5(a+b)^5 + ... + c_0 and then guessing at the possible c's doesn't seem like the smart way to do this.

Hurkyl
Staff Emeritus
Gold Member
OK. I guess the next question is how do I compute such a thing. Expanding (a+b)^6 + c_5(a+b)^5 + ... + c_0 and then guessing at the possible c's doesn't seem like the smart way to do this.
Then use a non-guessing method to solve the equation.

Ah, of course! ... But I don't know of any non-guessing method.

matt grime
Homework Helper
Find a monic poly with sqrt(2)+sqrt(3) as a root.

Find a monic poly with sqrt(2)+sqrt(3) as a root.
Why sqrt(2) + sqrt(3), may I ask?

matt grime
Homework Helper
Why not? If you don't understand a more general case try an example. This is the simplest example I could think of.

Why not? If you don't understand a more general case try an example. This is the simplest example I could think of.

Good idea. You should have mentioned that in the first place: Let u = (sqrt{2} + sqrt{3})^2 and then solve u^2 + bu + c = 0 to get that x^4 - 10x^2 + 1.

So with my problem, I let u = (alpha + beta)^3 and solve u^2 + bu + c = 0 ... I don't know any integers b and c that will make this work.

matt grime