Surjective symmetry classesSpecial symmetry classesInjective 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 "at" uni-graz.at http://www-ang.kfunigraz.ac.at/~fripert/
UNI-Graz Institut für Mathematik
UNI-Bayreuth Lehrstuhl II für Mathematik
last changed: January 19, 2005

Surjective symmetry classesSpecial symmetry classesInjective symmetry classes