When it comes to the world of "classical" (pre-homological) Noetherian commutative algebra, I tend to think of most of the results (Krull's intersection theorem, the principal ideal theorem, etc.) as being ultimiately consequences of the following two "primordial theorems" of the field:
- The Noether-Lasker theorem, primary decomposition of ideals and modules.
- The characterization of local commutative Artin rings as zero-dimensional local Noetherian rings (or equivalently finite-length local rings, and local Noetherian rings with nilpotent maximal ideal).
There are two things to note before I ask my question. First of all, I'm referring to what I call "Noetherian commutative algebra." In the more general field of commutative algebra, I'd probably name Nakayama's Lemma and the Cohen-Seidenberg theorems (Lying Over, Incomparability, Going-Up, and Going-Down). Tangentially, I'd be interested to hear which theorems others would give that distinction. Secondly, some might question my choice of 2. here. Although it doesn't appear directly in proofs very often, it is a crucial lemma in the proof of the Principal Ideal Theorem, and I feel it's a sufficiently interesting and substantial statement to deserve its own place.
Here is my question. The Noether-Lasker theorem has a pretty well-known history. (Chess champion Lasker proved it for polynomial and power series rings, and then Noether developed its current form, as described on Wikipedia.) As for "theorem 2," however, I've never heard a account of its origins. Was it first introduced by Krull to prove the Principal Ideal Theorem, or was it known prior? Perhaps Krull's original proof did not even use that lemma, and it was introduced later.
Does anyone have a reference on that history?