Endlicher freier Modul/Dualbasis/Definition

Dualbasis

Es sei ein kommutativer Ring und sei ein endlicher freier -Modul mit einer Basis . Dann nennt man die Linearformen

die durch

festgelegt sind, die Dualbasis zur gegebenen Basis.