[GAP Forum] Schur index question
David Joyner
wdj at USNA.Navy.Mil
Wed Apr 28 22:34:27 BST 2004
Hello Gap Forum:
Is there a GAP function which computes the
Schur index (over Q) of a representation?
Doesn't seem to be an answer to this in the
Forum archives. The following seems to give a bound
(based on my possibly wrong understanding of a test in
Cor 31 of ch 22 of Berkovich+Zhmud, Chars of finite gps, vol 2):
SchurIndexBound:=function(chi)
local G,H,IrrH,CG,n,i,L,B;
G:=UnderlyingGroup(chi);
L:=[DegreeOfCharacter(chi)];
CG:=ConjugacyClassesSubgroups(G);
n:=Length(CG);
for i in [2..n] do
H:=Representative(CG[i]);
IrrH:=Irr(H);
L:=Union(L,[ScalarProduct(RestrictedClassFunction(chi,H),IrrH[1])]);
od;
B:=Gcd(L);
return(B);
end;
I'm wondering if there is something better out there.
- David Joyner
More information about the Forum
mailing list