Kommutative Algebra/Modultheorie/Basis/Definition

Basis

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