Für eine lineare Abbildung $A:K^n\to K^m$ gilt:
Definitionsdimension = Freiheitsgrade im Kern + Dimension des Bildes.