1) Define $n+0=n$. Assume $n+m$ has been defined. Then define $n+\sigma(m)=\sigma(n+m)$. This defines addition on all ordered pairs of naturals. Suppose there was some alternate addition $+'$ satisfying the above properties. We notice that for pairs $(n, 0)$, $n+0=n+'0$. Assume that for each $n$, we have shown that $n+k=n+'k$ for all $0 \leq k \leq m$. Then $n+\sigma(k)=\sigma(n+k)=\sigma(n+'k)=n+'k$ and so we see that $+, +'$ are the same for all pairs. This gives uniqueness. You will want to prove distributivity of addition for later parts. Try to get this via induction.
2) Pick any $n \in \mathbb{N}$. We proceed by induction on $m$. If $m=0$, then $p=m$. If there exists $p$ so that $n+p=m$, then we observe that $n+ \sigma(p)=\sigma(n+p)=\sigma(m)$. If there exists $p$ so that $n=p+m$, then if $p=0$, we have $n+1=\sigma(m)$. If $p \neq 0$, then the number we need is the natural whose successor is $p$. Try proving that if $p \neq 0$, it has a predecessor. (Hint: induction!)
3) This relation is clearly reflexive. For anti-symmetry, if there exists $p$ so that $a+p=b$ and $p'$ so that $b+p'=a$, then $b+p+p'=b$. You should be able to show this implies $p+p'=0$. If $p \neq 0$ or $p' \neq 0$, this should give you a predecessor of $0$, which is a contradiction and shows that $p=p'=0$ and so $a=a+p=b$. Transitivity is easy, and totality is part 2).
4) This is not hard. Try to work it out for yourself.
5) Your intuition is correct. You can easily show that $\sigma (n) \geq n$ but $n \neq \sigma(n)$.
6) If this were not the case, you would have an infinite descending chain in $\mathbb{N}$. To get a contradiction, you need to show that for each $m \in \mathbb{N}$, there are only finitely many naturals less than $m$. You can do this by induction.
7) You are correct.
8) This is somewhat similar to addition. Define inductively and use your definition to prove what you need.
9) You can do this by induction.
(1). The additive and multiplicative identities are (obviously) $0$ and $1$ and are (obviously) unique. And $0\not \equiv 1\pmod p$. (That is necessary to say, because in a field the additive and multiplicative identities are not allowed to be equal).
(2). Additive inverses:
(2A). Existence: If $0< x<p$ then $0<p-x<p$ with $x+(p-x)\equiv 0.$ And $0+0\equiv 0.$
(2B). Uniqueness: If $x+y\equiv x+y'\equiv 0$ then $y-y'\equiv 0.$ but if $0\leq y<p$ and $0\leq y'<p$ then $|y-y'|<p.$ And if $p$ divides $|y-y'|$ with $0\leq |y-y'|<p$ then $y-y'=0 .$
(3). Multiplicative inverses:
(3A). Existence: For $1\leq x<p$ let $M=\min \{z:0<z\land \exists y\;(xy\equiv z \pmod p\}.$
First, by considering the case $y=1$ we have $M\leq x<p.$
Second, we will show that if $xy\equiv k$ with $2\leq k<p$ then there exists $y'$ and $k'$ with $0< k'<k$ and $xy'\equiv k'.$ From this we will conclude that if $2\leq k<p$ then $k\ne M.$
Thirdly, from the first and second parts above, we will have $M=1$, so $xy\equiv 1$ for some $y$.
To prove the second part: Suppose $xy\equiv k$ with $2\leq k<p.$ Let $m=\max \{m'>0: m'k<p\}.$ Then $mk<p\leq (m+1)k.$ But $p$ is prime and $m+1>1<k$ so we cannot have $(m+1)k=p.$ So $mk<p<(m+1)k.$
Let $y'=(m+1)y$ and $k'=(m+1)k-p.$ We have $0<k'<k'-mk=k.$ Now $$xy'=xy(m+1)\equiv k(m+1)\equiv k(m+1)-p=k'.$$
(3B). Uniqueness of multiplicative inverse: $$xy\equiv xy'\equiv 1\implies$$ $$\implies y\equiv y(1)\equiv y(xy')\equiv (yx)y'\equiv (1)y'\equiv y'.$$
Best Answer
Associativity, commutativity and distributivity of multiplication over addition come from the fact that $\Bbb{Q}[\sqrt{2}]\subset\Bbb{R}$, which is a field. The neutral element for addition is $0$ and for multiplication is $1$. We just need to prove that the inverse in $\Bbb{R}$ of $a+b\sqrt{2}\neq 0$ belongs in fact to $\Bbb{Q}[\sqrt{2}]$. One has
$$\begin{align}\left(a+b\sqrt{2}\right)^{-1}=&{1\over a+b\sqrt{2}}\\=&{a\over a^2-2b^2}-{b\over a^2-2b^2}\sqrt{2}\in \Bbb{Q}[\sqrt{2}]\end{align}$$
where the denominator $a^2-2b^2\neq 0$ because $\sqrt2$ is irrational.