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.