Representations in characteristic p - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T04:10:12Z http://mathoverflow.net/feeds/question/12861 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/12861/representations-in-characteristic-p Representations in characteristic p Joel Dodge 2010-01-24T19:30:48Z 2012-02-03T21:40:51Z <p>Let G be a finite group and let F be an algebraically closed field. If the characteristic of F is 0, then the number of irreducible F-representations of G is given by the number of conjugacy classes of elements of G. A paper I'm reading says that if the characteristic of F is p>0, then the number of F-irreps of G is the same as the number of conjugacy classes of elements whose order is not divisible by p. </p> <p>If G is abelian, it seems to me that this should say that the p-sylow subgroup of G acts trivially on every characteristic p irrep. This is because I can split G into G'x P (non-p and p-sylow subgroups), and then any irrep of G' extends to one of G by letting P act trivially. Since the formula mentioned above would say that they have the same number of irreps these must be all of them.</p> <p>My question is: Is this true? If not, then where is my reasoning going off track?</p> http://mathoverflow.net/questions/12861/representations-in-characteristic-p/12862#12862 Answer by Emerton for Representations in characteristic p Emerton 2010-01-24T19:44:03Z 2010-01-24T19:44:03Z <p>Yes, you are correct. The point is that a \$p\$-group acting in char. \$p\$ always has a fixed point (and so acts trivially on an irrep.). So <I>every</I> irrep. of \$G\$ in char. \$p\$ factors through \$G'\$, as you anticipated.</p> <p>The proof of the claim about \$p\$-groups is not hard. One approach (in general, even when \$P\$ is not nec. abelian) is to prove it by induction on the order of \$P\$, and so (using the fact that the descending central series is non-trivial) reduce to the case when \$P\$ is cyclic of order \$p\$. In this case, one can for example look at the group ring \$k[P] = k[t]/(t^p - 1) = k[t-1]/(t-1)^p,\$ and observe that it has a unique maximal ideal, and hence that \$P\$ has a unique irrep., namely the trivial one. </p> http://mathoverflow.net/questions/12861/representations-in-characteristic-p/63448#63448 Answer by Geoff Robinson for Representations in characteristic p Geoff Robinson 2011-04-29T17:19:29Z 2011-04-29T17:19:29Z <p>The fact that the number of isomorphism types of irreducible \$FG\$ modules is the number of conjugacy classes of elements of \$G\$ of order prime to \$p\$ (or number of \$p\$-regular conjugacy classes) when \$F\$ is an algebraically closed field of characteristic \$p\$ is a theorem of Richard Brauer. Proofs can be found in almost any text which treats modular representations of finite groups (eg Curtis and Reiner,Representation Theory of Finite Groups and Associative Algebras, Wiley, 1962). It is a reasonably elementary exercise in finite group theory that, letting \$O_{p}(G)\$ denote the (unique) largest normal \$p\$-subgroup of \$G\$, there is a one-to-one correspondence between \$p\$-regular conjugacy classes of \$G\$ and \$p\$-regular conjugacy classes of \$G/O_{p}(G)\$. This is one way to see that \$O_{p}(G)\$ must act trivially on all irreducible \$FG\$-modules, a special case of which you had observed. A more representation theoretic way to see this is to note that if \$V\$ is an irreducible \$FG\$-module, then the subspace \$V^{O_{p}(G)}\$ of \$O_{p}(G)\$-fixed points on \$V\$ is a \$G\$-invariant supspace; as observed in comments above, this space is non-zero, so by irreducibility, it must be all of \$V\$. (This can be seen as a particular application of Clifford's Theorem). </p> http://mathoverflow.net/questions/12861/representations-in-characteristic-p/87458#87458 Answer by Marty Isaacs for Representations in characteristic p Marty Isaacs 2012-02-03T17:43:57Z 2012-02-03T21:40:51Z <p>Brauer's proof that the number of similarity classes of irreducible representations of \$G\$ over an algebraically closed field of characteristic \$p\$ is equal to the number of \$p\$-regular conjugacy classes of \$G\$ is ring-theoretic in flavor, and rather tricky. There is also an easy character theoretic proof based on the following ideas. First, the set IBr\$(G)\$ of irreducible Brauer characters is in bijective correspondence with the irreducible representations, and this set of functions lives in the space \$V\$ of all complex-valued class functions defined on the set of p-regular elements. Since \$\dim(V)\$ equals the number of \$p\$-regular classes, it suffices to show that IBr(\$G\$) is a basis for \$V\$. The linear independence of IBr\$(G)\$ is a standard result. To see that IBr\$(G)\$ spans, use the facts that Irr\$(G)\$ spans the space of all class functions and that on each \$p\$-regular class, the value of an ordinary character is a linear combination (and in fact, a sum) of values of Brauer characters.</p>