Non-injective inductions and restrictions of modules over finite groups

In this note, we extend the inductions and restrictions of modules over finite groups to non-injective group homomorphisms, establishing transitivity, Frobenius reciprocity, Mackey’s formula, etc.