Adjugate identity (source code)

= Adjugate identity

Every square matrix $M$ over a commutative ring satisfies
$$
M\operatorname{adj}(M)=\operatorname{adj}(M)M=\det(M)I.
$$