endlich erzeugter Modul

1. Definition

Ein $R$-Modul über einem Ring $R$ ist endlich erzeugt, falls endlich viele $m_i \in M$ für $i \in \{1,...,n\}$ existieren mit

\begin{align*} \langle m_1,...,m_n\rangle = M \end{align*}