Basis of a module (source code)

= Basis of a module

= Bases of a module
{synonym}

A basis $S$ of an $R$-module $M$ is a subset such that every element of $M$ has a unique expression as a finite $R$-linear combination of elements of $S$.