mula_1"的自同态群同构于带有在"formula_3"中元素的所有formula_133可逆矩阵构成的一般线性群formula_137。
核、像和秩-零化度定理.如果formula_4是线性的，我们定义formula_72的核和像（或称值域）为formula_142是"formula_1"的子空间，而formula_144是"formula_2"的子空间。下面的叫做秩-零化度定理的维度公式经常是有用的：formula_147的数也叫做“formula_72的秩”(ran