# 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 .