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