# Induction

From Groupprops

The term **induction** has two important common meanings in relation to groups. The first is in the sense of the principle of mathematical induction, which is ubiquitous in mathematics and is often used in finite group theory. Key survey articles on this are:

The other sense is that of *inducing* representations and class functions on big groups using representations and class functions on subgroups. Key articles here are:

- Induced representation
- Induced class function (also includes induced character)
- Brauer's induction theorem
- Artin's induction theorem