Uniformly S-w-Noetherian Spectrum
- Uniformly S-w-Noetherian spectrum is a finiteness condition requiring a fixed element s in S to control the radical w-behavior of all ideals via finitely generated subideals.
- It employs the module-theoretic w-operation to define radical closures, ensuring that ascending chains of radical w-ideals become stationary with respect to s.
- The framework extends stability to polynomial and w-Nagata extensions, linking classical Noetherian properties with uniform S- and w-finiteness conditions.
A uniformly --Noetherian spectrum is a spectrum-level finiteness condition for a commutative ring with identity and a multiplicative subset , defined by requiring a single element to control the radical -behavior of all ideals simultaneously. Concretely, has uniformly --Noetherian spectrum with respect to if every ideal 0 is radically 1-2-finite with respect to 3, meaning that there exists a finitely generated subideal 4 such that
5
This notion was introduced as a joint refinement of uniformly 6-Noetherian spectrum and 7-Noetherian spectrum, within the broader uniform 8-framework in which one fixes a single witness 9 across an entire class of ideals or modules (Zhang, 29 Aug 2025, Zhang et al., 14 Feb 2026).
1. Foundational framework and basic definitions
The theory is formulated using the module-theoretic 0-operation rather than the classical star-operation 1 on fractional ideals. In this setting, finitely generated ideals 2 for which the natural map
3
is an isomorphism serve as the test ideals for defining 4-closures. For an 5-module 6, the 7-envelope is
8
where 9 is the injective envelope of 0. Applied to ideals, this yields the 1-closure 2. A prime 3-ideal is a prime ideal 4 with 5, and 6 denotes the set of prime 7-ideals (Zhang, 29 Aug 2025).
The spectrum notion sits among several related finiteness conditions. For a fixed 8:
| Notion | Condition on 9 |
|---|---|
| 0-finite | 1 for some finitely generated 2 |
| Radically finite | 3 for some finitely generated 4 |
| Radically 5-finite | 6 for some finitely generated 7 |
| Radically 8-9-finite | 0 for some finitely generated 1 |
The passage from radically 2-finite to radically 3-4-finite weakens the target from 5 to 6, thereby incorporating 7-closure. The defining property of uniformly 8-9-Noetherian spectrum is the existence of one fixed 0 for which every ideal is radically 1-2-finite (Zhang, 29 Aug 2025).
A common source of ambiguity is the distinction between this spectrum property and the earlier notion of a uniformly 3-4-Noetherian ring or module. In that earlier sense, a fixed 5 controls 6-7-finiteness of all submodules or ideals directly; the spectrum notion instead imposes a radical finiteness condition through 8 (Zhang, 2023, Zhang, 29 Aug 2025).
2. Equivalent formulations
The main structural theorem gives several equivalent characterizations of rings with uniformly 9-0-Noetherian spectrum. For a ring 1, multiplicative subset 2, and fixed 3, the following are equivalent (Zhang, 29 Aug 2025):
- 4 has uniformly 5-6-Noetherian spectrum with respect to 7.
- Every ascending chain of radical 8-ideals is stationary with respect to 9.
- Every radical 0-ideal is radically 1-2-finite with respect to 3.
- Every radical ideal is radically 4-5-finite with respect to 6.
- Every prime ideal, equivalently every prime 7-ideal, is radically 8-9-finite with respect to 0.
- Every countably generated ideal is radically 1-2-finite with respect to 3.
Here “stationary with respect to 4” means that for an ascending chain
5
there exists 6 such that
7
This is the 8-uniform analogue of ACC on radical 9-ideals.
The equivalence between prime control and full radical control is obtained by a maximal-counterexample argument. One considers the family of radical 00-ideals that are not radically 01-02-finite, applies Zorn’s lemma, and shows that any maximal such ideal must be prime. This reduces the general condition to the prime case (Zhang, 29 Aug 2025).
An important auxiliary fact is that if two ideals 03 and 04 have the same 05-closure, 06, then one is radically 07-08-finite with respect to 09 if and only if the other is. This allows the theory to pass freely between ordinary ideals and their 10-closures (Zhang, 29 Aug 2025).
3. Countably generated ideals and the classical reduction
One of the paper’s central advances is the reduction from arbitrary ideals to countably generated ideals. The main theorem shows that uniformly 11-12-Noetherian spectrum can be detected entirely on countably generated ideals (Zhang, 29 Aug 2025).
This countable criterion has two immediate classical analogues. First, for uniformly 13-Noetherian spectrum without 14-closure: 15 Second, in the case 16: 17 The latter is explicitly identified as a new classical result (Zhang, 29 Aug 2025).
The proof from countably generated ideals to arbitrary ideals is transfinite. An arbitrary ideal
18
is well-ordered, and one isolates a set of “bad generators” that cannot be forced into the radical 19-closure of earlier generators after multiplication by 20. If that bad set were infinite, one could extract a countable subfamily violating the assumed countable criterion. Hence only finitely many bad generators survive, and they generate the finitely generated subideal witnessing radical 21-22-finiteness of 23 (Zhang, 29 Aug 2025).
This countable detection parallels classical reductions such as “Noetherian ring iff every countably generated ideal is finitely generated,” but it operates at the level of radical 24-finiteness rather than ordinary finite generation.
4. Polynomial and 25-Nagata stability
A major feature of the theory is its stability under passage to polynomial and 26-Nagata extensions. If 27 is a ring, 28 multiplicative, and 29, then the following are equivalent (Zhang, 29 Aug 2025): 30
31
32
Here 33 is the 34-Nagata ring, obtained by localizing 35 at
36
where 37 is the content ideal of 38 (Zhang, 29 Aug 2025).
The equivalence with 39 is proved by combining contraction of bad prime 40-ideals from 41 to 42, minimal-degree arguments, and content methods. The passage to 43 uses two key facts: radicals commute with extension to the 44-Nagata ring,
45
and an ideal 46 is radically 47-48-finite with respect to 49 if and only if its extension 50 is radically 51-finite with respect to 52 (Zhang, 29 Aug 2025).
In the special case 53, this yields the three-way equivalence
54
(Zhang, 29 Aug 2025). Thus the 55-Nagata ring converts a 56-spectral finiteness condition on 57 into an ordinary spectral finiteness condition after localization.
5. Relation to neighboring finiteness conditions
Uniformly 58-59-Noetherian spectrum belongs to a larger network of uniform 60- and 61-conditions. The 2026 survey on uniform 62-algebraic structures treats the nearby notion of 63-64-Noetherian spectrum, in which the radical control is expressed without 65-closure: 66 for a finitely generated 67 and one fixed 68 (Zhang et al., 14 Feb 2026). The 69-version replaces 70 by 71, weakening the finiteness target while preserving uniformity (Zhang, 29 Aug 2025).
The paper also situates the notion relative to classical spectral finiteness conditions. In particular, Noetherian spectrum implies uniformly 72-Noetherian spectrum, and both Noetherian spectrum and 73-Noetherian spectrum imply uniformly 74-75-Noetherian spectrum (Zhang, 29 Aug 2025). The uniformly 76-77-condition is therefore a genuine common generalization.
A separate but related concept is the uniformly 78-79-Noetherian ring of module-theoretic 80-theory, where a fixed 81 controls 82-83-finiteness of all submodules. That theory yields chain conditions on 84-submodules and local 85-86-Noetherian criteria for global 87-Noetherianity, but it does not itself define the spectrum notion (Zhang, 2023). The spectrum condition is weaker in one direction, since it controls radicals through 88-closure rather than all ideals directly, but it is more explicitly topological.
Localization also enters naturally. If 89 is regular and 90 has uniformly 91-92-Noetherian spectrum with respect to 93, then the localization 94 has 95-Noetherian spectrum (Zhang, 29 Aug 2025). This is the spectrum-level analogue of the broader uniform 96-philosophy: one fixed element 97 produces genuine finiteness after inverting 98 (Zhang et al., 14 Feb 2026, Qi et al., 2022).
6. Examples, separation phenomena, and significance
The theory is not a notational variant of earlier notions; several examples separate it sharply from its neighbors.
A fundamental example is
99
The chain
00
is not stationary, so 01 does not have uniformly 02-Noetherian spectrum. Nevertheless, 03 does have uniformly 04-05-Noetherian spectrum with 06, because every ideal is radically 07-finite (Zhang, 29 Aug 2025). This example shows that the 08-spectrum condition is strictly weaker than the ordinary uniform spectral condition.
A second separation uses products. If 09 has 10-Noetherian spectrum and 11 does not, then for
12
the product ring can have uniformly 13-14-Noetherian spectrum while failing to have 15-Noetherian spectrum (Zhang, 29 Aug 2025). Thus the choice of multiplicative subset 16 can manufacture uniform spectral control that is absent globally.
These examples clarify a frequent misconception: uniformly 17-18-Noetherian spectrum is neither equivalent to uniformly 19-Noetherian spectrum nor to 20-Noetherian spectrum. It is tailored to situations where radical finiteness is visible only after 21-closure and only up to a fixed multiplier 22 (Zhang, 29 Aug 2025).
Within the broader uniform 23-program, the notion provides a spectrum-level counterpart to module-theoretic uniformity. Earlier work developed uniformly 24-Noetherian rings, uniformly 25-absolutely pure modules, and uniformly 26-27-Noetherian rings and modules (Qi et al., 2022, Zhang, 2021, Zhang, 2023). The uniformly 28-29-Noetherian spectrum isolates the corresponding radical and topological finiteness phenomenon: uniform control of all ideals through 30, equivalently through stationary behavior of ascending chains of radical 31-ideals, countable-generation tests, and stability under 32 and 33 (Zhang, 29 Aug 2025).