Math 2.0

Group theory and generalizations Definition

Modular representation theory

Builds on Group representationCharacteristic of a ringGroup algebraModule over a ringFinite field

Definition

Let GG be a finite group and let KK be a field whose characteristic is a prime pp that divides ∣G∣\abs{G}. A modular representation of GG over KK is a representation ρ ⁣:G→GL(V)\rho \colon G \to GL(V) on a finite-dimensional vector space VV over KK. Equivalently, it is a finitely generated module over the group algebra KGKG. Modular representation theory is the study of these representations and modules.

Remarks

Example: G=ℤ/pℤG = \Z/p\Z with generator gg, K=𝔽pK = \F_p, and ρ(g)=(1101)\rho(g) = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}. This is a representation because ρ(g)p=(1p01)=I\rho(g)^p = \begin{pmatrix} 1 & p \\ 0 & 1 \end{pmatrix} = I in characteristic pp. The line Ke1K e_1 is invariant, but any other line K(ae1+e2)K(a e_1 + e_2) is sent to K((a+1)e1+e2)K((a+1) e_1 + e_2), a different line, so VV is not a direct sum of invariant lines. Non-example: representations of GG over ℂ\C, or over a finite field whose characteristic does not divide ∣G∣\abs{G}, are ordinary representations; there Maschke's theorem makes every representation semisimple. Let KK be a splitting field for GG. Brauer showed that the number of simple KGKG-modules is the number of conjugacy classes of elements of GG of order prime to pp.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Characteristic of a ring concept
  2. Finite field concept
  3. Group algebra concept
  4. Group representation concept
  5. Module over a ring concept
  6. Modular representation theory definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Modular_representation_theory
About this page
Tag7H7CT6H9AC
URIm2://7H7CT6H9AC
Kinddefinition
WritingW0 stub
MSC20C20, 20C05
DefinesModular representation theory
UsesGroup representation, Characteristic of a ring, Group algebra, Module over a ring, Finite field

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.