What is a more natural example of the following?

The following is an exercise from Jacobson's Basic Algebra I:

Let $S=\{1,2,\cdots\}$. Give an example of two maps $\alpha, \beta$ of $S$ into $S$ such that $\alpha \beta=1_{S}$ but $\beta \alpha\ne 1_{S}$. Can this happen if $\alpha$ is bijective?

I have a fairly good answer for this exercise, I think.

An Example

Let $\alpha(s)=|s-2|$ and $\beta(s)=s+2$ for $s \in S$. Thus, $(\alpha \circ \beta)(s)=|(s+2)-2|=|s|=s$, which implies $\alpha \beta=1_{S}$.

However, $(\beta \circ \alpha)(s)=|s-2|+2$. We see that $(\beta \circ \alpha)(1)=3$, hence $\beta \alpha\ne 1_{S}$.

Consequences of $\alpha$ Being Bijective

If $\alpha$ is bijective, there exists an inverse map $\gamma$ such that $\gamma \alpha=\alpha \gamma=1_{S}$. Since $\alpha \beta=1_{S}$, we have that $\alpha \beta=\alpha \gamma$. Composing both sides of the equation with $\gamma$, we have that $\gamma(\alpha \beta)=\gamma(\alpha \gamma)$. Next, using the law of associativity, we have that $(\gamma \alpha)\beta=(\gamma \alpha)\gamma$. Since $\gamma \alpha=1_{S}$, we thus have $1_{S}\beta=1_{S}\gamma$. Hence, $\beta=\gamma$.

Since we previously stated that $\gamma \alpha=1_{S}$ and we've shown that $\gamma=\beta$, it must be so that $\beta\alpha=1_{S}$. $\square$

My question

Are there more natural examples of $\alpha$ and $\beta$? Furthermore, is my proof accurate? I ask the second question only as I see it directly pertains to the first.

P.S. By natural, I mean elegant or insightful.

-
Your solution looks good. Perhaps the "most natural" example would be for $\alpha(n) = n-1$ if $n > 1$ and $\alpha(1) = 1$. (Think of $\alpha$ as the "shift one unit left -- if possible" function.) Then take $\beta$ to be the "shift right one unit" function, $\beta(n) = n+1$. Then $\alpha \beta = \text{id}_S$, but $\beta \alpha \neq \text{id}_S$. – Michael Joyce Oct 21 '12 at 20:39
@MichaelJoyce, looking at your thoughts as well as N.S.'s, I see that my issue was entirely due to myself. It was because I saw piecewise functions as unnatural that I struggled with finding an example. I also, after looking at some of the awesome maps presented by Jacobson, assumed there was an expectation for some marvelous geometric map. I see now that that's probably not the case. – 000 Oct 21 '12 at 20:42
There's nothing wrong with coming with a solution that is not "aesthetically optimal" at first. The aesthetic solutions usually come later after you've had more time to fully internalize everything about a problem. But there can be as much learning as finding a non-standard solution as there is to finding a very elegant one. BTW, I would consider the example I presented as "geometric" in so far as it can be visualized as pulling a string of beads in a one-dimensional universe. :) – Michael Joyce Oct 21 '12 at 20:47

$\alpha(x)=2x$ and $\beta(x) = \lfloor \frac{x+1}{2} \rfloor$ is probably more natural.
More generarily, given any $\alpha$ which is 1-1 but not bijective function, you can always find a $\beta$ so that $\beta \alpha =1_S$. But since $\alpha$ is not bijective, $\alpha \beta \neq 1_S$.
You may need $\beta(x) = \lceil \frac{x}{2} \rceil$ since $S$ starts at $1$ – Henry Oct 21 '12 at 20:57