Ich möchte etwas weiter ausholen:
Zwei Matrizen sollen "zeilenäquivalent" heißen (∼),
wenn die eine durch sukzessive elementare Zeilenumformungen
in die andere übergeht. In jeder Äquivalenzklasse liegt genau eine
Matrix, die in reduzierter TNF (reduzierter Zeilenstufenform)
vorliegt. Sei nun X eine m×n-Matrix und T∼X
ihre eindeutig bestimmte red. TNF. Ferner sei A eine
invertierbare m×m-Matrix. Diese ist zeilenäquivalent zur
Einheitsmatrix Em, also AX∼EmX=X∼T.