Math 2.0

Associative rings and algebras Definition

Period and index

Builds on Central simple algebraDivision ringDegree of a central simple algebraBrauer groupOrder of an element

Definition

Let KK be a field and let AA be a central simple algebra over KK. By Wedderburn's theorem A≅Mm(D)A \cong M_m(D) for an integer m≥1m \ge 1 and a division ring DD that is central simple over KK, unique up to isomorphism.

  1. The index of AA, written ind⁡A\operatorname{ind} A, is the degree of DD.
  2. The period (or exponent) of AA, written per⁡A\operatorname{per} A, is the order of the class [A][A] in the Brauer group Br(K)\mathrm{Br}(K).

Remarks

Basic facts: per⁡A\operatorname{per} A divides ind⁡A\operatorname{ind} A, ind⁡A\operatorname{ind} A divides deg⁡A\deg A, and per⁡A\operatorname{per} A and ind⁡A\operatorname{ind} A have the same prime divisors. In particular the period is finite, so Br(K)\mathrm{Br}(K) is a torsion group.

Example: for ℍ\mathbb{H} over ℝ\R, D=ℍD = \mathbb{H} has degree 22, so the index is 22. The class [ℍ][\mathbb{H}] is not trivial, and ℍ⊗ℝℍ≅M4(ℝ)\mathbb{H} \otimes_\R \mathbb{H} \cong M_4(\R), so the period is 22.

Example: A=Mn(K)A = M_n(K) has D=KD = K, so its index and its period are both 11.

Over local fields and over global fields, the period equals the index for every central simple algebra. Over general fields the index can be strictly larger than the period.

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. Brauer group concept
  2. Central simple algebra concept
  3. Degree of a central simple algebra concept
  4. Division ring concept
  5. Order of an element concept
  6. Period and index definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Brauer_group
About this page
TagGAD8ZE5MPV
URIm2://GAD8ZE5MPV
Kinddefinition
WritingW0 stub
MSC16K50, 16K20
DefinesPeriod and index
UsesCentral simple algebra, Division ring, Degree of a central simple algebra, Brauer group, Order of an element
Changed2 November 2026

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.