show/hide this revision's text 3 added 75 characters in body; added 1 characters in body

What are examples (general features) of the finite groups $G$, such that every irrep (irreducible representation) is contained (as constituent) in the representation induced from trivial representation of some non-trivial (not identity) subgroup? (I allow subgroup subgroups to vary - I mean take all subgroups, induce reps from trivial characters and requirement is require that any irrep sits in this set).

Remark: if If we induce from the subgroup = {identity}, we will get a regular representation of the whole group, and every irrep lives there. So I should not allow this trivial subgroup.

Example 1: S_n satisfy $S_n$ satisfies this property (there is some comment by David Speyer which I cannot find now, which says (as far as I remember) that induction from $S_{k1}\times S_{k2} \times ... \times times\cdots\times S_{kl}$ will do the job. I have another argument but it is more complicatedcomplicated).

Example 2: Take Z/pZ $\mathbb{Z}/p\mathbb{Z}$ for prime p - it does NOT satisfy my requirement - the only subgroups are {e} $\lbrace 1\rbrace$ and Z/pZ $\mathbb{Z}/p\mathbb{Z}$ itself, ; first one is forbidden by the rules of the game, and induction from the second will give trivial irrep.

Example 3: If we take PSL(2,7)=GL(3,2) and induce from the 3-Sylow subgroup - it will contain all irreps as constituents (see MO 104939).

In particular: what about GL(n,F_p) $GL(n,\mathbb{F}_p)$ and A_n ?$A_n$?

show/hide this revision's text 2 added 144 characters in body

What are examples (general features) of the finite groups $G$, such that every irrep (irreducible representation) contained (as constituent) in the representation induced from trivial representation of some non-trivial (not identity) subgroup ? (I allow subgroup to vary - I mean take all subgroups, induce reps from trivial characters and requirement is that any irrep sits in this set).

Remark: if induce from the subgroup = {identity}, we will get regular representation of whole group, and every irrep lives there. So I should not allow this trivial subgroup.

Example 1: S_n satisfy this property (there is some comment by David Speyer which I cannot find now, which says (as far as I remember) that induction from $S_{k1}\times S_{k2} \times ... \times S_{kl}$ will do the job. I have another argument but it is more complicated.

Example 2: Take Z/pZ for prime p - it does NOT satisfy my requirement - the only subgroups are {e} and Z/pZ itself, first one is forbidden by the rules of the game induction from the second will give trivial irrep.

Example 3: If we take PSL(2,7)=GL(3,2) and induce from the 3-Sylow subgroup - it will contain all irreps as constituents (see MO 104939)

In particular: what about GL(n,F_p) and A_n ?

show/hide this revision's text 1

Finite groups such that every irrep can be induced from trivial irrep of a subgroup ?

What are examples (general features) of the finite groups $G$, such that every irrep (irreducible representation) contained (as constituent) in the representation induced from trivial representation of some non-trivial (not identity) subgroup ?

Remark: if induce from the subgroup = {identity}, we will get regular representation of whole group, and every irrep lives there. So I should not allow this trivial subgroup.

Example 1: S_n satisfy this property (there is some comment by David Speyer which I cannot find now, which says (as far as I remember) that induction from $S_{k1}\times S_{k2} \times ... \times S_{kl}$ will do the job. I have another argument but it is more complicated.

Example 2: Take Z/pZ for prime p - it does NOT satisfy my requirement - the only subgroups are {e} and Z/pZ itself, first one is forbidden by the rules of the game induction from the second will give trivial irrep.

Example 3: If we take PSL(2,7)=GL(3,2) and induce from the 3-Sylow subgroup - it will contain all irreps as constituents (see MO 104939)

In particular: what about GL(n,F_p) and A_n ?