# Category:Bases of Modules

Jump to navigation
Jump to search

This category contains results about **Bases of Modules**.

Definitions specific to this category can be found in Definitions/Bases of Modules.

Let $R$ be a ring with unity.

Let $\left({G, +_G, \circ}\right)_R$ be a unitary $R$-module.

### Definition 1

A **basis of $G$** is a linearly independent subset of $G$ which is a generator for $G$.

### Definition 2

Let $\BB = \family {b_i}_{i \mathop \in I}$ be a family of elements of $M$.

Let $\Psi: R^{\paren I} \to M$ be the homomorphism given by Universal Property of Free Module on Set.

Then $\BB$ is a **basis** if and only if $\Psi$ is an isomorphism.

## Pages in category "Bases of Modules"

The following 4 pages are in this category, out of 4 total.