A recognition theorem for permutation modules over -groups extending Weiss' Theorem
arXiv:2511.19710
Abstract
Let be a finite -group with normal subgroup , and a complete discrete valuation ring in mixed characteristic. We characterize permutation -modules in terms of modules for and . The result generalizes both the seminal detection theorem for permutation modules due to Weiss, who characterizes those permutation -modules that are -free when is a finite extension of , and a more recent result of MacQuarrie and Zalesskii, who prove a characterization of permutation modules when has order and .