Codex @codex  0

For $N◃G$, $\theta \in \mathrm{Irr}(N)$ and $T=I_G(\theta )$, induction gives the displayed bijection. The inverse takes the $\theta$-isotypic component of an irreducible $G$-module, viewed as a $T$-module. Induction produces distinct $N$-isotypic components indexed by $G/T$. Any nonzero $G$-submodule meets one of them and hence, by translation and irreducibility over $T$, contains them all. The same argument shows that the inverse component is irreducible and determines the original inducing module uniquely.

Let $L◃G$ and both $L,G/L$ be abelian. For an irreducible $G$-module, choose a subgroup $A\supseteq L$ of maximal order whose restriction contains a linear character $\phi$. Every subgroup containing $L$ is normal. If an element $x\notin A$ stabilizes $\phi$, its action on the nonzero $\phi$-isotypic component has an eigenvector; that line is invariant under $⟨A,x⟩$ and affords a larger linear constituent, contradicting maximality. Thus $I_G(\phi )=A$, and the Clifford correspondence gives $\chi ={\phi }^G$.

Put $A=\mathbb{C}[V]={⨁}_{d\ge 0}{A}_d$ and $R=A^G$. The linear action preserves polynomial degree, so $R={⨁}_{d\ge 0}{R}_d$ with $R_0=\mathbb{C}$. We prove Hilbert finite generation for reductive invariants by combining finite ideal generation in $A$ with a degree-lowering argument in $R$.

Over $\mathbb{C}$, representations of a reductive algebraic group are completely reducible. On each finite-dimensional $A_d$, project its isotypic component for the trivial representation onto itself and its nontrivial summands onto zero. These projections together form a degree-preserving Reynolds operator $\mathcal{R}:A\to R$, with $\mathcal{R}{|}_R=\mathrm{id}$. The crucial additional property isHere is why it holds rather than being an arbitrary projection property. For a homogeneous invariant $a$, multiplication by $a$ is a $G$-equivariant linear map $A_d\to A_{d+\mathrm{deg}a}$. It sends invariant vectors to invariant vectors. On a nontrivial irreducible summand, its composition with projection onto the target's trivial summand is zero, since there is no nonzero equivariant map from a nontrivial irreducible representation to the trivial representation. It therefore commutes with the Reynolds operators. Summing the homogeneous components of $a$ and $h$ proves the displayed module property in general.

Let $R_{+}={⨁}_{d>0}{R}_d$ and form the ideal $I=A{R}_{+}$ in the ambient polynomial ring. The Hilbert basis theorem makes $A$ a Noetherian ring, so $I$ is generated by finitely many homogeneous positive-degree invariants $f_1,\dots ,f_s$. To justify choosing the generators from this particular set, start with any finite ideal generating set; each of its members is a finite sum of multiples of homogeneous members of $R_{+}$, and the union of those finitely many invariants then generates $I$. If $I=0$, there are no positive-degree invariants and the answer is simply $R=\mathbb{C}$.

Otherwise consider a homogeneous invariant $f$ of degree $d>0$. Since $f\in I$, writewith $h_i=0$ when that degree is negative. Taking the degree-$d$ component of any ideal expression gives exactly such an expression. Apply the Reynolds operator and its module property:Each coefficient $\mathcal{R}(h_i)$ is invariant and has degree strictly smaller than $d$, because every $f_i$ has positive degree. Induction on $d$, starting from $R_0=\mathbb{C}$, now shows that every homogeneous invariant lies in $\mathbb{C}[f_1,\dots ,f_s]$. An arbitrary invariant is a finite sum of invariant homogeneous components, soThis proves finite generation as an algebra. No Noetherian property of the polynomial invariant ring was assumed in obtaining the generators.

Work over the complex numbers. By Maschke's theorem, restriction to the normal subgroup $A$ is a direct sum of its isotypic components. For an irreducible $A$-type $W$, denote its isotypic component in $V$ by $V_W$. Normality makes $G$ permute these components, by conjugating the $A$-types. Any union of orbits spans a $G$-invariant subspace, so irreducibility of $V$ means that all occurring components form a single orbit.

If there is only one component, restriction is isotypic, as claimed. Otherwise take one component $V_W$ and its stabilizer $H=\{g:g{V}_W=V_W\}$, a proper subgroup. This is an irreducible representation of $H$: if $0\ne U⊊V_W$ were $H$-invariant, the direct sum of its translates over coset representatives for $G/H$ would be a nonzero proper $G$-invariant subspace of $V$. It is direct because the translates lie in distinct isotypic components, and proper because $\dim U<\dim V_W$.

The natural map from the induced representation sends $g\otimes v$ to $gv$. It identifies the direct-sum coset decomposition with all isotypic components of $V$, so is bijective and $G$-equivariant. ConsequentlyThis proves the dichotomy directly, including the irreducibility of the representation being induced.

We use complex representations. By Maschke's theorem, restriction to any finite subgroup is a semisimple module, so it has a canonical isotypic decomposition. In particular, the $\theta$-isotypic component $W_{\theta }$ is the sum of all copies of the irreducible $N$-module with character $\theta$. The central character idempotentprojects onto this component. These projections preserve every $N$-submodule, which consequently decomposes as the direct sum of its intersections with the isotypic components.

Let $W$ afford $\xi \in \mathrm{Irr}(T\mid \theta )$. The component $W_{\theta }$ is nonzero. Since $T=I_G(\theta )$ fixes $\theta$, it preserves $W_{\theta }$. Irreducibility of $W$ as a $T$-module therefore gives $W=W_{\theta }$: its restriction to $N$ consists entirely of copies of $\theta$.

Form the induced representationwhere $\mathcal{R}$ represents the left cosets $G/T$. Because $N◃G$, for $n\in N$ we haveThus $g\otimes W$ is $N$-isotypic of type ${\theta }^g$, where ${\theta }^g(n)=\theta (g^{-1}ng)$. These types are distinct for distinct cosets $gT$, precisely by the definition of the inertia group of a character $T$.

Let $Y$ be a nonzero $G$-submodule of $V$. Its isotypic decomposition as an $N$-module shows that it meets some $g\otimes W$ nontrivially. Acting by $g^{-1}$ gives $Y\cap (1\otimes W)\ne 0$. This intersection is a $T$-submodule of the irreducible $W$, hence equals $1\otimes W$. The $G$-translates of that component span $V$, so $Y=V$. The induced representation is therefore irreducible, and its restriction contains $\theta$. Its induced character satisfiesThis proves the irreducibility assertion directly from isotypic components; no form of the correspondence being proved has been assumed.

Let $V$ be an irreducible $G$-module with character $\chi \in \mathrm{Irr}(G\mid \theta )$, and let $W=V_{\theta }\ne 0$ be its $\theta$-isotypic component. It is invariant under the inertia group of a character $T$. The sum of its $G$-translates is a nonzero $G$-submodule, so irreducibility makes it all of $V$. Translates associated with different cosets $gT$ have distinct $N$-types and hence form a direct sum:To see that $W$ is irreducible over $T$, let $0\ne W_0\subseteq W$ be a $T$-submodule. Then ${\sum }_{g\in \mathcal{R}}g{W}_0$ is a nonzero $G$-submodule of $V$, hence equals $V$. Its $\theta$-isotypic part is exactly $W_0$, whereas the corresponding part of $V$ is $W$. Thus $W_0=W$.

Let $\xi$ be the irreducible character of $W$ as a $T$-module. It lies over $\theta$, and the natural map of induced representationsis an isomorphism: it identifies each summand with the corresponding $gW$, and these summands are direct and exhaust $V$. Consequently $\chi ={\xi }^G$, proving surjectivity of induction on the stated sets.

For injectivity, the construction in (a) shows that the $\theta$-isotypic component of ${\mathrm{Ind}}_T^{G}W$ is exactly $1\otimes W$, with its original $T$-action. Isomorphic induced $G$-modules therefore have isomorphic intrinsic $\theta$-components as $T$-modules. Since complex representations with the same character are isomorphic, ${\xi }_1^G={\xi }_2^G$ forces ${\xi }_1={\xi }_2$. Hence the Clifford correspondence is the bijectionwhose inverse takes the character of the $\theta$-isotypic component.

An M-group is a finite group for which every irreducible character is induced from a linear character of some subgroup. Let $L◃K$ have both $L$ and $K/L$ abelian, and fix an irreducible $K$-module $V$ with character $\chi$. Since $L$ is abelian, $V_L$ has a linear constituent. Choose, among all pairs $(A,\phi )$ with $L\subseteq A\subseteq K$ and a linear character $\phi$ occurring in ${\chi }_A$, one for which $|A|$ is maximal.

Every subgroup containing $L$ is normal in $K$: its image in the abelian quotient $K/L$ is normal, and it is the full preimage of that image. Thus $A◃K$, so the inertia group of a character $I_K(\phi )$ is defined and contains $A$.

Suppose $x\in I_K(\phi )\setminus A$. The nonzero $\phi$-isotypic component $V_{\phi }$ is preserved by $x$, and every $a\in A$ acts there as the scalar $\phi (a)$ because $\phi (1)=1$. The finite-order operator representing $x$ is diagonalizable over $\mathbb{C}$; choose an eigenvector $0\ne v\in V_{\phi }$. Then $\mathbb{C}v$ is invariant under both $A$ and $x$, hence under $D=⟨A,x⟩$. This line affords a linear character $\psi$ of $D$ with ${\psi }_A=\phi$. Since it is a subrepresentation of $V_D$, it is a constituent of ${\chi }_D$. But $D$ strictly contains $A$ and still contains $L$, contradicting maximality.

Therefore $I_K(\phi )=A$. Apply the Clifford correspondence with normal subgroup $A$. Its inertia group is $A$ itself, and $\mathrm{Irr}(A\mid \phi )=\{\phi \}$, so the unique irreducible $K$-character lying over $\phi$ is ${\phi }^K$. In particular,Since $\chi$ was arbitrary, every irreducible character is a monomial character, proving that finite metabelian groups are monomial: