Freier Modul

Ein Modul, der eine Basis besitzt: er ist isomorph zu einer (möglicherweise unendlichen) direkten Summe von Kopien seines Koeffizientrings R mit einer ausgezeichneten Menge von Elementen (Basis), so dass jedes Element als eindeutige endliche R-lineare Kombination der Basis dargestellt werden kann.