Du musst die Gruppenaxiome prüfen:
1. Abgeschlossenheit: Seien also f und g aus Aut(V) . Zeige fog ist auch aus Aut(V).
Dem ist so, weil die Verkettung linearer Abbildungen linear ist und die
Verkettung bijektiver Abb'en bijektiv. Und wenn f und g beide von V nach V gehen, dann
auch die Verkettung.
2. Assoziativität gilt bei der Verkettung von Abb'en immer.
3. neutrales El. ist die Abbildung id: V → V mit id(v)=v für alle v ∈ V,
4. inverse Elemente: Sei f ∈ Aut(V), also bijektiv und linear.
Dann existiert die inverse Abb. f-1 von f und ist auch bijektiv und linear und
geht von V mach V.