Determinantenfunktion/K/Rekursiv definiert/Ist Polynom/Aufgabe

Es sei  ${}n\in \mathbb {N}$.  Zeige, dass die Determinante

${\mathbb {K} }^{n^{2}}\cong \operatorname {Mat} _{n\times n}({\mathbb {K} })\longrightarrow {\mathbb {K} },\,M\longmapsto \det M,$

eine polynomiale Funktion ist.

Eine Lösung erstellen