- Abstract algebra
- >
- Fields of abstract algebra
- >
- Ring theory
- >
- Ideals (ring theory)

- Fields of mathematics
- >
- Fields of abstract algebra
- >
- Ring theory
- >
- 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

Radical of an ideal

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

Jacobson radical

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

Real radical

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

Nilradical of a ring

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

Radical of a ring

In ring theory, a branch of mathematics, a radical of a ring is an ideal of "not-good" elements of the ring. The first example of a radical was the nilradical introduced by , based on a suggestion of

Nilpotent ideal

In mathematics, more specifically ring theory, an ideal I of a ring R is said to be a nilpotent ideal if there exists a natural number k such that I k = 0. By I k, it is meant the additive subgroup ge

System of parameters

In mathematics, a system of parameters for a local Noetherian ring of Krull dimension d with maximal ideal m is a set of elements x1, ..., xd that satisfies any of the following equivalent conditions:

Fractional ideal

In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains. In so

Principal ideal

In mathematics, specifically ring theory, a principal ideal is an ideal in a ring that is generated by a single element of through multiplication by every element of The term also has another, similar

Ideal quotient

In abstract algebra, if I and J are ideals of a commutative ring R, their ideal quotient (I : J) is the set Then (I : J) is itself an ideal in R. The ideal quotient is viewed as a quotient because if

Ideal class group

In number theory, the ideal class group (or class group) of an algebraic number field K is the quotient group JK/PK where JK is the group of fractional ideals of the ring of integers of K, and PK is i

© 2023 Useful Links.