**Definition:** The **column rank** of a matrix $A$ is the dimension of its column space, i.e., the maximum number of linearly independent columns of $A$.