Induction from cyclic / Sylow subgroup are there any nice properties ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T05:23:18Z http://mathoverflow.net/feeds/question/104939 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/104939/induction-from-cyclic-sylow-subgroup-are-there-any-nice-properties Induction from cyclic / Sylow subgroup are there any nice properties ? Alexander Chervov 2012-08-17T19:26:03Z 2012-08-18T05:34:28Z <p>Assume I have simple group G and its cyclic Sylow subgroup H. Are there any nice properties of the induced representation ? </p> <p>Any remarks "around the situation" (relaxing "simple" "cyclic" "Sylow") are also welcome.</p> <p><strong>Example:</strong> Consider <a href="http://en.wikipedia.org/wiki/PSL%282,7%29" rel="nofollow">GL_3(F_2)</a> which is <a href="http://mathoverflow.net/questions/37525/what-is-your-favorite-isomorphism/37542#37542" rel="nofollow">remarkbly isomorphic</a> to PSL_2(F_7).</p> <p>It has cyclic Sylow subgroups of order 7 and 3. And irreps with dimensions 1,3,3,6,7,8.</p> <p>$Ind_{Sylow 7} = V_1 \oplus V_7\oplus 2V_8$</p> <p>$Ind_{Sylow 3} = V_1 \oplus V_{3a}\oplus V_{3b} \oplus 2V_6\oplus 3 V_7 \oplus 2V_8$</p> <p>Here induction is from trivial character.</p> <p>This is result of numerical calcultion with character table (hope I did not make mistake).</p> <p>Is there some advice which can help me to predict the results in advance at least partitialy ?</p> <p>I am making similar calculations with other groups, using character is a little painful, if something can be done more easily - would be very helpful.</p> <p>PS</p> <p><strong>Particular question:</strong> In particular I need to calculate inductions from non-trivial charcater in the cases above, any guess how to get the results without calculation ? </p> http://mathoverflow.net/questions/104939/induction-from-cyclic-sylow-subgroup-are-there-any-nice-properties/104952#104952 Answer by Marty Isaacs for Induction from cyclic / Sylow subgroup are there any nice properties ? Marty Isaacs 2012-08-17T23:01:02Z 2012-08-17T23:01:02Z <p>Here is a partial answer. (Your assumption that $G$ is simple is irrelevant for these remarks.) Suppose, as in your example, that the Sylow $p$-subgroup $P$ has order $p$ exactly. Then every irreducible character $\chi$ with degree divisible by $p$ appears as a constituent of $\lambda^G$ with multiplicity $\chi(1)/p$ for every irreducible character $\lambda$ of $P$.</p> <p>There is a deep theory (due to Richard Brauer) which describes in some detail what the irreducible characters are of a group with a Sylow $p$-subgroup $P$ of prime order. To illustrate the power of the theory, I will indicate how to compute the multiplicity of an irreducible character $\chi$ in $(1_P)^G$ in the special case where $P = {\text C}_G(P)$. Write $e = |{\text N}_G(P):P|$, so $e$ divides $p-1$. Then except possibly for $(p-1)/e$ so-called $exceptional$ characters, each irreducible character of $G$ with degree not divisible by $p$ has degree congruent to $\pm1$ mod $p$. If $\chi(1) = kp + \varepsilon$, where $\varepsilon = \pm1$, then the multiplicity of $\chi$ in $(1_P)^G$ is exactly $k + \varepsilon$. The exceptional characters have equal degrees, and this common degree is congruent mod $p$ to $\pm e$. (Note that if $e = p-1$, there really is no exception.) If $\chi$ is exceptional with degree $kp + \varepsilon e$, where again $\varepsilon = \pm1$, then $\chi$ appears with mutiplicity $k$ in the induced character. This theory can also be used to find the multiplicity of $\chi$ in $\lambda^G$ for nonprincipal $\lambda \in \text{Irr}(P)$. For nonexceptional $\chi$, the answer is $k$, but the answer depends on the particular character $\lambda$ for the exceptional characters.</p> <p>In fact, Brauer's theory has been generalized by Dade and others to the case where $P$ is cyclic, but is not of prime order. This is not the place to go into detail, however. One reference for much (but not all) of this theory is the book by G. Navarro from Cambridge University Press.</p> http://mathoverflow.net/questions/104939/induction-from-cyclic-sylow-subgroup-are-there-any-nice-properties/104963#104963 Answer by ARupinski for Induction from cyclic / Sylow subgroup are there any nice properties ? ARupinski 2012-08-18T02:02:13Z 2012-08-18T02:09:51Z <p>This is a set of observations that should help you understand your inductions of non-trivial characters. If I read Marty's answer correctly, this should be a concrete way of understanding what he is saying using your particular example.</p> <p>First note that each non-trivial character $\chi$ has a conjugate character $\overline{\chi}$ and that the inductions of $\chi$ and $\overline{\chi}$ must also be conjugate. Next, irreducible characters occur in sets which are related to one another by outer automorphisms of the dual group, these sets are defined by those irreducible characters with common kernel. Finally, note that the induction of the regular representation of the subgroup is the regular representation of the big group.</p> <p>How does this help? Well in your example, lets look at what remains from the regular representation of $GL_3(\mathbb{F}_2)$ after we take away the induction of the trivial character of the Sylow 7-group. The remaining pieces are:</p> <p>$3V_{3a} \oplus 3V_{3b} \oplus 6V_6 \oplus 6V_7 \oplus 6V_8$</p> <p>Each induction of the 6 nontrivial characters must have dimension 24, and since the nontrivial characters are all more or less equivalent (up to outer automorphisms of the dual group to be technical), all their inductions should look more or less the same as well. This means that each induces to either $W = V_{3a}\oplus V_6 \oplus V_7\oplus V_8$ or its conjugate $\overline{W} = V_{3b}\oplus V_6 \oplus V_7\oplus V_8$.</p> <p>With a bit of extra work, you would then find that if a character $\chi$ of the Sylow 7-subgroup induces to $W$ then so do the characters of $\chi^{\otimes 2}$ and $\chi^{\otimes 4}$ while the characters of $\chi^{\otimes 3}$, $\chi^{\otimes 5}$, and $\chi^{\otimes 6}$ will induce to $\overline{W}$, although the particular split on the exponents don't matter to your particular question (as currently stated).</p>