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)

Parents

Context

Abelian monoid, Square matrix, Finite sum over a monoid