Sheng Li (gmachine1729) wrote,
Sheng Li
gmachine1729

On Noetherian and Laskerian rings

Originally published at 狗和留美者不得入内. You can comment here or there.

Below we shall restrict to commutative rings.

Proposition 1 The following conditions of a ring [公式] are equivalent.

  1. [公式] is finitely generated.
  2. Every chain of ideals [公式] is such that there exists [公式] such that [公式] . We call this the ascending chain condition (ACC).

Proof: Suppose (2) is not satisfied, which would means that there exists a chain of ideals [公式] that is an infinite subchain of the [公式] such that [公式] for all [公式] . If [公式] were finitely generated by elements [公式] , then since for each [公式] there is an [公式] such that [公式] , we have for [公式] , [公式] , which satisfies the ascending chain condition, contradicting our hypothesis that it does not. This proves that (1) implies (2).

If [公式] is not finitely generated, then there exists an infinite generating set such that no finite subset of it generates [公式] . This means we can indefinitely select an element [公式] not already included in our ideal [公式] and let [公式] be the smallest ideal containing [公式], starting from any principal ideal, which violates the (ACC), thereby proving that (2) implies (1).

Definition 1 A ring that satisfies one of the two equivalent conditions in Proposition 1 is a Noetherian ring.

Definition 2 A prime ideal [公式] of a ring [公式] is an ideal satisfying the following two properties.

  1. For any [公式] , if [公式] , either [公式] or [公式] .
  2. [公式] is a proper ideal of [公式] .

Definition 3 A primary ideal [公式] of a ring [公式] is an ideal such that if [公式] , either [公式] or [公式] for some [公式] .

Proposition 2 A prime ideal is also a primary ideal.

Proof: Trivial. [公式]

Proposition 3 The prime ideals of the ring [公式] are the prime numbers, and the primary ideals of [公式] are the ideals generated by powers of primes as well as by [公式] itself.

Proof: Bezout’s identity tells us that [公式] is a principal ideal ring. Every ideal of [公式] of the form [公式] , where [公式] is prime satisfies the definition of prime ideal directly by the definition of prime number. In the case of [公式], where [公式] for non-unit elements [公式], Property 1 would be violated. In the case of [公式], Property 2 would be violated.

Ideal [公式] trivially satisfies the criteria for a primary ideal. As for [公式] for [公式] prime and [公式] , any element in it is of the form [公式] for some [公式] . If a factorization of it in the form [公式] , if [公式] , then the multiplicity of [公式] in [公式] is necessarily less than [公式] , which means that [公式] , which means that [公式] . Thus [公式] is primary. In the case of In the case of [公式], where [公式] , where [公式] and are co-prime (such a factorization is guaranteed to exist for composite [公式] by the Fundamental Theorem of Arithmetic), then [公式] is not in [公式] , and no power of [公式] , which is not divisible by some prime that divides [公式] , is a multiple of [公式] . Thus [公式] is not primary. [公式]

Definition 4 A reducible ideal is an ideal [公式] such that there are two strictly larger ideals [公式] such that [公式] . An irreducible ideal is an ideal [公式] that is not reducible.

Definition 5 The quotient ideal or colon ideal of two ideals [公式] of ring [公式] is

[公式]

We leave to the reader verify that the definition of ideal is satisfied in Definition 4.

Definition 6 The sum of two ideals [公式] of a ring [公式] is

[公式] Proposition 4 The sum of two ideals is also any ideal.

Proof: We verify the following

  1. Every ideal contains the zero element, the additive identity.
  2. If [公式] , then [公式] , where [公式] is the additive inverse of the multiplicative identity. Thus, by the distributive property, [公式] . This shows closure under multiplicative inverse.
  3. Suppose [公式] and [公式] . Then [公式] , the sum of an element in [公式] and an element in [公式] . This shows closure under multiplication by any element of [公式] .
  4. Suppose [公式] . Then, by commutativity,[公式] , which proves closure under addition. [公式]

Proposition 5 An irreducible ideal [公式] of a Noetherian ring [公式] is necessarily a primary ideal.

Proof: We the contrapositive, namely that if [公式] is such that there exists [公式] for [公式] and [公式] disjoint with [公式] , then [公式] is a reducible ideal. We assume the hypothesis of the contrapositive. Because [公式] is Noetherian, for the chain of ideals

[公式] there exists [公式] such that [公式] for all [公式] . We define two ideals

[公式] which both contain [公式] properly. Thus, if we can show that [公式] , then we have shown that [公式] is reducible. Since [公式] , [公式] . To prove the other direction of inclusion, suppose that some element of [公式] expressed in the form [公式] for some [公式] , [公式] were equal to some element of [公式] expressed in the form [公式] . That [公式] tells that

[公式] If suffices to show that [公式] , which would imply that this arbitrary element in [公式] is necessarily in [公式] . To do so, we assume otherwise and then multiply both sides of [公式] by [公式] to derive

[公式] Having assumed [公式] , we thus have that [公式] when [公式] . That [公式] means that [公式] . This gives that [公式] is both in and not in the same set, a contradiction. [公式]

Proposition 6 The intersection of an arbitrary collection of ideals [公式] of a ring [公式] , expressed as [公式] , is an ideal.

Proof: It suffices to show the following.

  1. [公式] is a subgroup of [公式]
  2. For every [公式] and every [公式] , [公式] .

For (1), we first note that since the additive identity is found every ideal, it is also found in any intersection of ideals. For the existence of additive inverse, any [公式] is in each of the [公式]s. With uniqueness of inverse, [公式] is found in all the [公式] s and is thus in [公式] . With similar logic, one proves the closure under addition.

For (2), we again have that if [公式] for all [公式] , [公式] for all [公式] , which implies that [公式] . [公式]

Proposition 7 Every ideal [公式] of a ring [公式] is either irreducible, or it is the intersection of all ideals in [公式] which properly contain it, which is equal to the intersection of all ideals which properly contain [公式] and do not properly contain any ideal that properly contains [公式] .

Proof: Every ideal is obviously the intersection of all ideals in [公式] which contain it. We index this collection of ideals via a set [公式] , which maps bijectively to the collection of all ideals in [公式] containing [公式] , and we shall call the element in [公式] corresponding to [公式] itself as [公式] . As for [公式] , we take [公式] to be [公式] and observe that

[公式]

In this case, we must have [公式] or [公式] as a singleton set. If on the other hand [公式] were a proper superset of [公式] and there were multiple elements in [公式] , then [公式] would have to be in [公式] as well, which would violate the definition of [公式] . In the case of [公式] as a singleton set, we have every ideal properly containing [公式] would also contain [公式] , which would imply that any two ideals strictly larger than [公式] when intersected, would result in some superset of [公式] , which shows that if [公式] , then [公式] must be irreducible. [公式]

Corollary 1 An ideal [公式] in [公式] is irreducible if and only if the ideal represented by the intersection all ideals in the ring strictly larger than it is strictly larger than [公式] .

Proof: In the proof of Proposition 7, we showed that the right hand side of the propositional equivalence we are trying to prove implies that the left hand side of it, which is that the ideal is irreducible. Otherwise, as one can tell from the definition of [公式] in the proof of Proposition 7, any distinct [公式] represent ideals [公式] strictly larger than [公式] such that [公式] , which is a statement of reducibility of [公式] . [公式]

Proposition 8 Every ideal [公式] of a Noetherian ring [公式] is the intersection of a finite collection of irreducible ideals.

Proof: If [公式] is irreducible, this proposition is trivially true, so we assume otherwise, letting [公式] . Let [公式] be the set of ideals which cannot be expressed as the intersection of a finite collection of irreducible ideals. By the ACC, every chain in [公式] constructed such that if the successor element of any ideal [公式] in the chain for which there exists an ideal in [公式] strictly larger than [公式] , [公式] eventually terminates at some [公式] . Since [公式] , [公式] must not be irreducible, which means we can express it in the form [公式] , wherein [公式] both properly contain [公式] . By the aforementioned qualification on chains of ideals in [公式] , [公式] , which means that [公式] can both be expressed as the intersection of some finite collection of irreducible ideals, which would in turn imply the same for [公式] , which implies that [公式] must be empty. This completes our proof. [公式]

Definition 7 The radical of an ideal [公式] of a ring [公式] , denoted by [公式] , is given by

[公式] Proposition 9 The radical of primary ideal is necessarily a prime ideal.

Proof: Let [公式] be a primary ideal. Suppose by contradiction that there exists [公式] such that neither [公式] nor [公式] are in [公式] or equivalently, [公式] , [公式] for all [公式] . Let [公式] be such that [公式] . [公式] and [公式] for all [公式] . Thus [公式] violates the definition of primary ideal. [公式]

Definition 7 A decomposition of an ideal as an intersection of primary ideals is a primary decomposition. A Lasker ring is a ring for which every ideal has a finite primary decomposition. An irredundant primary decomposition into primary ideals is one such that

  • Removing any of the intersected primary ideals changes the intersection.
  • The radicals of the primary ideals intersected are all distinct (prime) ideals.

Theorem 10 (Lasker-Noether theorem) A Noetherian ring is necessarily a Lasker ring.

Proof: Apply Proposition 5 to Proposition 8, using the definition of Lasker ring in the process. [公式]

Interestingly, Emanuel Lasker, who proved the Lasker-Noether theorem for the special case of polynomial rings and converge power series rings in 1905, was if not the top at least one of the top chess players of his generation. Fleeing Nazism in the 1930s, he spent a couple years in his 60s in the USSR, after which he spent his remaining four years or so in America. In addition to being top at chess and a mathematician who proved a foundational theorem in abstract algebra, he also wrote philosophical works and co-wrote a drama. He was in some sense a polymath and another major data point in favor of the g-factor as well as non-diminishing returns of g with respect to intellectual achievement. As far as I am aware now, the historical chain of top chess players is along the likes of Wilhelm Steinitz -> Emanuel Lasker -> Alexander Alekhine -> Mikhail Botvinnik -> Boris Spassky -> Bobby Fischer -> Garry Kasparov -> Magnus Carlsen.

Tags: uncategorized
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 0 comments