Is Z[sqrt2] defined as {a+b(sqrt2)|a,b in Z}?

  • Thread starter pivoxa15
  • Start date
  • #1
Is Z[sqrt2] defined as {a+b(sqrt2)|a,b in Z}?
Physics news on
  • #2
No, it's not defined that way. Since Z is a ring (but not a field), Z[sqrt(2)] is defined as "the smallest ring containing all of Z and sqrt(2)".

Your question really is- can that be expressed as {a+ b(sqrt(2))| a,b in Z}.

To answer that question, you have to see if it is a ring. Certainly, since rings are closed under multiplication, it must contain b(sqrt(2)) for any integer b. Since rings are closed under addition, it must also contain any number of the form a+ b(sqrt(2)). Is that enough? Is this closed under addition? Is it closed under multiplication? Since the commutative, associative and distributive laws are true for all real numbers and this set is clearly a subset of the real numbers, you don't need to show those separately.
  • #3
Yes {a+ b(sqrt(2))| a,b in Z} does satisfy being a ring so Z[sqrt2] can be expressed as that set.
  • #4
Good. What about Z[cuberoot(2)]? Is that equal to {a+ bcuberoot(2) |a, b in Z}?
  • #5
No because it is not closed under multiplication.

Suggested for: Is Z[sqrt2] defined as {a+b(sqrt2)|a,b in Z}?