Canonical Basis of Free Module on Set is Basis

From ProofWiki
Jump to: navigation, search

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)}$.


Proof