Trace of square matrices - Axioms of Choice

Processing math: 100%

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

Log In

Improvements of the human condition