# Difference between revisions of "Irreducible linear representation"

(→For finite groups over a splitting field) |
|||

Line 16: | Line 16: | ||

===For finite groups over a splitting field=== | ===For finite groups over a splitting field=== | ||

− | A [[splitting field]] is a field of characteristic not dividing the order of the group whereby the irreducible representations over that field remain irreducible in all bigger fields. | + | A [[splitting field]] is a field of characteristic not dividing the order of the group whereby the irreducible representations over that field remain irreducible in all bigger fields. Over a splitting field, we have the following: |

* [[Number of irreducible representations equals number of conjugacy classes]] | * [[Number of irreducible representations equals number of conjugacy classes]] | ||

Line 23: | Line 23: | ||

In addition, there are a number of other combinatorial and arithmetic controls on the nature and degrees of irreducible representations. For more, see [[degrees of irreducible representations]]. | In addition, there are a number of other combinatorial and arithmetic controls on the nature and degrees of irreducible representations. For more, see [[degrees of irreducible representations]]. | ||

+ | |||

==Relation with other properties== | ==Relation with other properties== | ||

## Revision as of 15:05, 1 August 2011

*This article describes a property to be evaluated for a linear representation of a group, i.e. a homomorphism from the group to the general linear group of a vector space over a field*

This article gives a basic definition in the following area: linear representation theory

View other basic definitions in linear representation theory |View terms related to linear representation theory |View facts related to linear representation theory

## Definition

A linear representation of a group is said to be **irreducible** if the vector space being acted upon is a nonzero vector space and there is no proper nonzero invariant subspace for it.

## Facts

### For finite groups over arbitrary fields

For finite groups, the following are true:

- Over
*any*field, there are only finitely many irreducible representations, and there is a bound on the degree (the dimension of the vector space acted upon): degree of irreducible representation of nontrivial finite group is strictly less than order of group.

### For finite groups over a splitting field

A splitting field is a field of characteristic not dividing the order of the group whereby the irreducible representations over that field remain irreducible in all bigger fields. Over a splitting field, we have the following:

- Number of irreducible representations equals number of conjugacy classes
- Sum of squares of degrees of irreducible representations equals order of group, regular representation over splitting field has multiplicity of each irreducible representation equal to its degree, Group ring over splitting field is direct sum of matrix rings for each irreducible representation
- Character orthogonality theorem, column orthogonality theorem, splitting implies characters separate conjugacy classes, splitting implies characters form a basis for space of class functions

In addition, there are a number of other combinatorial and arithmetic controls on the nature and degrees of irreducible representations. For more, see degrees of irreducible representations.