Es sei
eine
-Matrix
mit ganzzahligen Koeffizienten. Es sei
der zugehörige Gruppenhomomorphismus,
-
der zugehörige
-Algebrahomomorphismus,
wobei die -te Spalte von ist und
-
die zugehörige multiplikative Abbildung. Zeige, dass die
transponierte Matrix
die natürliche Abbildung zwischen den Fundamentalgruppen beschreibt, dass also
-
durch gegeben ist.