Trace of square matrices
Set
context | $n\in \mathbb N$ |
context | $M$ … abelian monoid |
definiendum | $ \mathrm{tr}:\mathrm{SquareMatrix}(n,M)\to M$ |
definiendum | $ \mathrm{tr}(A):=\sum_{k=1}^n A_{kk}$ |
Discussion
Reference
Wikipedia: Trace (linear algebra)