Lineare Abbildung/Freier Modul/Spur/Unabhängig von Basis/Aufgabe

Zeige, dass die Definition der Spur eines Modulhomomorphismus unabhängig von der gewählten Basis des freien Moduls

ist.