Math 2.0

Commutative algebra Definition

Galois ring

Builds on Integers modulo nMonic polynomialIrreducible polynomialQuotient ringFinite field

Definition

Let pp be a prime number and let n≥1n \ge 1 and r≥1r \ge 1 be integers. Let f∈(ℤ/pnℤ)[x]f \in (\Z/p^n\Z)[x] be a monic polynomial of degree rr whose reduction modulo pp is irreducible in 𝔽p[x]\F_p[x]. The Galois ring of characteristic pnp^n and rank rr is the quotient ring GR(pn,r)=(ℤ/pnℤ)[x]/(f).\mathrm{GR}(p^n, r) = (\Z/p^n\Z)[x] / (f). Here ℤ/pnℤ\Z/p^n\Z is the ring of integers modulo pnp^n. Up to isomorphism, this ring depends only on pp, nn and rr, and not on the choice of ff.

Remarks

Take p=2p = 2, n=2n = 2, r=2r = 2 and f=x2+x+1f = x^2 + x + 1. The polynomial ff is monic, and modulo 22 it has no root in 𝔽2\F_2, so it is irreducible of degree 22 over 𝔽2\F_2. Hence GR(4,2)=(ℤ/4ℤ)[x]/(x2+x+1)\mathrm{GR}(4, 2) = (\Z/4\Z)[x]/(x^2 + x + 1) is a Galois ring with 42=164^2 = 16 elements. The ring (ℤ/4ℤ)[x]/(x2+1)(\Z/4\Z)[x]/(x^2 + 1) is not obtained this way, because x2+1≡(x+1)2x^2 + 1 \equiv (x + 1)^2 modulo 22 is reducible. The ring GR(pn,r)\mathrm{GR}(p^n, r) has pnrp^{nr} elements and characteristic pnp^n. It is a local ring with maximal ideal p GR(pn,r)p \, \mathrm{GR}(p^n, r) and residue field the finite field 𝔽pr\F_{p^r}. The special cases are GR(p,r)=𝔽pr\mathrm{GR}(p, r) = \F_{p^r} and GR(pn,1)=ℤ/pnℤ\mathrm{GR}(p^n, 1) = \Z/p^n\Z.

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. Finite field concept
  2. Integers modulo n concept
  3. Irreducible polynomial concept
  4. Monic polynomial concept
  5. Quotient ring concept
  6. Galois ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Finite_ring
About this page
Tag8Y0M6X8Q2A
URIm2://8Y0M6X8Q2A
Kinddefinition
WritingW0 stub
MSC13M05, 11T30
DefinesGalois ring
UsesIntegers modulo n, Monic polynomial, Irreducible polynomial, Quotient ring, Finite field
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.