Let $R$ be a ring with $1$. Is it true that $R$ has IBN $\iff$ $R^n \ncong R^{n+1}$ for all $n \in \mathbb{N}$?
Per definition $R$ has IBN (invariant basis number) if $R^{m} \cong R^{n}$ as left $R$-modules implies $n = m$.
I don't think that the above is true but I have no counterexample. The example I know is only $R = \text{End}_k(V)$ for some infinite-dimensional $k$-vector space $R$. In that case it is $R^2 \cong R$.
But does someone have a preferably simple counterexample to the above?