arXiv:1711.02849v2 [math.AC] 13 Dec 2017

Dimension formula for the space of relative
symmetric polynomials of Dn with respect to any
irreducible representation
S. Radha and P. Vanchinathan
VIT University, Chennai, India
radha.s@vit.ac.in vanchinathan.p@vit.ac.in
December 14, 2017
Keywords: Relative symmetric polynomials, Dihedral groups, Invariants
Classification: Primary 05E05 Secondary 15A69
Abstract
We provide an alternative formula along with the generating function
for the dimension of the vector space of relative symmetric polynomials
of Dn with respect to any irreducible character of Dn .

1

Introduction

Every complex representation of a finite group has a canonical decomposition
into direct sum of isotypical components. Serre’s textbook [2, page 21] gives the
formula for the projection map to all these components. We recall the formula
here:
L
Given the isotypical decomposition V = χ∈Irr (G) Vχ , the projection to the
component Vχ is given by
p=

deg χ X
χ̄(g)ρ(g)
|G|

(1.1)

g∈G

When χ is the trivial 1-dimensional representation this projection is the Reynold’s
operator.
In this paper we focus on the natural action of Sn (and its subgroups) on
the complex polynomial algebra of n variables, by permuting the variables.
We denote by Hd (x1 , x2 , . . . , xn ) the complex vector space of all homogeneous polynomials of degree d in the n variables, x1 , x2 , . . . , xn , sometimes denoted simply by Hd .
The image of the Reynold’s operator will be the space of all symmetric
polynomials of degree d.
M. Shahryari [3] has introduced the notion of relative symmetric polynomials
for any subgroup G ⊂ Sn with respect to any irreducible character χ of G.

1

The vector space of relative symmetric polynomials of G relative to χ, denoted by Hd (G, χ) is defined as the image of the projection operator defined in
Equation (1.1) in this case:
T (G, χ) =

χ(1) X
χ(g)g
|G|

(1.2)

g∈G

Finding the dimension of this vector space of relative symmetric polynomials
for various subgroups of the symmetric group of Sn is a fundamental question.
In later papers Babaei, Zamani and Shahryari found the dimension of the
space of relative invariants for Sn and its subgroup An [3] and for Young subgroup [4]
In a series of papers Babaei and Zamani have given corresponding formula
for the cyclic group in [7], for the dicyclic group in [8] and for the dihedral group
Dn [9].
In our work here we relook at the formula for dihedral groups. BabaeiZamani formula is a summation involving cosine values which are in general
irrational numbers. So they may be inconvenient to calculate dimensions which
are non-negative integers. By using appropriate theorems from elementary number theory along with combinatorial counting arguements, we have provided an
alternative dimensional formula as a summation of integer terms. Another advantage of our formula is that it allows us to write down the generating function.
See theorems 4.1 and 4.2 for the precise statements.
A notable feature is that this formula gives this dimension as a summation
over the divisors of n involving the Möbius and Euer φ-functions, even though
this problem is not apparently connected with number theory.
Our paper is organized this way: after this introduction, in the second section
a few number-theoretic preliminaries are assembled, in Section 3 the character
table of the dihedral group is given following Serre [2]. In the fourth section
we state and prove the formula. Finally Section 5 illustrates how easy it is to
compute with these formulæ.

2

Preliminaries

First we set up the notations:
• We use the standard notations φ(n) and µ(n) respectively for the Euler’s
totient function and Möbius function.
• For n any positive integer and r a divisor of n we denote by Sr (n) the set
of integers between 1 and n having r as their gcd.
Sr (n) := {k : 1 ≤ k ≤ n, gcd(k, n) = r}
We state below, without proofs, some well known facts from elementary
number theory as lemmas. These results were known to Ramanujan [1] and von
Sterneck [6].
Lemma 2.1 With the notation as above, we have Sr (n) = {rk : k ∈ S1 (n/r)}.
I.e., Sr (n) = rS1 (n/r). In particular, |Sr (n)| = |S1 (n/r)|.
2

Lemma 2.2 The sum of all the primitive nth roots of unity is µ(n).
n
X

(ie)

exp( 2πik
n ) = µ(n)

k=1
gcd(k,n)=1

In fact we need the following variation of Lemma 2:
Lemma 2.3

n
X

cos (2πk/n) = µ(n)

k=1
gcd(k,n)=1

Lemma 2.4 For any two positive integers n and m
n
X

k=1

3

exp

2πimk
n



=µ




n
φ(n)

gcd(m, n) φ n/ gcd(m, n)

Characters of the Dihedral group Dn

We write the elements of Dn , as Dn = {1, σ, σ 2 , . . . , σ n−1 , τ, τ σ, τ σ 2 , . . . , τ σ n−1 }
The dihedral group Dn has only degree 1 and degree 2 irreducible represenations.

3.1

One-dimensional representations:

• When n is odd there are two irreducible representations of degree 1 namely
χ1 and χ2 and the character table for those represenations is given below:
Character
χ1
χ2

σk
1
1

τ σk
1
−1

• When n is even there are four irreducible representations of degree 1
namely χ1 , χ2 ,χ3 and χ4 and the character table for those represenations is given below:
σk
1
1
(−1)k
(−1)k

Character
χ1
χ2
χ3
χ4

3.2

τ σk
1
−1
(−1)k
(−1)k+1

Two-dimensional representations

Let h be a positive integer with h < n/2. A representation ρh of Dn has the
character given by ψh (σ k ) = 2 cos 2πhk
and ψh (τ σ k ) = 0.
n
In our paper we follow the convention
that whenever n or r is not a positive

integer the binomial coefficient nr is interpreted as zero. Now we can state the
main result of our paper:
3

4

Dimension formulæ and generating functions

Theorem 4.1 Let ψh be the irreducible character of degree 2 of the dihedral
group Dn as above. Then the dimension of Hd (Dn , ψ), the vector space of relative symmetric polynomials is described in two cases:
Case(i) h is coprime to n:
dim Hd (Dn , ψh ) =

  

d
−1
n
2 X r + n/r
µ
n
r
r−1
r|n

The generating function in this case is given by
∞
X

dim Hd (Dn , ψh )td =

d=0

n
2 X n
µ
(1 − t r )−r
n
r

r|n

Case(ii) h is not coprime to n:

 


d
φ nr
−1
n/r
2 X r + n/r


µ
dim Hd (Dn , ψh ) =
n
g
r−1
φ n/r
r|n

g

where µ(n) is the Möbius function and g = gcd(h, nr ).
The generating function in this case is given by
∞
X
d=0

2X
dim Hd (Dn , ψh )t =
µ
n
d

r|n



n/r
g




φ nr
n
 (1 − t r )−r

n/r
φ g

Proof:
It suffices to prove the formula for the dimension of Hd (Dn , ψ) for a general
d. The formula for the generating function is a straight forward consequence.
Case (i): For definiteness we fix the embedding of Dn in Sn with the generators of Dn as below: Dn = hσ, τ i where σ is the n-cycle given by (1 2 3 . . . n)
and τ (j) = n + 1 − j is the reversal permutation. In fact, Dn cane be embedded
in Sn uniquely upto conjugacy. Now in the case of a 2-dimensional irreducible
character χ of Dn , ψ(τ σ k ) = 0 for all k. So the dimension formula reduces to
the summation over the cyclic subgroup of all rotations in Dn .
dim Hd (Dn , ψ) =

n

n

k=1

k=1

ψ(1) X
2 X
2πk
Tr (σ k )
ψ(σ k ) Tr (σ k ) =
2 cos
|Dn |
2n
n

(4.1)

Note that Tr (σ k ) is the trace of the k th power of the n-cycle σ in the vector
space of homogeneous polynomials in n variables, with σ permuting the variables cyclically. As this vector space
 has all monomials of degree d in n kvariables
as basis its dimension is n+d−1
n−1 . Being a permutation action Tr (σ ) = the
number of monomials of degree d in n variables fixed by σ k . So the calculation boils down to finding the number of invariant monomials of degree d. To
calculate Tr (σ k ), let r = gcd(n, k). Then σ k decomposes into a product of r
number of disjoint cycles of length nr . For a monomial to be invariant under
4

σ k , degree of all the variables within an nr -cycle should be constant. Call these
degrees d1 , d2 , . . . , dr .
(ie)
n
n
n
d = d1 + d2 + . . . + dr
r
r
r
Therefore,
d
d1 + d2 + . . . + dr =
n/r
A necessary condition is d must be a multiple of nr . Let us assume this holds.
d
So Tr (σ k ) = number of ordered partitions of n/r
into r parts.


d
r + n/r − 1
. Substituting this value of trace in
This is well known to be
r−1
to (4.1), we get


n
d
−1
1 X r + n/r
2πk
dim Hd (Dn , ψ) =
2
cos
n
n
r−1

(4.2)

k=1

Note that for two terms of the summation on righthand side if 1 ≤ k1 , k2 ≤ n
1
are such that gcd(k1 , n) = gcd(k2 , n), then the coefficient of cos 2πk
n equals that
2πk2
of cos n . As the gcd of any number with n is a divisor of n, the dimension
formula can be rewritten as a summation over the divisors
of n. We treat
d
−1
r+ n/r
, one for each
the above summation as a sum of binomial coefficients
r−1
divisor r of n with some weights. These weights are sums of cosine values. So
the dimensional formula takes the form


d
i r + n/r
−1
1 Xh X
2 cos 2πk/n
dim Hd (Dn , ψ) =
(4.3)
n
r−1
r|n

k∈Sr (n)

That is,
dim Hd (Dn , ψ) =

1 Xh
n
r|n

X

2 cos 2πa

a∈S1 (n/r)



d
 n i r + n/r
−1
(by lemma 2.1)
r
r−1
(4.4)

Using lemma 2.3 the above equation reduces to


d
−1
2 X  n  r + n/r
µ
dim Hd (Dn , ψ) =
n
r
r−1
r|n

Proof of case (ii): Proceeding as in case (i), we have




d
X
X
−1
2πah  r + n/r
2

cos
dim Hd (Dn , ψ) =
n
n/r
r−1
r|n

(4.5)

a∈S1 (n/r)

The inner summation inside the square brackets in the above equation is actually
th
the sum of the real parts of hth powers of all primitive nr
roots of unity.
Defining g = gcd(h, n/r), we see that the above is same as the sum of all the

5

th
real parts of g th powers of all primitive nr
roots of unity. Now we can apply
Lemma 2.4 which makes equation (4.5) to become




d
−1
2πa  φ(n/r) r + n/r
2 X X
cos
dim Hd (Dn , ψ) =
n
n/gr φ(n/gr)
r−1
r|n

a∈S1 (n/gr)

Again using lemma 2.3

2X
µ
dim Hd (Dn , ψ) =
n
r|n



n/r
g





d
−1
φ(n/r) r + n/r
φ(n/gr)
r−1

Theorem 4.2 Case (i), n is odd:
Let χ1 and χ2 be the two irreducible characters of degree 1 with χ1 being the
trivial character and ψ2 taking +1 on rotations and −1 on reflections. The
dimensions of Hd (Dn , χ1 ) and Hd (Dn , χ2 ) are given by





⌊d/2⌋  n−1
d
X
− 1 n
+
l
−
1
1 X r + n/r
2

+n
dim Hd (Dn , χ1 ) =
φ
2n
r
l
r−1
l=0

r|n

and






⌊d/2⌋  n−1
d
X
− 1 n
+
l
−
1
1 X r + n|r
2

−n
dim Hd (Dn , χ2 ) =
φ
2n
r
l
r−1
l=0

r|n

The generating functions for the above two cases are given by


∞


2
−(n−1)/2
X
X
n
n
1 
n(1 − t )

φ
(1 − t r )−r +
dim Hd (Dn , χ1 )td =
2n
r
1−t
d=0

∞
X
d=0

r|n




2 −(n−1)/2
X n
n
1
n(1
−
t
)


φ
(1 − t r )−r −
dim Hd (Dn , χ2 )td =
2n
r
1−t
r|n

Case (ii) when n is even:
Let χ1 ,χ2 ,χ3 and χ4 be the four irreducible characters of degree 1. Let Hd (Dn , ψ1 ),
Hd (Dn , ψ2 ), Hd (Dn , ψ3 ) and Hd (Dn , χ4 ) be the space of Relative symmetric
polynomials with respect to ψ1 ,ψ2 ,ψ3 and ψ4 . Then the dimensions Hd (Dn , χ1 ),
Hd (Dn , χ2 ), Hd (Dn , χ3 ) and Hd (Dn , χ4 ) are given by



d
− 1 n
1 X r + n/r
dim Hd (Dn , χ1 ) =
φ
2n 
r
r−1
r|n



 X

d/2  n−2

n  n2 + d2 − 1
+
l
−
1
2

+
+
(d
−
2l
+
1)
d

2
l
2
l=0

6




d
− 1 n
1 X r + n/r
φ
dim Hd (Dn , χ2 ) =
2n 
r
r−1
r|n




 X
d/2  n−2

+
l
−
1
n  n2 + d2 − 1
2

(d
−
2l
+
1)
−
+
d

2
l
2
l=0


 n  r + d − 1
1 X
r
n/r
(−1) φ
dim Hd (Dn , χ3 ) =
2n 
r
r−1
r|n


 ⌊d/2⌋


X  n−2 + l − 1
n  n2 + d2 − 1
2

−
(d
−
2l
+
1)
+
d

2
l
2
l=0


 n  r + d − 1
1 X
n/r
(−1)r φ
dim Hd (Dn , χ4 ) =
2n 
r
r−1
r|n


 ⌊d/2⌋
 n−2
n d


X
+ −1
n
2 + l − 1 (d − 2l + 1)
−
−  2 d2

2
l
2
l=0

The generating functions for the above four cases are given by:
∞
X

dim Hd (Dn , χ1 )td =

d=0

∞
X

d=0



n
n
1 X n
φ
(1−t r )−r + (1−t2 )−(n+2)/2 (2+t2 )(1+t)
2n
r
2
r|n



X n
1
n
n

dim Hd (Dn , χ2 )td =
φ
(1 − t r )−r − (1 − t2 )−(n+2)/2 (2 + t2 )(1 + t)
2n
r
2

∞
X

r|n

dim Hd (Dn , χ3 )td

d=0



n
n
1 X  n 
=
φ
(−1)r (1 − t r )−r − (1 − t2 )−(n+2)/2 (1 + t + t2 )
2n
r
2
r|n

∞
X

dim Hd (Dn , χ4 )td

d=0



n
n
1 X  n 
φ
(−1)r (1 − t r )−r + (1 − t2 )−(n+2)/2 (1 + t + t2 )
=
2n
r
2
r|n

Proof:
Case (i) (when n is odd):
By definition:
" n
#
n
X
1 X
k
k
k
k
Tr (σ )ψ1 (σ ) +
Tr (τ σ )ψ1 (τ σ )
dim Hd (Dn , χ1 ) =
2n
k=1

k=1

7

(ie)
" n
#
n
X
1 X
Tr (σ k ) +
Tr (τ σ k )
dim Hd (Dn , χ1 ) =
2n
k=1

k=1

When n is odd all the reflections of Dn falls into a single conjugacy class. Hence
the above summation becomes
#
"
n
X
1
k
dim Hd (Dn , χ1 ) =
Tr (σ )
n Tr (τ ) +
2n
k=1

Now calculation of Tr (σ k ) is the same as in Theorem 1. It remains to find
Tr (τ ). Since n is odd, τ is the product of n−1
2 transpositions and has one fixed
point. Now Tr (τ ) is the count of monomials fixed by τ . We denote the variables
by x1 , x2 , . . . x(n−1)/2 , y1 , y2 , . . . , y(n−1)/2 , z. Without loss of generality, let us
assume that τ (z) = z, τ (xi ) = yi and τ (yi ) = xi for 1 ≤ i ≤ (n − 1)/2. Now a
monomial of degree d invariant under τ has to be of the form
z d0 xd11 y1d1 xd22 y2d2 xd33 y3d3 . . .
Number of tuples (d0 , d1 , . . . , d(n−1)/2 ) such that
d0 + 2(d1 + d2 + . . . + d(n−1)/2 ) = d
is the total number of ordered partitions of (d − d0 )/2 into (n − 1)/2 parts with
all d0 satisfying d − d0 is an even non negative integer. This is easily verified to
P⌊d/2⌋ n−1 +l−1
2
. Hence the formula becomes
be l=0
l





⌊d/2⌋  n−1
d
X
−1
+
l
−
1
1 X r + n/r
2

dim Hd (Dn , χ1 ) =
+n
l
2n
r−1
l=0

r|n

Using the same arguements as above, we have





⌊d/2⌋  n−1
d
X
X
r + n/r − 1
1 
2 +l−1 
dim Hd (Dn , χ2 ) =
−n
2n
l
r−1
l=0
r|n

case (ii): By definition

" n
#
n
X
1 X
dim Hd (Dn , χ1 ) =
Tr (σ k )ψ1 (σ k ) +
Tr (τ σ k )ψ1 (τ σ k )
2n
k=1

k=1

(ie)
" n
#
n
X
1 X
k
k
dim Hd (Dn , χ1 ) =
Tr (σ ) +
Tr (τ σ )
2n
k=1

k

k=1

Now Tr (σ ) is the same as in Theorem 1. It remains to find Tr (τ σ k ). Since n
is even, all the reflections τ σ k fall into two conjugacy classes according as k is
even or odd. Hence the formula becomes
" n
#
n
1 X
n
k
dim Hd (Dn , χ1 ) =
Tr (σ ) + Tr (τ σ) + Tr (τ )
2n
2
2
k=1

8

Using the same arguement as we did in case (i) of this theorem, we can find the
trace of the reflections in both the cases (when n is odd or even). Hence the
formula becomes



d
− 1 n
1 X r + n/r
φ
dim Hd (Dn , χ1 ) =
2n 
r
r−1
r|n

d/2

nX
+
2
l=0

 n−2
2

In the same way



n

+l−1
+
l
−
1
(d − 2l + 1) + 2

l
l




d
− 1 n
1 X r + n/r
dim Hd (Dn , χ2 ) =
φ
2n 
r
r−1
r|n



n

⌊d/2⌋  n−2
n X
+
l
−
1
+
l
−
1
2
−
(d − 2l + 1) + 2

2
l
l
l=0

Now again using the definition, we have
" n
#
n
X
1 X
k
k
k
k
Tr (σ )ψ3 (σ ) +
Tr (τ σ )ψ3 (τ σ )
dim Hd (Dn , χ3 ) =
2n
k=1

k=1

(ie)
" n
#
n
X
1 X
(−1)k ) Tr (σ k ) +
(−1)k Tr (τ σ k )
dim Hd (Dn , χ3 ) =
2n
k=1

k=1

k

Using the same result for Tr (σ ) from Theorem 1, we have







n

d
X
−
1
r
+
1 X  X
n/r
+
dim Hd (Dn , χ3 ) =
(−1)k Tr (τ σ k )
(−1)k 

2n 
r−1
r|n

k=1

k∈Sr (n)

Since n is even, all k’s in the inner summation are even or odd according as r is
even or odd and it sums up to (−1)r φ( nr ). Hence the above equation becomes


#
"
n

 n  r + d − 1
X
1 X
n/r
+
(−1)k Tr (τ σ k )
dim Hd (Dn , χ3 ) =
(−1)r φ

2n 
r
r−1
k=1
r|n

It remains to find Tr (τ σ k ). Using the same arguement as we did in case (i), we
can calculate it. Hence the above equation reduces to

 n  r + d − 1
1 X
n/r
dim Hd (Dn , χ3 ) =
(−1)r φ
2n 
r
r−1
r|n


 X
n d

d/2  n−2

+
−
1
n
2 + l − 1 (d − 2l + 1)
−
+  2 d2

2
l
2
l=0

9

In the same way, we have

 n  r + d − 1
1 X
r
n/r
(−1) φ
dim Hd (Dn , χ4 ) =
2n 
r
r−1
r|n


 ⌊d/2⌋
n d

X  n−2 + l − 1
n 2 + 2 −1
2
−
−
(d − 2l + 1)

l
l
2
l=0

To find the generating functions for dim Hd (Dn , χ1 ), dim Hd (Dn , χ2 ), dim Hd (Dn , χ3 )
and dim Hd (Dn , χ4 ):
 r+ d −1
P
n/r
which is easily
Let G1 (t) be the generating function for r|n φ nr
r−1

P
n
n
r
−r
r
seen to be r|n (−1) φ r (1 − t ) . Let G2 (t) and G3 (t) be the generating


Pd/2 n−2
d
n
(d−2l+1) respectively.
functions corresponding to 2 + l2 −1 and l=0 2 +l−1
l
n
Now G2 (t) is very easily verified to be (1 − t2 ) 2 . Now the generating functions
for dim(Hd , χ1 ) ,dim(Hd , χ2 ) ,dim(Hd , χ3 ) and dim(Hd , χ4 ) are given by:
∞
X

dim Hd (Dn , χ1 )td =

o
n
1 n
G1 (t) + [G2 (t) + G3 (t)]
2n
2

dim Hd (Dn , χ2 )td =

o
n
1 n
G1 (t) − [G2 (t) + G3 (t)]
2n
2

dim Hd (Dn , χ3 )td =

o
n
1 n
G1 (t) + [G2 (t) − G3 (t)]
2n
2

dim Hd (Dn , χ3 )td =

o
1 n
n
G1 (t) − [G2 (t) − G3 (t)]
2n
2

d=0

∞
X

d=0

∞
X

d=0

∞
X

d=0

Now evaluation of G3 (t) given in the following lemma.
Lemma 4.3 For

⌊d/2⌋  n−2
X
2
l=0


+l−1
(d − 2l + 1)
l

the generating function is

G3 (t) = (1 − t2 )−
Proof of Lemma:
First consider

⌊d/2⌋  n−2
X
2
l=0

Let

bd =

X

(1 + 2t + t2 + t3 )


+l−1
(d − 2l + 1)
l

⌊d/2⌋ 
l=0

One easily verifies

n+2
2


m+l−1
(d − 2l + 1)
l

10

b2d+1 = b2d +


d 
X
m+1−1
l

l=0

Now again induction gives


d 
X
m+1−1
l

l=0

Therefore,

b2d+1 = b2d +
Let

∞
X

=



m+d
d



m+d
d

b2d t2d = G5 (t)

d=0

Now
∞
X

b2d+1 t2d+1 = t

t=0

∞ 
X

b2d t2d +

t=0

Hence

G4 (t) =

∞
X

b d td =

t=0

X

+

t even


 
m + d 2d
= tG5 (t) + t(1 − t2 )−(m+1)
t
d

X

= G5 (t) + tG5 (t) + t(1 − t2 )−(m+1)

t,odd

To evaluate G5 (t)

∞ X
d 
X
m+l−1
(2d − 2l + 1)t2d
l
d=0 l=0


∞ X
d 
d 
X
X
m+l−1
m + l − 1 2d
=
(2d + 1)t2d − 2
l
t
l
l

G5 (t) =

d=0 l=0

l=0

Now using induction one can show that



d 
d
X
X
m+l−1
l+m−m m+l−1
l
=m
m
l
l
l=0
l=0



d 
d
X
X
m+l−1
m+l m+l−1
−m
=m
m
l
l
l=0

l=0

(ie)


d 
d 
d
X
X
X
m+l−1
m+l−1
m + l (m + l − 1)!
−m
l
=m
m l!(m − 1)!
l
l
l=0
l=0
l=0




d
d
X
X
m+l
m+l−1
=m
−m
l
l
l=0

l=0

11

After simplification,we have



d 
X
m+l−1
m+d
l
=m
l
d−1
l=0

Hence,

∞ 
X
m+d

∞
X



m + d 2d
t
d
d−1
d=0
d=0




∞ 
∞ 
∞
X
X
X
m+d
m + d 2d
m + d 2d
2d
m
=
2dt +
t −2
t
d
d
d−1

G5 (t) =

d=0

Now using

(2d + 1)t2d − 2

m

d=0

d=0


∞ 
i
X
d h
m+d
(1 − t2 )−(m+1)
2dt2d = t
dt
d
d=0

and

∞
X

d=0

Simplifying

m



m + d 2d
t = 2mt2 (1 − t2 )−(m+2)
d

G5 (t) = (1 − t2 )−(m+2) (2t2 + 1)
Finally
G4 (t) = (1 − t2 )−(m+2) (1 + 2t + 2t2 + t3 )
Replacing m by

n−2
2

in G4 (t), we have

G3 (t) = (1 − t2 )−(n+2)/2 (1 + 2t + 2t2 + t3 )

5

Examples

5.1

The dihedral group D10

Consider the group D10 . It has 4 one-dimensional irreducible representations
and 4 two-dimensional irreducible representations. Here we give the generating
functions for all the eight irreducible representations.
Two-dimensional representations: As 0 < h < n2 , h can assume 1,2,3 and 4
case (i) when h is coprime with n i.e., h = 1, 3.
The generating function is


1
1
1
1
1
−
+
−
5 (1 − t10 ) (1 − t5 )2
(1 − t2 )5
(1 − t)10
case (i) when h is not coprime with n i.e., h = 2, 4
The generating function is


1
1
1
1
1
−
+
+
−
5
(1 − t10 ) (1 − t5 )2
(1 − t2 )5
(1 − t)10
One-dimensional representations:
12

The generating functions for χ1 and χ2 are given by




1
1
1
(2 + t2 )(1 + t)
4
1
± 10
+
+
+
20
(1 − t10 ) (1 − t5 )2
(1 − t2 )5
(1 − t)10
(1 − t2 )6
The generating functions for χ3 and χ4 are given by




1
1
1
1
(1 + t + t2 )
4
−
∓
10
−
+
+
20
(1 − t10 ) (1 − t5 )2
(1 − t2 )5
(1 − t)10
(1 − t2 )6

6

Existence of relative invariants

The above formulæ give that the dimension of the space of relative symmetric
polynomials of degree 1 is 2 whatever be the character. In particular relative
invariants for Dn exist in degree 1 always.
One can easily see that the dimension is positive for Dn for any degree d
when n a prime number. It seems all the dimensions are always positive though
we are unable to prove this.

References
[1] Ramanujan, S.: On certain trigonometrical sums and their applications in the theory of numbers In: Collected papers of Srinivasa Ramanujan, pp. 179199. AMS Chelsea Publ., Providence (2000). Trans.
Cambridge Philos. Soc. 22(13), 259276 (1918)
[2] Serre, J.-P., Linear Representation of Finite Groups, Springer-Verlag
(1977).
[3] Shahryari, M. Relative symmetric polynomials, Linear Algebra and
its Applications 433 (2010) 1410–1421.
[4] Shahryari, M. and Zamani, Y. Symmetry classes of tensors associated with Young subgroups, Asian-Eur. J. Math. Vol. 4 (2011), no. 1,
179185.
[5] Babaei, E., Zamani, Y., and Shahryari, M. Symmetry classes of polynomials Communications in Algebra, Vol 44 (2016), p.1514–1530.
[6] Von Sterneck, R.D.:Sitz. be. Akad. Wiss. Wien Math. Nat. wiss. Kl.
111 (Abt. IIa),1567–1601 (1902)
[7] Zamani, Y. and Babaei, E. The dimensions of cyclic symmetry classes
of polyno- mials, J. Algebra Appl. Vol. 13 (2014), no. 2, Article ID
1350085, 10 pages.
[8] Zamani, Y. and Babaei, E. Symmetry classes of polynomials associated with the dicyclic group, Asian-Eur. J. Math. 6 (2013), no. 3,
Article ID 1350033, 10 pages.
[9] Zamani, Y. and Babaei, E. Symmetry classes of polynomials associated with the dihedral group, Bull. Iranian Math. Soc., Vol. 40(2014),
No. 4 pp.863–874

13

