   Injective symmetry classes

### Injective symmetry classes

Such an f is injective if and only if the mapping described in the first item of corollary is injective and corresponding cyclic factors of bar (g) and bar (h) have the same length. The number of such mappings is
Õj[aj( bar (h)) choose aj( bar (g))]aj( bar (g))!,
while the second item of corollary says that we have to multiply this number by Pjjaj( bar (g)) in order to get the number | YXi,(h,g) | of fixed points of (h,g) on YiX. Thus we have proved
Corollary: The number of fixed points of (h,g) on YiX is
| YXi,(h,g) | = Õj[aj( bar (h)) choose aj( bar (g))] jaj( bar (g))aj( bar (g))!,
and hence, by restriction, the numbers of fixed points of g and of h are:
| YXi,g | = [ | Y | choose | X | ] | X | ! if bar (g)=1
| YXi,g | = 0 otherwise,
and
| YXi,h | = [a1( bar (h)) choose | X | ] | X | !.
An application of the Cauchy-Frobenius Lemma yields the desired number of injective symmetry classes:
Theorem: The number of injective H ´G-classes is
| (H ´G) \\YiX | =(1)/( | H | | G | ) å(h,g) Õj[aj( bar (h)) choose aj( bar (g))]jaj ( bar (g))aj( bar (g))!,
so that we obtain by restriction the number of injective G-classes
| G \\YiX | =( | X | !)/( | bar (G) | )[ | Y | choose | X | ]= [ | Y | choose | X | ] | SX/ bar (G) | ,
and the number of injective H-classes
| H \\YiX | =( | X | !)/( | H | ) åk= | X | | Y | | {h ÎH | a1( bar (h))=k } | [k choose | X | ].
Try to compute the number of injective symmetry classes for various group actions.
harald.fripertinger@kfunigraz.ac.at,
last changed: August 28, 2001   Injective symmetry classes