Brauer morphism and relative trace

ID: brauer-morphism-and-relative-trace

Let be a p-subgroup of , put , and let have characteristic . The Brauer morphism intertwines the two relative traces:
Indeed, acts on by left multiplication. A coset is fixed exactly when , and every other orbit has size divisible by . After applying , the summands belonging to one such orbit are equal, so every nonfixed orbit contributes zero in characteristic ; the fixed cosets give the trace from to .

New to topics? Read the docs here!