Modultheorie/Basis/Definition

Basis

Es sei ${}R$ ein Ring und ${}M$ ein ${}R$-Modul. Ein linear unabhängiges Erzeugendensystem heißt eine Basis (oder genauer: eine ${}R$-Basis) von ${}M$.