 Transfer ideal of conjugation-fixed elements

ID: transfer-ideal-of-conjugation-fixed-elements

G

act on an algebra

A

by conjugation and let

H \leq G

. The transfer ideal from

H

A_{H}^{G} = Tr_{H}^{G} (A^{H}) \subseteq A^{G}, Tr_{H}^{G} (a) = \sum_{g \in G / H} g a g^{- 1} .

The notation records both the source subgroup and the ambient fixed-point algebra.

 New to topics? Read the docs here!