# Prove the $(\mathbb {N},\oplus,\otimes)$ is ring

On the set of natural numbers$\mathbb { N}$, define the operations $a \oplus b := \max(a,b)$ and $a\otimes b := a+b$ Is $(\mathbb {N},\oplus,\otimes)$ is ring? commutative ring with unity? Field?

My solution :

1- $(\mathbb {N},\oplus)$ is abelian groub because :

a. It is comutative $a \oplus b = \max(a,b)= \max(b,a) =b \oplus a$

b. It is associative $(a \oplus b) \oplus c =a \oplus( b\oplus c) =\max(a,b,c)$

C. The identity of element $a$is $a$ $$a \oplus a= \max(a,a)= a$$ d. The inverse also a $a \oplus a = \max(a,a)=a$

$(\mathbb {N},\times)$

1.it is comutative : $a\otimes b = a+b= b+a= b\otimes a$

1. $\otimes$has a identity and it is 0 $a\otimes 0 = a+0=a$

2. $\otimes$ has inverse and inverse of a is -a $a\otimes -a = a-a=0$

Distributive law: $a\otimes (b\oplus c) =a\otimes (max (b,c))= a+max( b,c)$

It is true ? If not, why?

Thanks

• The identity element can't be dependent on $a$. – Yanko Feb 19 '18 at 17:16
• Think again about the neutral element of $\oplus$ (and then think again about inverses), Where do you get $-a$ from as $\otimes$-inverse? Also, your argument about the distributive law is missing the very claim – Hagen von Eitzen Feb 19 '18 at 17:17
• @yanko so what is it identity? It is 0 – user508518 Feb 19 '18 at 17:21
• Yes it is $0$ because $\max(a,0)=a$ for all $a\in\mathbb{N}$. But what is the inverse now? – Yanko Feb 19 '18 at 17:22
• @yanko there is no inverse and it is not ring , is it true ? – user508518 Feb 19 '18 at 17:27

The identity can't be dependent on $a$. Anyway you want to have $a = a \oplus e = \max(a,e)$. So for each $a$ we must have $a \ge e$, which in natural numbers is $0$ (or $1$ if you consider $\mathbb{N}$ as the set of positive integers). But then there aren't any inverses, as for $a \not = 0$ we have that $a \oplus b = \max(a,b) \ge a > 0$, so there isn't equality. Therefore $(\mathbb{N},\oplus)$ isn't a group.
The identity for $(\mathbb{N}, \oplus)$ should be $e=0$.
As soon as you saw $a\oplus a=a$ for every $a$, you should have immediately seen that if this were a ring, $a=a\oplus a\oplus -a=a\oplus -a=0$, a contradiction if there exists $a\neq 0$. So it clearly can't be a ring.