Prove that the set of real commuting matrices with the matrix $A= \begin{bmatrix} 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ \end{bmatrix}$ is a vector space relative to standard operations on matrices. Find the dimension and a basis for that space.
Question: Is it necessary to check the subtraction for commuting matrices.
What are the steps for proving the given statement?