Character of a representation

Metadata
aliases: []
shorthands: {}
created: 2021-10-19 13:22:12
modified: 2022-09-30 15:40:56

Definition

group, representation, then

is the character of .
Simply: the trace of the representation.

Properties