Characterisation of Spanning Set through Free Module Indexed by Set
Jump to navigation
Jump to search
![]() | This article needs to be linked to other articles. In particular: morphism, linear combination You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. 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 {{MissingLinks}} from the code. |
![]() | It has been suggested that this page or section be merged into Definition:Generator of Module. 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 {{Mergeto}} from the code. |
Theorem
Let $M$ be a unitary $R$-module.
Let $S = \family {m_i}_{i \mathop \in I}$ be a family of elements of $M$.
Let $\Psi: R^{\paren I} \to M$ be the morphism given by Universal Property of Free Module Indexed by Set.
Then $S$ is a spanning set of $M$ if and only if $\Psi$ is surjective.
Proof
For $\family {r_i}_{i \mathop \in I} \in R^{\paren I}$ we have:
- $\map \Psi {\family {r_i}_{i \mathop \in I} } = \ds \sum_{i \mathop \in I} m_i r_i$
Thus $\Psi$ is surjective if and only if every element of $M$ is a linear combination of $S$.
$\blacksquare$