# Minimal ring of realization of irreducible representations

From Groupprops

Revision as of 21:04, 13 July 2011 by Vipul (talk | contribs) (Created page with "==Definition== ===In characteristic zero=== Suppose <math>G</math> is a finite group and <math>R</math> is an integral domain of characteristic zero, i.e., it contains ...")

## Definition

### In characteristic zero

Suppose is a finite group and is an integral domain of characteristic zero, i.e., it contains the ring of integers as a subring. We say that is a **minimal ring of realization of irreducible representations** if all irreducible representations of over some splitting field containing can be realized with matrix entries all from and such that no subring of has this property.

## Facts

- Linear representation is realizable over principal ideal domain iff it is realizable over field of fractions: In particular, if is a principal ideal domain, then any representation that can be realized over the field of fractions can also be realized over . This fact allows us to compute some minimal rings of realization.
- Minimal ring of realization of irreducible representations need not be unique
- Minimal rings of realization of irreducible representations for the same group may have different degrees as extensions of the ring of integers