Prove that (Z(sqrt(2)),+,×) is an integral domain.
Subject: Rings and fields
Solution:
Consider of the real numbers R.
Since the real numbers R form a ring, the subset and forms ring if they are closed under the addition and multiplication which is directly checked. It is also integral domain since R as a field is an integral domain.
Alternatively: a nontrivial solution of gives for the equation , a contradiction to the irrationality of . If it follows that . Since the determinant of this linear system seen as an equation for x and y is , the only solution is if . If , the irrationality of . Thus either is zero.
Comments