A tracial state on a unital C*-algebra is a positive
linear functional
satisfying
and
for all . For example, the normalized matrix
trace
is a tracial state on
.
A tracial state is faithful when
implies
. A normalized 2-quasitrace
has weaker additivity requirements; full linearity is the issue in Kaplansky's
quasitrace conjecture.