Notation
Suppose we are given a permutation group G on a set X. It induces
interesting structures both on X and on G that are closely related
(for more details cf. [7]). To begin with, there are the
orbits of the elements x∈ X: G(x): ={ gx  g∈ G
}⊆ X, two of which are either identical or disjoint.
Therefore, the set
G\\X: ={ G(x)  x∈ X
}.^{.}_{.} 
of all the orbits is a setpartition of X. To the orbits
there correspond the stabilizers (which are in fact
subgroups): G_{x} := { g∈ G  gx=x}, and the close
relationship between orbits and stabilizers is the existence of the
following natural bijection between an orbit of an element and the
set of left cosets of its stabilizer:
G(x)→
G/G_{x}, gx↦ gG_{x}.^{.}_{.} 
The cycle index of G is the following polynomial Z(G) in
the indeterminates x_{1},x_{2},...,x_{X}
over Q, defined by
Z(G) := ^{.}_{.} 
1
G

^{.}_{.} 
∑ g∈ G 
^{.}_{.} 
X
∏ i=1 
x_{i}^{ai(g)},^{.}_{.} 
where (a_{1}(g),...,a_{X} (g)) is the cycle type
of the permutation g∈ G. This means, g decomposes into
a_{i}(g) disjoint cycles of length i for i=1,...,X. All
elements of a conjugacy class have the same cycle type, so the
cycle index can be computed in the following way:
Z(G)=^{.}_{.} 
1
G

^{.}_{.} 
∑ C∈ C 
C ^{.}_{.} 
X
∏ i=1 
x_{i}^{ai(gC)}, ^{.}_{.} 
where C is the system of conjugacy classes of G and where
g_{C} is a representative of the conjugacy class C.
Let G and H denote permutation groups on X and Y, respectively.
The wreath product H≀_{X}G is a permutation group on the set
Y^{X}:={f: X→ Y}, defined by
H≀_{X}G:=H^{X} × G={(ψ,g) 
ψ∈ H^{X}, g∈ G}^{.}_{.} 
with multiplication (ψ,g)(ψ', g')=(ψψ'_{g},
gg'), where ψψ'_{g}(x) :=
ψ(x)ψ'_{g} (x) and ψ'_{g}(x) :=
ψ'(g^{1}x). In the case when G≤ S_{n} and
X=n:={0,1,...,n1} we write H≀G
instead of H≀_{n}G.
The wreath product H≀_{X}G
acts in a natural way on Y^{X}. The effect of the
permutation (ψ,g)∈ H≀_{X}G on f∈ Y^{X} is
(ψ,g)(f)=: f̃ , where f̃
(x)=ψ(g)f(g^{1}x). ^{.}_{.} 
The following lemma ([10][9]) reduces the action of a wreath product
to the action of the group G on the set of all functions from X
into the set of all orbits of H on Y:
Lehmann's Lemma:
If G and H denote permutation groups on X and Y, respectively,
then G acts on (H\\Y)^{X} in the following way:
g(f):= f o g^{1}.
^{.}_{.} 
Moreover, the mapping
Φ: H≀_{X}G\\Y^{X}→
G\\(H\\Y)^{X},(H≀_{X}G(f)) ↦ G(F) ^{.}_{.} 
is a bijection if F∈ (H\\Y)^{X} is given by
F(x)=H(f(x)).
There are many enumerative and constructive results dealing with
various group actions on the set Y^{X} induced by
permutation groups on the domain X and on the range Y. For example,
S_{n} × H acts upon Y^{n} by
(π,h)(f):= h o f o
π^{1}. ^{.}_{.} 
The corresponding generating function for the numbers of
S_{n} × Horbits on Y^{n} is given by (see [1]):
^{.}_{.} 
∞
∑ n=0 
(S_{n} ×
H)\\Y^{n}x^{n}=Z(H)_{xi=..} 
∞
∑ j=0 
x^{ij} =Z(H)
_{xi=(1)/(1xi)}.
^{.}_{.} 
The group action of above can be restricted to the set of all
injective mappings from n to Y, the corresponding generating
function is
^{.}_{.} 
∞
∑ n=0 
(S_{n} ×
H)\\Y^{n}_{inj}x^{n}= Z(H)
_{xi=1+xi}. ^{.}_{.} 
harald.fripertinger "at" unigraz.at, May 10,
2016