The trace of an n×n square matrix A is defined to be Tr(A) congruent sum_(i = 1)^n a_(i i), i.e., the sum of the diagonal elements. The matrix trace is implemented in the Wolfram Language as Tr[list]. In group theory, traces are known as "group characters."