2
$\begingroup$

Let S be a finite set of integers, do I can check with Gap that this set be a set of character degrees of small group?

$\endgroup$
1
  • 1
    $\begingroup$ No one has mentioned yet: the order of the group must be a multiple of the LCM of the elements of S. $\endgroup$ Oct 13, 2012 at 19:38

3 Answers 3

4
$\begingroup$

Dima is correct that the problem is much easier with multisets. Furthermore, taking direct products with Abelian groups, it is clear that for any given set of irreducible character degrees which actually occurs, there are infinitely many groups for which it occurs, if we allow multiplicities. I had a recollection that Isaacs and Passman proved a kind of converse of this: if a finite group $G$ has all its irreducible character degrees of degree less than $d,$ then $G$ has an Abelian normal subgroup $A$ whose index is bounded in terms of $d.$ I could not locate a reference at the time, though I did not have Isaacs' book to hand. Since my original post, however, Yemon Choi kindly provided a reference in the comments below (see MR0167539). The wording of Isaacs and Passman's result is perhaps mildly ambiguos: they speak of an Abelian subgroup of index bounded in terms of $d$, omitting the word "normal", but of course if $G$ has an Abelian subgroup $A$ with $[G:A] \leq h,$ then the intersection of the $G$-conjugates of $A$ is normal, and has index at most $h!$. Hence, in general, if we know the irreducible character degrees of a finite group $H,$ there is an Abelian normal subgroup $A$ of $H$ such that $|H/A|$ is bounded in terms of the largest degree. So in small cases, it may be possible to use GAP to determine all possibilities for $H/A.$

$\endgroup$
2
  • $\begingroup$ I am out of the office right now so cannot view it, but I think the result of Isaacs and Passman that you refer to is in their paper Groups with representations of bounded degree, Canad. J. Math. 16 (1964) 299--309. ams.org/mathscinet-getitem?mr=167539 $\endgroup$
    – Yemon Choi
    Oct 13, 2012 at 23:58
  • $\begingroup$ Thanks, that figures- I put a date range in Mathscinet starting at 1965! $\endgroup$ Oct 14, 2012 at 1:24
4
$\begingroup$

Given an arbitrary set $S$ of powers of some prime $p$, subject only to the condition that $1 \in S$, there necessarily exists a $p$-group $P$ such that $S$ is exactly the set of irreducible character degrees of $P$. In fact, it is always possible to find $P$ having nilpotence class $2$. This theorem appears in my paper in PAMS 96 (1986).

There is no analogous result for arbitrary sets of integers. For example, no group has irreducible character degree set $\{1,2,3,5\}$.

$\endgroup$
2
$\begingroup$

You most probably mean "the set of degrees of irreducible characters". Indeed, given a finite set of integers, it should not be hard to construct a finite group that has irreducible characters of that degrees (and many more other degrees).

Still, for "the set of degrees" the problem does not look easy, as degrees can repeat, and you don't have a good way to control the order of the group $G$. For "the multiset of degrees" $d_1$,...,$d_t$ things are much better, as then $G$ has order equal to $\sum_{j=1}^t d_j^2$, and so you can just look through GAP's database of small groups for such a group.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.