text: Регулярное представление группы G {\displaystyle G} является свободным комплексным векторным пространством с базисом { e g } g ∈ G {\displaystyle \{e_{g}\}_{g\in G}} с групповым действием g ⋅ e g ′ = e g g ′ {\displaystyle g\cdot e_{g'}=e_{gg'}} , обозначаемым как C G . {\displaystyle \mathbb {C} G.} Все неприводимые представления G {\displaystyle G} появляются в разложении C G {\displaystyle \mathbb {C} G} как прямая сумма неприводимых представлений.