Assertion: commutator | /r/HasAspect | trace
Facets:
value: in the signed-permutation representation
type: OTHER
Source sentences:
text: and the reason it is not a commutator is that Magma tells us that all commutators in have trace in (always in the signed-permutation representation).