Abstract: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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the induction and restriction of modules of finite groups to the case of non - injective group homomorphisms, and to establish the basic properties of these generalized constructions, such as transitivity, Frobenius reciprocity law and Mackey formula, etc.
Specifically, the main contributions of the paper include:
1. **Extending the concepts of induction and restriction**: Traditionally, induction and restriction are defined through the embedding of subgroups, which corresponds to injective algebraic homomorphisms. This paper extends them to non - injective group homomorphisms, thus allowing for a wider range of application scenarios.
2. **Establishing basic properties**: For induction and restriction in the non - injective case, the author proves that they still satisfy some classical results, for example:
- **Transitivity**: If there is a composite homomorphism $\alpha=\beta\gamma$, then it can be proved that $\text{Ind}_\beta V\cong\text{Ind}_\alpha\text{Res}_\gamma V$.
- **Frobenius reciprocity law**: For the group homomorphism $\phi: G\rightarrow G_1$, there is an isomorphism relationship $\text{Hom}_{R G_1}(\text{Ind}_\phi V, V_1)\cong\text{Hom}_{R G}(V, \text{Res}_\phi V_1)$.
- **Mackey formula**: For two group homomorphisms $\alpha: K\rightarrow G$ and $\beta: H\rightarrow G$, there is
\[
\text{Res}_\beta\text{Ind}_\alpha V\cong\bigoplus_{x\in[\beta(H)\backslash G / \alpha(K)]}\text{Ind}_{\delta_x}\text{Res}_{\gamma_x} V.
\]
3. **Application prospects**: Through these results, the module relations in group representation theory can be studied in a broader context, especially when non - injective group homomorphisms are involved.
In summary, this paper aims to provide a broader framework for some core concepts in group representation theory and ensure that these concepts still maintain their important properties in more complex situations.