Просто формулы немного другие.
dim (Im A) = rg (A)
dim (Ker A) = n - rg (A)
Вот.


И называется не димензион, а дименшн.
Откуда Вы взяли эту формулу? Есть какая-нибудь ссылка?