rank-nullity theorem
Kernel and image of a linear map are the two fundamental subspaces associated with a linear transformation. The kernel contains all vectors mapped to the zero vector, while the image consists of all vectors that can be obtained as outputs of the transformation.