Linear Algebra over a Ring/Free modules and matrices

By abuse of notation, we will write $s$ instead of $f_s$. Hence, the above proposition implies that we may denote an element $m\in R⟨S⟩$ as a sum

$m=\sum _{s\in S}{a}_{s}s$,

where only finitely many $a_s$ are nonzero.