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

Parents

Context

Link to graph
Log In
Improvements of the human condition