If $R^m\cong R^n$ must $m=n$?

Tyrone Crisp

A fundamental theorem of linear algebra asserts that every basis for the vector space ${\mathbb{R}}^n$ has $n$ elements. In this expository note we present a theorem of W. G. Leavitt…