 Relative trace

ID: relative-trace

For

α \in End_{R H} (M)

, the relative trace is

Tr_{H}^{G} (α) = \sum_{g \in [G / H]} gα g^{- 1} \in End_{RG} (M) .

 New to topics? Read the docs here!