I am working through Halmos's Naive Set Theory on my own and trying to do all the exercises, including what are merely suggestions in the text. I am right now in section 13, which shows a derivation of addition, multiplication and powers from the set omega of natural numbers. Author states that 'Multiplication is associative and commutative. The proofs are straightforward adaptations of the ones that worked for addition'. I have tried to do them, and have managed to show associativity and the distributive property as well, but am stuck with commutativity of products. I have been working with this for 3 days with no success. Let me show what I have reached.
Commutativity of products
To show $ab=ba$ using induction, we try induction on $a$. Let $a=0$. By the way Halmos has defined products, it follows $m(0)=0$, so $b(0)=0$, but we get no direct indication of what $0b$ may be. For this we need to develop an intermediate step, showing by induction on $b$ that $0b=0$. Base case: $b=0$. Then we have $0\cdot 0= 0(0)=0$. Assume true for $k$, show it follows for $k'$: $0k'= 0k+0 = 0+0 = 0$.
So now we can make the base case of $ab=ba$, induction on $a$, $a=0$. $0b=0$, as shown above, and $b(0)=0$.
For going to the induction step, we assume true for $k$ ($kb=bk$), show it is true for $k'$ ($k'b=bk'$). Halmos's definition of multiplication only allows you to advance when the second element of the product is a successor, so $bk'= bk+b = b+bk$ (I've shown commutativity of sums, so this is valid) $= b+kb$ (Induction Hypothesis). I can't see how to simplify this further, so my hunch is the next step would be to try to show through some intermediate step that $k'b = b+bk$, with induction on $b$. I've tried this for hours and it doesn't seem to work out. I would be grateful for any indirect tips and suggestions on how to proceed, or information that i am following a dead end.
Some comments state that this has already been answered, but in the questions they link, I don't think the scenario is exactly the same. In previous chapters, Halmos has stated 5 Peano axioms, none of which state details or properties of 1 (although using the machinery, I guess I could show that $0'=1$ and try to employ it in the proof). $1$ is mentioned later -haven't gotten to that yet- for powers, but I didn't expect to need to use it for proofs that are 'straightforward adaptations' of the ones for addition, which didn't use it.
1
". On page 51, the second page of Section 13 ("Arithmetic"), Halmos writes: "The recursion theorem yields functions $e_m$ such that $e_m(0)=1$ and such that $e_m(n^+)=e_m(n)\cdot m$ for every natural number $n$[.]". Clearly Halmos uses the concept of $1$. $1$ is just shorthand for $0^+$. $\endgroup$