 Finite free module

A finite free module is a free module with a finite basis, equivalently a module isomorphic to $R^n$ for some nonnegative integer $n$.