Let $M$ be a monoid with binary operation $f : M \times M \to M$. I'm interested in functions $g : M \to M\times M$ that obey the property:
$$ f(g(m)) = m $$
I want to understand what all of the possible $g$ functions can look like under different monoids. So my question is where can I find more information about these structures? Also, what should I call a monoid with a designated pseudoinverse for the binary operation?
Some background that I've worked out so far:
It is easy to see that the function $g$ is not unique in any monoid with more than one element. For example, the functions
\begin{align*} g_1(m) &= (\epsilon,m) \\ g_2(m) &= (m,\epsilon) \end{align*}
are pseudoinverses for every monoid.
It seems like these functions might have a number of interesting forms depending on the structure of the monoid. Here's three different examples:
The rationals under addition allow a function $g(x) = (x/2,x/2)$. No matter how many times we successively apply $g$, we will never reach the identity.
The naturals under addition do not have a similar inverse that can be applied indefinitely. Because it is cyclic, we will eventually decompose into ones and zeros.
The naturals under multiplication is not cyclic, so we will eventually decompose into the prime factors of a number.