Math 2.0

Commutative algebra Definition

Semi-local ring

Builds on Commutative ringMaximal idealJacobson radical

Definition

A commutative ring RR is semi-local if it has only finitely many maximal ideals.

Remarks

If 𝔪1,…,𝔪n\mathfrak m_1, \ldots, \mathfrak m_n are the maximal ideals, then the Chinese remainder theorem gives R/J(R)≅R/𝔪1×⋯×R/𝔪n,R / J(R) \cong R/\mathfrak m_1 \times \cdots \times R/\mathfrak m_n, where J(R)=𝔪1∩⋯∩𝔪nJ(R) = \mathfrak m_1 \cap \cdots \cap \mathfrak m_n is the Jacobson radical. For a commutative ring RR, being semi-local is equivalent to R/J(R)R/J(R) being a finite product of fields. For noncommutative rings, the usual definition asks that R/J(R)R/J(R) be semisimple.

Example: let S=ℤ∖(2ℤ∪3ℤ)S = \Z \setminus (2\Z \cup 3\Z), the set of integers prime to 66. It is a multiplicative set, and by prime ideals of a localization the prime ideals of S−1ℤS^{-1}\Z correspond to the primes of ℤ\Z disjoint from SS. These are (0)(0), 2ℤ2\Z and 3ℤ3\Z, so S−1ℤS^{-1}\Z has exactly the two maximal ideals generated by 22 and 33. Every local ring is semi-local, and so is ℤ/nℤ\Z/n\Z for n≥2n \ge 2, with one maximal ideal for each prime divisor of nn.

Non-example: ℤ\Z is not semi-local, because pℤp\Z is a maximal ideal for each of the infinitely many primes pp.

Reading path

To understand this page from the ground up, read these 4 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. Commutative ring concept
  2. Jacobson radical concept
  3. Maximal ideal concept
  4. Semi-local ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Semi-local_ring
About this page
TagQ256RTTNTN
URIm2://Q256RTTNTN
Kinddefinition
WritingW0 stub
MSC13H99
DefinesSemi-local ring
UsesCommutative ring, Maximal ideal, Jacobson radical
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.