[Math] Proof that powers of a matrix commute with the matrix itself

field-theorygroup-theorylinear algebraproof-verificationproof-writing

The end goal is to prove that, for a square matrix $A$, nullity$(A^k)\leq$ nullity$(A^{k+1})$. Here is what I have:

Let $x$ be an element of the null space of $A^k$. That is, $A^kx=0$. Then, $(A^{k+1})x=(AA^k)x=A(A^kx)=A(0)=0$. Thus, $x$ is an element of the null space of $A^{k+1}$, so NS$(A^k)\subseteq$ NS$(A^{k+1})$, implying the desired result.

I believe this proof is complete, however I'd like to justify the claim that $A^{k+1}=AA^k$. I know this should be intuitive, but I'm having a hard time actually explaining it. I am familiar with group theory and field theory, so an approach from one of those areas is more than welcome, but I'd also like to see the purely linear algebra approach.

Best Answer

This follows directly from the associativity of matrix multiplication. Matrix multiplication is equivalent to composition of linear operators, which is clearly associative.