2
$\begingroup$

I'm currently starting a number theory book. On its exercise, there's:

Prove: If $a,b \in \mathbb{N}$ and $ab=1$, then $a=1$ and $b=1$.

Here's one proof I just did:

Since $ab=1$, $a=\frac{1}{b}$. But note that if $b \neq 1$, $b > 1$, and thus $\frac{1}{b} \notin \mathbb{N}$, which contradicts $a \in \mathbb{N}$. Similarly for $b$.

Is it safe to assume if $b \neq 1$, $b > 1$, and thus $\frac{1}{b} \notin \mathbb{N}$?


Also, here's another proof:

Since $ab=1$, $\forall c \in \mathbb{N}$, $abc=1c=c$.

Note that since $a \in \mathbb{N}$ and $c \in \mathbb{N}$, $ac \in \mathbb{N}$.

Thus, $\frac{abc}{b} = \frac{c}{b} = ac \in \mathbb{N}$.

Since $\frac{c}{b}$ for all $c \in \mathbb{N}$, $b=1$.

Are those 2 proofs OK? I'm wondering how far can I assume things to be "axioms"?

  • 2
    Division is probably not a good way to go, since you are almost certain not to have even *defined it* for natural numbers. Do you have the notion of order for natural numbers? What have you proven about them? We cannot tell you what you can assume as axioms, because it depends on what your presentation has been.2012-03-15
  • 0
    This is eerily reminiscent of yesterday's "[In which of following stuctures is valid implication](http://math.stackexchange.com/questions/120103/)".2012-03-15
  • 1
    Over $\mathbb{N}$: if $ab = 1,$ then both $a$ and $b$ are units. What are the units in $\mathbb{N}$?2012-03-15
  • 0
    Is the distributive law available?2012-03-15
  • 0
    What is your definition of multiplication in $\Bbb N$?2016-04-23

3 Answers 3