Math 2.0

K-theory Definition

Bass stable range

Builds on RingGroup of units of a ring

Definition

Let RR be a ring with identity and let m≥1m \ge 1. A row (a1,…,am)(a_1, \ldots, a_m) of elements of RR is unimodular if Ra1+⋯+Ram=RR a_1 + \cdots + R a_m = R. Let n≥1n \ge 1. The ring RR satisfies the stable range condition sr(R)≤n\mathrm{sr}(R) \le n if for every unimodular row (a1,…,an+1)(a_1, \ldots, a_{n+1}) there are b1,…,bn∈Rb_1, \ldots, b_n \in R such that (a1+b1an+1,…,an+bnan+1)(a_1 + b_1 a_{n+1}, \ldots, a_n + b_n a_{n+1}) is unimodular. The stable rank sr(R)\mathrm{sr}(R) is the least such nn, or ∞\infty if there is none.

Remarks

If sr(R)≤n\mathrm{sr}(R) \le n, then sr(R)≤n′\mathrm{sr}(R) \le n' for every n′≥nn' \ge n. Bass's original notation SRn+1SR_{n+1} is the condition sr(R)≤n\mathrm{sr}(R) \le n here, so the index is shifted by one. The condition sr(R)≤1\mathrm{sr}(R) \le 1 says: if Ra+Rb=RRa + Rb = R, then a+tba + tb is a unit for some t∈Rt \in R. Bass proved that a commutative Noetherian ring of Krull dimension dd has sr(R)≤d+1\mathrm{sr}(R) \le d + 1.

Example: a field FF has sr(F)=1\mathrm{sr}(F) = 1. If Fa+Fb=FFa + Fb = F and a≠0a \ne 0, take t=0t = 0; if a=0a = 0, then b≠0b \ne 0 and a+1⋅b=ba + 1 \cdot b = b is a unit. Every commutative local ring also has stable rank 11.

Non-example of sr≤1\mathrm{sr} \le 1: the ring ℤ\Z. The row (2,5)(2, 5) is unimodular since 3⋅2−5=13 \cdot 2 - 5 = 1, but 2+5t2 + 5t is never ±1\pm 1 for an integer tt. So sr(ℤ)≥2\mathrm{sr}(\Z) \ge 2, and Bass's bound with d=1d = 1 gives sr(ℤ)=2\mathrm{sr}(\Z) = 2.

Reading path

To understand this page from the ground up, read these 3 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. Group of units of a ring concept
  2. Ring concept
  3. Bass stable range definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Stable_range_condition
About this page
TagH4WYQXGSC4
URIm2://H4WYQXGSC4
Kinddefinition
WritingW0 stub
MSC19B10, 19A13
DefinesBass stable range
UsesRing, Group of units of a ring
Changed3 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.