gap-libs 4r7p9-1 / usr / share / gap / lib / ctblsymm.gd

#############################################################################
##
#W  ctblsymm.gd                 GAP library                    Götz Pfeiffer
#W                                                               Felix Noeske
##
##
#Y  Copyright (C)  1997,  Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
#Y  (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
#Y  Copyright (C) 2002 The GAP Group
##
##  This file  contains  the  declaration  of functions  needed for a  direct
##  computation of the character values of  wreath  products of a  group  $G$
##  with $S_n$, the  symmetric group  on  n points.  Special  cases  are  the
##  symmetric group $S_n$ itself  and the Weyl group  of type  $B_n$ which is
##  a wreath product of a  cyclic group $C_2$ of order 2  with  the symmetric
##  group $S_n$.
##  
##  Moreover the character values of   alternating groups $A_n$ are  obtained
##  by  restriction from $S_n$ and  the  character  values of Weyl  groups of
##  type $D_n$ are obtained from those of type $B_n$.
##  
##  The values are computed by a generalized Murnaghan-Nakayama formula.
##
##  For a good reference of used formulae see:
##  G. James, A.Kerber: The Representation Theory of the Symmetric Group,
##  Addison-Wesley, 1981.
##  A. Kerber, Representations of Permutation Groups I, Springer 1971.
##  A. Kerber, Representations of Permutation Groups II, Springer 1975.
## 
##  Now  the classes (as  well  as the  characters)  of $S_n$ are indexed  by
##  partitions (i.e.  the  cycle structure of  the elements in  that  class).
##  In  general the   classes  (and  again  the  characters)  of  the  wreath
##  product $G  wr S_n$ are indexed  by  $r$-tuples of partitions,  where $r$
##  is  the number of   classes   of  the  group  $G$  and  these  partitions
##  together form a  partition of $n$.  That is  after distributing  $n$ over
##  $r$ places each place is partitioned.
## 
##  There are different  ways  to  represent a  partition and we  make use of
##  two of them.
##
##  First there is  the  partition as  a   finite  nonincreasing sequence  of
##  numbers which sum up  to  $n$.  This representation serves to  compute  a
##  complete  list of  partitions  of $n$   and is stored in  the   resulting
##  table as value of `ClassParameters'.
##
##  The most beautiful way to treat  Young  tableaux and hooks of  partitions
##  is their  representation  as beta-numbers.    A  beta-number   is a  set,
##  which arises  from a  partition  by reversing  the   order  and  adding a
##  sequence [0,1,2,...] of   the  same    length.    Since this     reversed
##  partition  is   allowed to have   leading zeros,   its   beta-set  is not
##  uniquely  determined.  Each beta-set    however   determines  a    unique
##  partition.   For   example  a   beta-set for  the partition    [4,2,1] is
##  [1,3,6], another  one  [0,1,3,5,8].   To  remove    a  $k$-hook from  the
##  corresponding  Young  tableau  the beta-numbers  are  placed  as beads on
##  $k$ strings.
##
##  xxxx         _________      _________      _________        xxxx
##  xx            0  1  2        |  o  |        o  o  |          
##  x             3  4  5        o  |  |   ->   |  |  |          
##                6  |  |        o  |  |        o  |  |          
##
##  To  find a removable  $k$-hook now  simply  means  to find a  free  place
##  for  a bead  one step  up  on its string,  the  hook is  then  removed by
##  lifting this  bead.  (You see  how  this process   can   produce  leading
##  zeros.)  Beta-numbers are used to parametrize the characters.
##
##  The case $2  wr S-n$  uses pairs  of these  objects  while  the   general
##  wreath product  uses  lists of them. A list  of beta-numbers is  called a
##  symbol.
##


#############################################################################
##
#F  BetaSet( <alpha> )  . . . . . . . . . . . . . . . . . . . . . . beta set.
##
##  <ManSection>
##  <Func Name="BetaSet" Arg='alpha'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "BetaSet" );


#############################################################################
##
#F  CentralizerWreath( <sub_cen>, <ptuple> )  . . . . centralizer in G wr Sn.
##
##  <ManSection>
##  <Func Name="CentralizerWreath" Arg='sub_cen, ptuple'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "CentralizerWreath" );


#############################################################################
##
#F  PowerWreath( <sub_pm>, <ptuple>, <p> )  . . . . . . power map in G wr Sn.
##
##  <ManSection>
##  <Func Name="PowerWreath" Arg='sub_pm, ptuple, p'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "PowerWreath" );


#############################################################################
##
#F  InductionScheme( <n> )  . . . . . . . . . . . . . . . . removal of hooks.
##
##  <ManSection>
##  <Func Name="InductionScheme" Arg='n'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "InductionScheme" );


#############################################################################
##
#F  MatCharsWreathSymmetric( <tbl>, <n> ) . . .  character matrix of G wr Sn.
##
##  <ManSection>
##  <Func Name="MatCharsWreathSymmetric" Arg='tbl, n'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "MatCharsWreathSymmetric" );


#############################################################################
##
#F  CharValueSymmetric( <n>, <beta>, <pi> ) . . . . . character value in S_n.
##
##  <ManSection>
##  <Func Name="CharValueSymmetric" Arg='n, beta, pi'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "CharValueSymmetric" );


#############################################################################
##
#V  CharTableSymmetric  . . . .  generic character table of symmetric groups.
##
##  <ManSection>
##  <Var Name="CharTableSymmetric"/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalVariable( "CharTableSymmetric",
    "generic character table of symmetric groups" );


#############################################################################
##
#V  CharTableAlternating  . .  generic character table of alternating groups.
##
##  <ManSection>
##  <Var Name="CharTableAlternating"/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalVariable( "CharTableAlternating",
    "generic character table of alternating groups" );


#############################################################################
##
#F  CharValueWeylB( <n>, <beta>, <pi> ) . . . . . character value in 2 wr Sn.
##
##  <ManSection>
##  <Func Name="CharValueWeylB" Arg='n, beta, pi'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "CharValueWeylB" );


#############################################################################
##
#V  CharTableWeylB  . . . . generic character table of Weyl groups of type B.
##
##  <ManSection>
##  <Var Name="CharTableWeylB"/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalVariable( "CharTableWeylB",
    "generic character table of Weyl groups of type B" );


#############################################################################
##
#V  CharTableWeylD  . . . . generic character table of Weyl groups of type D.
##
##  <ManSection>
##  <Var Name="CharTableWeylD"/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalVariable( "CharTableWeylD",
    "generic character table of Weyl groups of type D" );


#############################################################################
##
#F  CharValueWreathSymmetric(<sub>,<n>,<beta>,<pi>) . char. value in G wr Sn.
##
##  <ManSection>
##  <Func Name="CharValueWreathSymmetric" Arg='sub,n,beta,pi'/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalFunction( "CharValueWreathSymmetric" );


#############################################################################
##
#F  CharacterTableWreathSymmetric( <tbl>, <n> )  . .  char. table of G wr Sn.
##
##  <#GAPDoc Label="CharacterTableWreathSymmetric">
##  <ManSection>
##  <Func Name="CharacterTableWreathSymmetric" Arg='tbl, n'/>
##
##  <Description>
##  returns the character table of the wreath product of a group <M>G</M>
##  with the full symmetric group on <A>n</A> points,
##  where <A>tbl</A> is the character table of <M>G</M>.
##  <P/>
##  The result has values for <Ref Attr="ClassParameters"/> and
##  <Ref Attr="CharacterParameters"/> stored,
##  the entries in these lists are sequences of partitions.
##  Note that this parametrization prevents the principal character from
##  being the first one in the list of irreducibles.
##  <P/>
##  <Example><![CDATA[
##  gap> c3:= CharacterTable( "Cyclic", 3 );;
##  gap> wr:= CharacterTableWreathSymmetric( c3, 2 );;
##  gap> Display( wr );
##  C3wrS2
##  
##       2  1   .   .   1  .   1  1   1   1
##       3  2   2   2   2  2   2  1   1   1
##  
##         1a  3a  3b  3c 3d  3e 2a  6a  6b
##      2P 1a  3b  3a  3e 3d  3c 1a  3c  3e
##      3P 1a  1a  1a  1a 1a  1a 2a  2a  2a
##  
##  X.1     1   1   1   1  1   1 -1  -1  -1
##  X.2     2   A  /A   B -1  /B  .   .   .
##  X.3     2  /A   A  /B -1   B  .   .   .
##  X.4     1 -/A  -A  -A  1 -/A -1  /A   A
##  X.5     2  -1  -1   2 -1   2  .   .   .
##  X.6     1  -A -/A -/A  1  -A -1   A  /A
##  X.7     1   1   1   1  1   1  1   1   1
##  X.8     1 -/A  -A  -A  1 -/A  1 -/A  -A
##  X.9     1  -A -/A -/A  1  -A  1  -A -/A
##  
##  A = -E(3)^2
##    = (1+Sqrt(-3))/2 = 1+b3
##  B = 2*E(3)
##    = -1+Sqrt(-3) = 2b3
##  gap> CharacterParameters( wr )[1];
##  [ [ 1, 1 ], [  ], [  ] ]
##  ]]></Example>
##  </Description>
##  </ManSection>
##  <#/GAPDoc>
##
DeclareGlobalFunction( "CharacterTableWreathSymmetric" );


#############################################################################
##
#V  CharTableDoubleCoverSymmetric
##
##  <ManSection>
##  <Var Name="CharTableDoubleCoverSymmetric"/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalVariable( "CharTableDoubleCoverSymmetric",
    "gen. char. table of the standard Schur double cover of symm. groups" );


#############################################################################
##
#V  CharTableDoubleCoverAlternating
##
##  <ManSection>
##  <Var Name="CharTableDoubleCoverAlternating"/>
##
##  <Description>
##  </Description>
##  </ManSection>
##
DeclareGlobalVariable( "CharTableDoubleCoverAlternating",
    "generic char. table of the Schur double cover of alternating groups" );


#############################################################################
##
#E