- #1
GOsuchessplayer
- 9
- 0
Homework Statement
Consider the collection F of all real numbers of the form x+y√2, where x and
y are rational numbers. Prove (by direct verification) that F satisfies all the field
axioms (just like R) under the usual addition and multiplication.
Homework Equations
Field axioms: There exist two binary operations, called addition + and
multiplication ∗, such that the following hold:
1) commutativity x + y = y + x, xy = yx
2) associativity x + (y + z) = (x + y) + z, x(yz) = (xy)z
3) distributivity x(y + z) = xy + xz
4) Existence of 0; 1 such that x + 0 = x, 1 · x = x,
5) Existence of negatives: For every x there exists y such that x + y = 0.
6) Existence of reciprocals: For every x ̸= 0 there exists y such that
xy = 1.
The Attempt at a Solution
I just want to make sure I did this right. If you were to prove that a collection F ( a collection of all real #'s of the form x+y[tex]\sqrt{2}[/tex] where x & y are rational numbers ) satisfies all of the field axioms by direct verification, would you just do something like suppose m,n,o belong to F. then m=x1+y1[tex]\sqrt{2}[/tex], etc. and then you just say m+(n+o) = x1+y1[tex]\sqrt{2}[/tex] + ... until you return to m+n+o = (m+n)+o ? And then proceed to do so for all the axioms mentioned above? It's supposed to be really trivial right?