Show that $\omega^2+1$ is a prime number.
Is there easy way to show it? I tried, as a warm up, to show that $(\omega+1)\omega\neq \omega^2+1$ and I failed. I am pretty sure I miss something trivial here.
$\gamma$ is a prime number iff for any $\alpha,\beta<\gamma$ we have $\alpha\beta\neq\gamma$
$\omega$ is first infinite ordinal number.
Here is a proof of the lemma you don’t know how to prove:
Taking my definition of multiplication from wikipedia, we consider a grid of points that is laid out as $\omega+1$ from left to right and as $\omega$ from top to bottom. We assign this grid a lexicographical order such that if two points are in different rows, the lower point is larger and if two points are in the same row, the right-most point is larger.
Since each row is arranged as $\omega+1$, there is a unique last element in every row. Call this element $k_\alpha$ when it appears in row $\alpha$.
Now rearrange the grid by taking $k_\alpha$ and moving it from being the last element of row $\alpha$ and instead make it the first element of row $s(\alpha)$. We claim that this doesn’t change the order type of the grid because $k_\alpha$ remains greater than every other element in any row below row $s(\alpha)$ and less than any other element in any row above row $\alpha$.
However, this new arrangement is precisely an $\omega\times\omega$ grid, so it has order type $\omega^2$. Thanks JDH for helping me see this.