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 .
Articles by others on the same topic
There are currently no matching articles.