Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

7: Representations of Finite Groups

( \newcommand{\kernel}{\mathrm{null}\,}\)

Throughout this chapter, G is a finite group and F is a field. All vector spaces are finite-dimensional.

An F-algebra is a ring A containing F in its centre and finite dimensional as an F-vector space. We do not assume A to be commutative; for example, A could be the matrix algebra Mn(F). Let {e1,,en} be a basis for A as an F-vector space; then eiej=kakijekfor some akijF, called the structure constants of A relative to the basis; once a basis has been chosen, the algebra A is uniquely determined by its structure constants.

All A-modules are finite-dimensional when regarded as F-vector spaces. For an A-module V, mV denotes the direct sum of m copies of V.

The opposite Aopp of an F-algebra A is the same F-algebra as A but with the multiplication reversed, i.e., Aopp=(A,+,) with ab=ba. In other words, there is a one-to-one correspondence aa:AAopp which is an isomorphism of F-vector spaces and has the property that ab=(ba).

An A-module M is simple if it is nonzero and contains no submodules except 0 and M, and it is semisimple if it is isomorphic to a direct sum of simple modules.


This page titled 7: Representations of Finite Groups is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by James S. Milne.

Support Center

How can we help?