How does one prove that for R commutative, a free finitely generated R-module has finite rank?
If R is a field (i.e. in the case of vector space), then we can argue that given a finite generating set S={s1,...,sn}, if S is not linearly independent, then, WLOG, it is that
(*)...