Canonical Basis of Free Module on Set is Basis
Jump to navigation
Jump to 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)}$.