Assertion: trace | /r/HasProperty | a map of lie algebras
Facets:
value: from operators
type: OTHER
Source sentences:
text: One can state this as "the trace is a map of Lie algebras gl n → k from operators to scalars", as the commutator of scalars is trivial (it is an Abelian Lie algebra).
text: The trace is a map of Lie algebras tr :