Invertierbare Matrix/Treppengestalt/Einheitsmatrix/Fakt

Es sei ein Körper und sei eine invertierbare -Matrix über .

Dann gibt es elementare Zeilenumformungen derart, dass nach diesen Umformungen eine Matrix der Gestalt

mit entsteht. Durch weitere elementare Zeilenumformungen kann die Einheitsmatrix erreicht werden.