Skip to main content
remove wrong check
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $U^H = 0$ then $W^H = 0$, $\forall W \le U \otimes V$. So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Ex: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep., $V$ the $3$-dim. irr. rep. with $G_{(V^H)}=H$.

Next, if $U^H, V^H \neq 0$, then for $[G:H] \le 30$ and $\vert G \vert \le 10^2$, there is (irr.) $W \le U \otimes V$ working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $U^H,V^H \neq 0$.

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $U^H = 0$ then $W^H = 0$, $\forall W \le U \otimes V$. So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Ex: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep., $V$ the $3$-dim. irr. rep. with $G_{(V^H)}=H$.

Next, if $U^H, V^H \neq 0$, then for $[G:H] \le 30$ and $\vert G \vert \le 10^2$, there is (irr.) $W \le U \otimes V$ working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $U^H,V^H \neq 0$.

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $U^H = 0$ then $W^H = 0$, $\forall W \le U \otimes V$. So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Ex: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep., $V$ the $3$-dim. irr. rep. with $G_{(V^H)}=H$.

the program for checking was incorrect, now it's much more long in time, i've improved the check data
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $U^H = 0$ then $W^H = 0$, $\forall W \le U \otimes V$. So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Ex: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep., $V$ the $3$-dim. irr. rep. with $G_{(V^H)}=H$.

Next, if $U^H, V^H \neq 0$, then for $[G:H] \le 30$ and $\vert G \vert \le 2.10^3$$\vert G \vert \le 10^2$, everythere is (irr.) $W \le U \otimes V$ is working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $U^H,V^H \neq 0$.

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $U^H = 0$ then $W^H = 0$, $\forall W \le U \otimes V$. So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Ex: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep., $V$ the $3$-dim. irr. rep. with $G_{(V^H)}=H$.

Next, if $U^H, V^H \neq 0$, then for $[G:H] \le 30$ and $\vert G \vert \le 2.10^3$, every $W \le U \otimes V$ is working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $U^H,V^H \neq 0$.

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $U^H = 0$ then $W^H = 0$, $\forall W \le U \otimes V$. So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Ex: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep., $V$ the $3$-dim. irr. rep. with $G_{(V^H)}=H$.

Next, if $U^H, V^H \neq 0$, then for $[G:H] \le 30$ and $\vert G \vert \le 10^2$, there is (irr.) $W \le U \otimes V$ working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $U^H,V^H \neq 0$.

proof "could" be generalized assuming U^H, V^H non-zero.
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $G_{(U^H)} = G$ and $G_{(V^H)} \subsetneq G$ and if $ W \le U \otimes V$$U^H = 0$ then $G_{(W^H)} = G$$W^H = 0$, $\forall W \le U \otimes V$.
So in this case So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. ExampleEx: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep. and, $V$ the $3$-dim. irr. rep. with $V^H$ is $1$-dim$G_{(V^H)}=H$.

Next, if $G_{(U^H)}$, $G_{(V^H)} \subsetneq G$$U^H, V^H \neq 0$, then for $[G:H] \le 30$ and $\vert G \vert \le 10^3$$\vert G \vert \le 2.10^3$, every $W \le U \otimes V$ is working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $G_{(U^H)}$, $G_{(V^H)} \subsetneq G$$U^H,V^H \neq 0$.

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $G_{(U^H)} = G$ and $G_{(V^H)} \subsetneq G$ and if $ W \le U \otimes V$ then $G_{(W^H)} = G$.
So in this case $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Example: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep. and $V$ the $3$-dim. irr. rep. with $V^H$ is $1$-dim.

Next, if $G_{(U^H)}$, $G_{(V^H)} \subsetneq G$, then for $[G:H] \le 30$ and $\vert G \vert \le 10^3$, every $W \le U \otimes V$ is working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $G_{(U^H)}$, $G_{(V^H)} \subsetneq G$.

Here is an other proof for the case $H$ trivial.

Definition: Let $\langle U,V \rangle$ be the direct sum of all the irreducible representations generated by the irreducible complex representations $U$ and $V$ of the finite group $G$, for $\otimes$.

Lemma: $G_{(U \otimes V)} \supset G_{(U)} \cap G_{(V)} = G_{(\langle U,V \rangle)}$.
proof: The first inclusion is clear. Next, if $G_{(U)} \cap G_{(V)} \subset G_{(W_i)}$, then $G_{(U)} \cap G_{(V)} \subset G_{(W_1)} \cap G_{(W_2)}$ $ \subset G_{(W_1 \otimes W_2)}$, so $G_{(U)} \cap G_{(V)} \subset G_{(\langle U,V \rangle)}$. Now, $U,V \le \langle U,V \rangle$, so $G_{(\langle U,V \rangle)} \subset G_{(U)}, G_{(V)}$. $\square$

Next by Frobenius reciprocity, if $W \le U \otimes V$ then $U \le W \otimes \overline{V}$ and $V \le \overline{U} \otimes W$.
So $G_{(W \otimes \overline{V})} \subset G_{(U)}$ and $G_{(\overline{U} \otimes W)} \subset G_{(V)}$. Finally, $\langle W,\overline{V} \rangle = \langle W,V \rangle$ and $\langle \overline{U}, W \rangle = \langle U, W \rangle$ (because $G$ is finite), so by the previous lemma: $G_{(U)} \cap G_{(W)}$ and $G_{(W)} \cap G_{(V)} \subset G_{(U)} \cap G_{(V)}$. $\square$


Remark on the general case

If $U^H = 0$ then $W^H = 0$, $\forall W \le U \otimes V$. So if $G_{(V^H)} \neq G$ then $G_{(U)} \cap G_{(W)} \not\subset G_{(U)} \cap G_{(V)}$. Ex: $G = S_4$, $H=G_1 = S_3$, $U$ the non-trivial $1$-dim. irr. rep., $V$ the $3$-dim. irr. rep. with $G_{(V^H)}=H$.

Next, if $U^H, V^H \neq 0$, then for $[G:H] \le 30$ and $\vert G \vert \le 2.10^3$, every $W \le U \otimes V$ is working.
Conclusion, the proof above "could" be generlalized by assuming $H$ core-free and $U^H,V^H \neq 0$.

improvment of the last remark
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186
Loading
remark on the general case.
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186
Loading
the first equality was replaced by an inclusion.
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186
Loading
notation
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186
Loading
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186
Loading