Radical of an ideal | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

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 . Taking the radical of an ideal is called radicalization. A radical ideal (or semiprime ideal) is an ideal that is equal to its radical. The radical of a primary ideal is a prime ideal. This concept is generalized to non-commutative rings in the Semiprime ring article. The radical of an ideal in a commutative ring , denoted by or , is defined as (note that ). Intuitively, is obtained by taking all roots of elements of within the ring . Equivalently, is the of the ideal of nilpotent elements (the nilradical) of the quotient ring (via the natural map ). The latter proves that is an ideal. If the radical of is finitely generated, then some power of is contained in . In particular, if and are ideals of a Noetherian ring, then and have the same radical if and only if contains some power of and contains some power of . If an ideal coincides with its own radical, then is called a radical ideal or semiprime ideal. Consider the ring of integers. The radical of the ideal of integer multiples of is . The radical of is . The radical of is . In general, the radical of is , where is the product of all distinct prime factors of , the largest square-free factor of (see Radical of an integer). In fact, this generalizes to an arbitrary ideal (see the Properties section). Consider the ideal . It is trivial to show (using the basic property ), but we give some alternative methods: The radical corresponds to the nilradical of the quotient ring , which is the intersection of all prime ideals of the quotient ring. This is contained in the Jacobson radical, which is the intersection of all maximal ideals, which are the kernels of homomorphisms to fields. Any ring homomorphism must have in the kernel in order to have a well-defined homomorphism (if we said, for example, that the kernel should be the composition of would be which is the same as trying to force ).

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (40)

Related courses (9)

Related lectures (108)

Localization (commutative algebra)

In commutative algebra and algebraic geometry, localization is a formal way to introduce the "denominators" to a given ring or module. That is, it introduces a new ring/module out of an existing ring/module R, so that it consists of fractions such that the denominator s belongs to a given subset S of R. If S is the set of the non-zero elements of an integral domain, then the localization is the field of fractions: this case generalizes the construction of the field of rational numbers from the ring of integers.

Radical of an ideal

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. For example, in the ring of integers Z, (pn) is a primary ideal if p is a prime number. The notion of primary ideals is important in commutative ring theory because every ideal of a Noetherian ring has a primary decomposition, that is, can be written as an intersection of finitely many primary ideals.

MATH-215: Rings and fields

C'est un cours introductoire dans la théorie d'anneau et de corps.

MATH-310: Algebra

This is an introduction to modern algebra: groups, rings and fields.

MATH-482: Number theory I.a - Algebraic number theory

Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like alg

Geometric Primary Decomposition MATH-311: Algebra IV - rings and modules

Covers radical ideals, Nullstellensatz, primary ideals, and algebraic sets.

Prime ideals and local rings MATH-311: Algebra IV - rings and modules

Covers the concept of prime ideals and local rings, emphasizing their importance.

Primary Decomposition: Understanding Schemes MATH-510: Algebraic geometry II - schemes and sheaves

Explores primary decomposition and schemes in algebraic geometry, emphasizing the importance of working over non-algebraically closed fields and the concept of fibers of morphisms.