There is a pair $(2, 4)$ for which $2 ^ 4 = 4 ^ 2$. I wonder if there is another such pair $$(n, m): n ^ m = m ^ n$$ It almost obvious that is not. But I failed to prove it.
The question is: does one studied a commutator and associator of ^ operation? Where can I read about it? Is there another such pair? pairs?