This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:

*Theorem*: Let $[H, G]$ be a distributive interval of finite groups. Then $\exists g \in G$ such that $\langle H,g \rangle = G$.

*Definition*: Let $W$ be a representation of $G$, $K$ a subgroup of $G$, and $X$ a subspace of $W$.

Let the *fixed-point subspace* $W^{K}:=\{w \in W \ \vert \ kw=w \ , \forall k \in K \}$.

Let the *pointwise stabilizer subgroup* $G_{(X)}:=\{ g \in G \ \vert \ gx=x \ , \forall x \in X \}$.

*Definition*: $[H,G]$ is called linearly primitive if $\exists V$ irred. complex repr. of $G$ with $G_{(V^H)} = H$.
*Remark:* $[1,G]$ is linearly primitive iff $G$ is linearly primitive.

**Question**: Let $[H, G]$ be a distributive interval of finite groups. Is $[H,G]$ linearly primitive?

*Remark:* The case $H = 1$ is true because $[1,G]=\mathcal{L}(G)$ is distributive iff $G$ is cyclic, but an abelian group is linearly primitive iff it is cyclic. It follows that it's also true if $H \triangleleft G$.

It's true by GAP for $|G:H|<32$ or $\vert G \vert \le 1000$ or $G$ perfect with $\vert G \vert < 10080$ (except $7680$).