Since the given group $H$ is a subgroup of $S_n$, the restrictions of the Specht modules to $H$ are also $H$-modules. The number of copies of the trivial representation of $H$ in each of these modules can be found by the formula for the inner product for characters applied to the characters of the previous modules.
$\frac{1}{|H|}\sum_{C \in Cl(H)} |C|X_\lambda(\sigma_c)$
$Cl(H)$ is the set of conjugacy classes of $H$, $|C|$ is the size of the conjugacy class and $\sigma_c$ is a representative of the conjugacy class $C$ and $X$ is the character of the representation.
Therefore it is necessary to calculate the cardinality of each conjugacy class. This is done by checking the conjugacy class of each element in the group. For the following example a subgroup of $S_6$ isomorphic to $S_4$ is taken.
i1 : genList = {{1,2,3,0,5,4},{0,4,2,5,1,3}} o1 = {{1, 2, 3, 0, 5, 4}, {0, 4, 2, 5, 1, 3}} o1 : List |
i2 : H = generatePermutationGroup(genList) o2 = {{1, 4, 3, 5, 0, 2}, {0, 1, 2, 3, 4, 5}, {2, 3, 0, 1, 4, 5}, {1, 5, 3, ------------------------------------------------------------------------ 4, 2, 0}, {5, 0, 4, 2, 3, 1}, {4, 0, 5, 2, 1, 3}, {2, 5, 0, 4, 1, 3}, ------------------------------------------------------------------------ {4, 3, 5, 1, 2, 0}, {2, 4, 0, 5, 3, 1}, {3, 0, 1, 2, 5, 4}, {5, 3, 4, 1, ------------------------------------------------------------------------ 0, 2}, {1, 2, 3, 0, 5, 4}, {1, 0, 3, 2, 4, 5}, {3, 2, 1, 0, 4, 5}, {5, ------------------------------------------------------------------------ 2, 4, 0, 1, 3}, {4, 2, 5, 0, 3, 1}, {3, 4, 1, 5, 2, 0}, {3, 5, 1, 4, 0, ------------------------------------------------------------------------ 2}, {5, 1, 4, 3, 2, 0}, {4, 1, 5, 3, 0, 2}, {0, 5, 2, 4, 3, 1}, {0, 3, ------------------------------------------------------------------------ 2, 1, 5, 4}, {2, 1, 0, 3, 5, 4}, {0, 4, 2, 5, 1, 3}} o2 : List |
For the given group a tally with the size of each conjugacy class must be provided. This tally is inputted to the representationMultiplicityMethod
i3 : tal := tally apply (H,h->conjugacyClass h); |
The number of secondary invariants is equal to the index of the group $[S_6:H] = 30$. We check that this is true by calculating the number of trivial representations of $H$ in each irreducible representation of $S_6$. We take into account that there are multiple copies of each representation by multiplying the values with the number of copies which is given by the hookLengthFormula.
i4 : partis = partitions 6; |
i5 : time multi = hashTable apply (partis, p-> p=> representationMultiplicity(tal,p)) -- used 0.359948 seconds o5 = HashTable{Partition{1, 1, 1, 1, 1, 1} => 1} Partition{2, 1, 1, 1, 1} => 0 Partition{2, 2, 1, 1} => 1 Partition{2, 2, 2} => 1 Partition{3, 1, 1, 1} => 0 Partition{3, 2, 1} => 0 Partition{3, 3} => 1 Partition{4, 1, 1} => 0 Partition{4, 2} => 1 Partition{5, 1} => 0 Partition{6} => 1 o5 : HashTable |
i6 : sum (partis, p -> multi#p * hookLengthFormula p) o6 = 30 |
The submodules where the multiplicity is zero will not be taken into account when applying the secondaryInvariants algorithm. The character table can be inputted to the method as well. This is made to avoid calculating the same character table for every partition of $n$. Example charTable = characterTable 6 time multi2 = hashTable apply (partis, p-> p=> representationMultiplicity(tal,p,charTable))
The object representationMultiplicity is a method function.