Ich möchte etwas weiter ausholen:
Zwei Matrizen sollen "zeilenäquivalent" heißen (\(\sim\)),
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\times n\)-Matrix und \(T\sim X\)
ihre eindeutig bestimmte red. TNF. Ferner sei \(A\) eine
invertierbare \(m\times m\)-Matrix. Diese ist zeilenäquivalent zur
Einheitsmatrix \(E_m\), also \(AX\sim E_mX=X\sim T\).