 ##  [Corank](/corank) 

  ##  [Corank](https://algebra.quantumdictionary.io/corank-0) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

The codimension of the image (range) of a linear map between finite-dimensional vector spaces; equivalently the dimension of the codomain minus the rank of the map, measuring how far the map is from being surjective.