Noetherian ringIn mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence of left (or right) ideals has a largest element; that is, there exists an n such that: Equivalently, a ring is left-Noetherian (resp. right-Noetherian) if every left ideal (resp. right-ideal) is finitely generated.
Maximal idealIn mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all proper ideals. In other words, I is a maximal ideal of a ring R if there are no other ideals contained between I and R. Maximal ideals are important because the quotients of rings by maximal ideals are simple rings, and in the special case of unital commutative rings they are also fields.
Minimal prime idealIn mathematics, especially in commutative algebra, certain prime ideals called minimal prime ideals play an important role in understanding rings and modules. The notion of height and Krull's principal ideal theorem use minimal primes. A prime ideal P is said to be a minimal prime ideal over an ideal I if it is minimal among all prime ideals containing I. (Note: if I is a prime ideal, then I is the only minimal prime over it.) A prime ideal is said to be a minimal prime ideal if it is a minimal prime ideal over the zero ideal.
Primary decompositionIn mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, of finitely many primary ideals (which are related to, but not quite the same as, powers of prime ideals). The theorem was first proven by for the special case of polynomial rings and convergent power series rings, and was proven in its full generality by .
Ideal (order theory)In mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different notion. Ideals are of great importance for many constructions in order and lattice theory. A subset I of a partially ordered set is an ideal, if the following conditions hold: I is non-empty, for every x in I and y in P, y ≤ x implies that y is in I (I is a lower set), for every x, y in I, there is some element z in I, such that x ≤ z and y ≤ z (I is a directed set).