Maschke's theorem

Maschke's theorem

In mathematics, Maschke's theorem,[1][2] named after Heinrich Maschke,[3] is a theorem in group representation theory that concerns the decomposition of representations of a finite group into irreducible pieces. If (Vρ) is a finite-dimensional representation of a finite group G over a field of characteristic zero, and U is an invariant subspace of V, then the theorem claims that U admits an invariant direct complement W; in other words, the representation (Vρ) is completely reducible. More generally, the theorem holds for fields of positive characteristic p, such as the finite fields, if the prime p doesn't divide the order of G.

Reformulation and the meaning

One of the approaches to representations of finite groups is through module theory. Representations of a group G are replaced by modules over its group algebra KG. Irreducible representations correspond to simple modules. Maschke's theorem addresses the question: is a general (finite-dimensional) representation built from irreducible subrepresentations using the direct sum operation? In the module-theoretic language, is an arbitrary module semisimple? In this context, the theorem can be reformulated as follows:

Let G be a finite group and K a field whose characteristic does not divide the order of G. Then KG, the group algebra of G, is a semisimple algebra.[4][5]

The importance of this result stems from the well developed theory of semisimple rings, in particular, the Artin–Wedderburn theorem (sometimes referred to as Wedderburn's Structure Theorem). When K is the field of complex numbers, this shows that the algebra KG is a product of several copies of complex matrix algebras, one for each irreducible representation.[6] If the field K has characteristic zero, but is not algebraically closed, for example, K is a field of real or rational numbers, then a somewhat more complicated statement holds: the group algebra KG is a product of matrix algebras over division rings over K. The summands correspond to irreducible representations of G over K.[7]

Returning to representation theory, Maschke's theorem and its module-theoretic version allow one to make general conclusions about representations of a finite group G without actually computing them. They reduce the task of classifying all representations to a more manageable task of classifying irreducible representations, since when the theorem applies, any representation is a direct sum of irreducible pieces (constituents). Moreover, it follows from the Jordan–Hölder theorem that, while the decomposition into a direct sum of irreducible subrepresentations may not be unique, the irreducible pieces have well-defined multiplicities. In particular, a representation of a finite group over a field of characteristic zero is determined up to isomorphism by its character.

Notes

  1. ^ Maschke, Heinrich (1898-07-22). "Ueber den arithmetischen Charakter der Coefficienten der Substitutionen endlicher linearer Substitutionsgruppen [On the arithmetical character of the coefficients of the substitutions of finite linear substitution groups]" (in German). Math. Ann. 50 (4): 492–498. doi:10.1007/BF01444297. JFM 29.0114.03. MR1511011. http://resolver.sub.uni-goettingen.de/purl?GDZPPN002256975. 
  2. ^ Maschke, Heinrich (1899-07-27). "Beweis des Satzes, dass diejenigen endlichen linearen Substitutionsgruppen, in welchen einige durchgehends verschwindende Coefficienten auftreten, intransitiv sind [Proof of the theorem that those finite linear substitution groups, in which some everywhere vanishing coefficients appear, are intransitive]" (in German). Math. Ann. 52 (2–3): 363–368. doi:10.1007/BF01476165. JFM 30.0131.01. MR1511061. http://resolver.sub.uni-goettingen.de/purl?GDZPPN002257599. 
  3. ^ O'Connor, John J.; Robertson, Edmund F., "Heinrich Maschke", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Maschke.html .
  4. ^ It follows that every module over KG is a semisimple module.
  5. ^ The converse statement also holds: if the characteristic of the field divides the order of the group (the modular case), then the group algebra is not semisimple.
  6. ^ The number of the summands can be computed, and turns out to be equal to the number of the conjugacy classes of the group.
  7. ^ One must be careful, since a representation may decompose differently over different fields: a representation may be irreducible over the real numbers but not over the complex numbers.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Heinrich Maschke — (24 October 1853 in Breslau, Germany (now Wrocław, Poland) – 1 March 1908 Chicago, Illinois, USA) was a German mathematician who proved Maschke s theorem. References Bolza, O. (1908), Heinrich Maschke: His life and work. , Bulletin of the… …   Wikipedia

  • Artin–Wedderburn theorem — In abstract algebra, the Artin–Wedderburn theorem is a classification theorem for semisimple rings. The theorem states that a semisimple ring R is isomorphic to a product of ni by ni matrix rings over division rings Di , for some integers ni ,… …   Wikipedia

  • Representation theory — This article is about the theory of representations of algebraic structures by linear transformations and matrices. For the more general notion of representations throughout mathematics, see representation (mathematics). Representation theory is… …   Wikipedia

  • Modular representation theory — is a branch of mathematics, and that part of representation theory that studies linear representations of finite group G over a field K of positive characteristic. As well as having applications to group theory, modular representations arise… …   Wikipedia

  • Representation theory of finite groups — In mathematics, representation theory is a technique for analyzing abstract groups in terms of groups of linear transformations. See the article on group representations for an introduction. This article discusses the representation theory of… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia

  • List of group theory topics — Contents 1 Structures and operations 2 Basic properties of groups 2.1 Group homomorphisms 3 Basic types of groups …   Wikipedia

  • Group ring — This page discusses the algebraic group ring of a discrete group; for the case of a topological group see group algebra, and for a general group see Group Hopf algebra. In algebra, a group ring is a free module and at the same time a ring,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”