Multilinear Mapping from Free Modules is Determined by Bases

Theorem

Let $R$ be a commutative ring with unity.

Let $M_1,\ldots,M_n$ be free $R$-modules.

Let $B_1,\ldots,B_n$ be bases of $M_1,\ldots,M_n$.

Let $N$ be an $R$-module.

Let $f:B_1\times\cdots\times B_n\to N$ be a function.

Then there exists a unique multilinear map $\phi:M_1\times\cdots\times M_n\to N$ such that $\phi(b)=f(b)$ for all $b\in B_1\times\cdots\times B_n$.

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Also see

• Universal Property of Free Modules