 Generating set of a module

A subset $S$ of a module $M$ generates $M$ when every element of $M$ is a finite sum ${\sum }_{s\in S}{r}_{s}s$, with coefficients in the scalar ring. The existence of a finite such subset defines a finitely generated module.

In the context of module theory, which is a branch of abstract algebra, a generating set of a module refers to a subset of the module that can be used to express every element of the module as a combination of elements from this subset. More specifically, let \( M \) be a module over a ring \( R \).