Modultheorie/Freier Modul/Definition

Freier Modul

Es sei ein Ring und ein -Modul. heißt frei (über ), wenn er eine -Basis besitzt.