Free module (source code)

= Free module
{wiki}

A free module has a basis: every element has a unique finite linear combination in that basis with coefficients in the scalar ring.