I'm trying to look at the restriction of characters of a group on all of
its subgroups. The function "Restricted" seems like the logical choice, but
for some reason I can't get it to work.
Here's what I tried :
# first define the parent group
gap> group:=PrimitiveGroup(8,3);;
# get a list of (nonconjugate) subgroups
gap> subgroups:=List(ConjugacyClassesSubgroups(group),Representative);;
# get their characters
gap> chars:=List(subgroups,CharTable);;
# the character of the parent group is the last element in the list
gap> groupchar:=chars[Length(chars)];
CharTable( PSL(2,7) )
# now for the restriction
gap> Restricted(groupchar,chars[3],groupchar.irreducibles);
false
# even this "dosen't work" (restricting on the group itself)
gap> Restricted(groupchar,groupchar,groupchar.irreducibles);
false
I realize that somehow I have define fusion maps of the subgroups into
the parent group, but I haven't figured out how. I also suspect that their
might be a better approach to the problem. I'd appreciate any suggestitions.
Thanks.
Jacob.
PS: I'm still using version 3r4p0.