Degree of induced representation from subgroup is product of degree of original representation and index of subgroup
From Groupprops
Statement
Suppose is a group,
is a subgroup of
, and
is a linear representation of
over a field
. Denote by
the induced representation of
from
to
. Then, the degree of
is the product of the degree of
and the index of
in
.