Für eine lineare Abbildung A:Kn→KmA:K^n\to K^mA:Kn→Km gilt:
Definitionsdimension = Freiheitsgrade im Kern + Dimension des Bildes.