# Contents

## Definition

Given a (not necessarily unital) ring $R$, a left $R$-module $\left(M,\nu \right)$, where $\nu :R×M\to M$ is the action, is finitely generated if there exist a set $S\subset M$ such that the composition of the inclusion of sets $R×S↪R×M$ and the action $\nu :R×M\to M$ is surjective.

Revised on February 8, 2013 12:01:48 by Urs Schreiber (89.204.138.214)