What is the name of the theorem stating that the dimension of the kernel plus the dimension of the image equals the dimension of the domain?

Rank-nullity theorem

This theorem is a fundamental result in linear algebra that relates the dimensions of the four fundamental subspaces of a linear transformation. It essentially describes how a transformation 'distributes' the input dimensions into the range or the kernel.