Corank

algebra

Definition

Corank

The corank of relation $f:V\to W$ is the dimension of the kernel:

$$\mathrm{corank}(f)=\mathrm{def}(f)=\dim (\ker (f))$$