Are there associative bijections $f\colon \mathbb{N} \times \mathbb{N} \to \mathbb{N}$?

244 Views Asked by At

This is my first question and I hope this question is not too brief to be acceptable:

There are well-known bijections $\mathbb{N \times N \to N}$ and well-known associative compositions on countably infinite sets. What if we combine the two properties?

Is there a bijective function $f\colon \mathbb{N \times N \to N}$ which is also associative: $$f(x,f(y,z)) = f(f(x,y),z)\quad\text{ for all } \quad x,y,z \in \mathbb{N}\:?$$

Thanks in advance!

1

There are 1 best solutions below

2
On BEST ANSWER

Suppose $f$ is associative and bijective. For any $x,y, z \in \mathbb{N}$, we have $f(x,f(y,z))=f(f(x,y),z)$ by associativity. Thus by injectivity we have $x=f(x,y), f(y,z)=z$ for all $x, y, z$. But this is impossible, since it implies for example that $f(1,2)=1$ and $f(1,2)=2$.