# Category: Ideals (ring theory)

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 s
Tight closure
In mathematics, in the area of commutative algebra, tight closure is an operation defined on ideals in positive characteristic. It was introduced by Melvin Hochster and Craig Huneke . Let be a commuta
Jacobian ideal
In mathematics the Jacobian ideal or gradient ideal is the ideal generated by the Jacobian of a function or function germ.Let denote the ring of smooth functions in variables and a function in the rin
Annihilator (ring theory)
In mathematics, the annihilator of a subset S of a module over a ring is the ideal formed by the elements of the ring that give always zero when multiplied by an element of S. Over an integral domain,
Ideal (ring theory)
In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3.
Maximal ideal
In 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
Semiprime ring
In ring theory, a branch of mathematics, semiprime ideals and semiprime rings are generalizations of prime ideals and prime rings. In commutative algebra, semiprime ideals are also called radical idea
Primitive ideal
In mathematics, specifically ring theory, a left primitive ideal is the annihilator of a (nonzero) simple left module. A right primitive ideal is defined similarly. Left and right primitive ideals are
Regular ideal
In mathematics, especially ring theory, a regular ideal can refer to multiple concepts. In operator theory, a right ideal in a (possibly) non-unital ring A is said to be regular (or modular) if there
In ring theory, a branch of mathematics, the radical of an ideal of a commutative ring is another ideal defined by the property that an element is in the radical if and only if some power of is in . T
In mathematics, more specifically ring theory, the Jacobson radical of a ring is the ideal consisting of those elements in that annihilate all simple right -modules. It happens that substituting "left
Ideal theory
In mathematics, ideal theory is the theory of ideals in commutative rings. While the notion of an ideal exists also for non-commutative rings, a much more substantial theory exists only for commutativ
In algebra, the real radical of an ideal I in a polynomial ring with real coefficients is the largest ideal containing I with the same vanishing locus.It plays a similar role in real algebraic geometr
Minimal ideal
In the branch of abstract algebra known as ring theory, a minimal right ideal of a ring R is a nonzero right ideal which contains no other nonzero right ideal. Likewise, a minimal left ideal is a nonz
Krull's theorem
In mathematics, and more specifically in ring theory, Krull's theorem, named after Wolfgang Krull, asserts that a nonzero ring has at least one maximal ideal. The theorem was proved in 1929 by Krull,
Ideal norm
In commutative algebra, the norm of an ideal is a generalization of a norm of an element in the field extension. It is particularly important in number theory since it measures the size of an ideal of
In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements: In the non-commutative ring case the same definition does not always work. This has resulted in seve
Primary ideal
In mathematics, specifically commutative algebra, a proper ideal Q of a commutative ring A is said to be primary if whenever xy is an element of Q then x or yn is also an element of Q, for some n > 0.
Principal ideal theorem
In mathematics, the principal ideal theorem of class field theory, a branch of algebraic number theory, says that extending ideals gives a mapping on the class group of an algebraic number field to th
Nil ideal
In mathematics, more specifically ring theory, a left, right or two-sided ideal of a ring is said to be a nil ideal if each of its elements is nilpotent. The nilradical of a commutative ring is an exa
Krull's principal ideal theorem
In commutative algebra, Krull's principal ideal theorem, named after Wolfgang Krull (1899–1971), gives a bound on the height of a principal ideal in a commutative Noetherian ring. The theorem is somet
Ascending chain condition on principal ideals
In abstract algebra, the ascending chain condition can be applied to the posets of principal left, principal right, or principal two-sided ideals of a ring, partially ordered by inclusion. The ascendi
Augmentation ideal
In algebra, an augmentation ideal is an ideal that can be defined in any group ring. If G is a group and R a commutative ring, there is a ring homomorphism , called the augmentation map, from the grou