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!