Is a matrix $A$ raised to the power $0$ $ $ just defined to be $I$, or $I$ can actually be derived somehow from matrix multiplication?
Would something like the following suffice to derive it?
$I=A^nA^{-n}=A^{(n-n)}=A^0 $ $ $ $ $ $ $ $ $ $ \Longrightarrow $ $ $ $ $ $ $ $ $ $ A^0=I$
Assuming $n\in\mathbb{N}$.
Or the index manipulation I'm using is not valid for matrices?