5
$\begingroup$

Can you tell me how to construct the integer numbers ($\mathbb Z$) as equivalence classes of pairs of natural numbers ($\mathbb N$)? And also tell me the commutative and associative law by an equivalence relation. Be sure to use only addition and multiplication.

$\endgroup$
1
  • 1
    $\begingroup$ Define $(x,y)\sim (u,v)\,:\Longleftrightarrow\, x+v = u+y$. $\endgroup$ – Friedrich Philipp Mar 13 '16 at 4:51
3
$\begingroup$

Yes, this is possible. Consider the relation $(a,b) \sim (c,d) \text{ iff } a+d = c+b$.

Verify that $\sim$ is an equivalence relation and let $[(a,b)]$ be the equivalence class of $(a,b)$ with respect to $\sim$. Define

$[(a,b)] +_\sim [(c,d)] := [(a+c,b+d)]$ and $-_\sim[(a,b)] := [(b,a)]$.

Prove that these are well-defined functions and that $$\pi \colon (\{ [(a,b)] \colon a,b \in \mathbb N \}, +_\sim) \to (\mathbb Z , +), [(a,b)] \mapsto a-b$$ is an group isomorphism.

I leave it to you to define $\cdot_\sim$ such that $\pi$ becomes a ring isomorphism.

$\endgroup$
3
  • $\begingroup$ So am I solved the problem need to prove that?(Prove that these are well-defined functions and that π:({[(a,b)]:a,b∈N},+ ∼ )→(Z,+),[(a,b)]↦a−b is an group isomorphism. $\endgroup$ – hee-suck Mar 13 '16 at 7:17
  • $\begingroup$ @hee-suck I'm not entirely sure what you're asking, but verifying all the above lets you conclude that the structure $(\{ [(a,b)] \mid a,b \in \mathbb N \}, +_\sim, \cdot_\sim)$ is a ring that satisfies the properties you would expect $(\mathbb Z, +, \cdot)$ to have. So you may as well take it as the definition for $\mathbb Z$. $\endgroup$ – Stefan Mesken Mar 13 '16 at 7:43
  • $\begingroup$ Thanks sir. Have a good time. $\endgroup$ – hee-suck Mar 13 '16 at 8:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.