Endliche freie Algebra/Element/Spur/Definition
Spur eines Algebraelementes
Es sei ein kommutativer Ring und sei eine kommutative endliche freie -Algebra. Zu einem Element nennt man die Spur des -Modulhomomorphismus
die Spur von . Sie wird mit bezeichnet.