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).
GAP 3.4.4