71.60 SplitECores

SplitECores(x)
SplitECores(x, mu)
SplitECores(x, y)

The function SplitECores(x) returns a list [b_1,...,b_k] where the Specht modules in each b_i all belong to the same block (ie. they have the same e-core). Similarly, SplitECores(x, mu) returns the component of x which is in the same block as mu, and SplitECores(x, y) returns the component of x which is in the same block as y.

gap> H:=Specht(2);;
gap> SplitECores(InducedModule(H.S(5,3,1))); 
[ S(6,3,1)+S(5,3,2)+S(5,3,1,1), S(5,4,1) ]
gap> InducedModule(H.S(5,3,1),0);
S(5,4,1)
gap> InducedModule(H.S(5,3,1),1);
S(6,3,1)+S(5,3,2)+S(5,3,1,1) 

See also ECore ECore, InducedModule InducedModule, and RestrictedModule RestrictedModule.

This function requires the package ``specht'' (see RequirePackage).

Previous Up Top Next
Index

GAP 3.4.4
April 1997