# Canonical Basis of Free Module on Set is Basis

From ProofWiki

## Theorem

Let $R$ be a ring with unity.

Let $I$ be a set.

Let $R^{(I)}$ be the free $R$-module on $I$.

Let $B$ be its canonical basis.

Then $B$ is a basis of $R^{(I)}$.