Core identities
- det(AB) = det A det B; det(Aᵀ) = det A; det(A⁻cA. , trace over the algebraic closure, with multiplicity).
- trace(AB) = trace(BA) — hence trace is similarity invariant, and AB − BA never equals I (trace 0 vs n).
- det(I + AB) = det(I + BA), valid even when A is m×n and B is n×m.
- Characteristic polynomials of AB and BA