Concept

Nilradical of a ring

Summary
In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements: It is thus the radical of the zero ideal. If the nilradical is the zero ideal, the ring is called a reduced ring. The nilradical of a commutative ring is the intersection of all prime ideals. In the non-commutative ring case the same definition does not always work. This has resulted in several radicals generalizing the commutative case in distinct ways; see the article Radical of a ring for more on this. The nilradical of a Lie algebra is similarly defined for Lie algebras. The nilradical of a commutative ring is the set of all nilpotent elements in the ring, or equivalently the radical of the zero ideal. This is an ideal because the sum of any two nilpotent elements is nilpotent (by the binomial formula), and the product of any element with a nilpotent element is nilpotent (by commutativity). It can also be characterized as the intersection of all the prime ideals of the ring (in fact, it is the intersection of all minimal prime ideals). Let be a commutative ring. Then Let and be a prime ideal, then for some . Thus since is an ideal, which implies or . In the second case, suppose for some , then thus or and, by induction on , we conclude , in particular . Therefore is contained in any prime ideal and . Conversely, we suppose and consider the set which is non-empty, indeed . is partially ordered by and any chain has an upper bound given by , indeed: is an ideal and if for some then for some , which is impossible since ; thus any chain in has an upper bound and we can apply Zorn's lemma: there exists a maximal element . We need to prove that is a prime ideal: let , then since is maximal in , which is to say, there exist such that , but then , which is absurd. Therefore if , is not contained in some prime ideal or equivalently and finally . A ring is called reduced if it has no nonzero nilpotent. Thus, a ring is reduced if and only if its nilradical is zero.
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.
Ontological neighbourhood
Related lectures (1)
Primary Decomposition in Commutative Rings
Covers primary decomposition in commutative rings and its application in prime ideals.
Related publications (3)

Lie groups as permutation groups: Ulam's problem in the nilpotent case

Nicolas Monod

Ulam asked whether every connected Lie group can be represented on a countable structure. This is known in the linear case. We establish it for the first family of non-linear groups, namely in the nilpotent case. Further context is discussed to illustrate ...
WALTER DE GRUYTER GMBH2022

Title: "Labels Matter: Is it stress or is it Trauma?"

Maria del Carmen Sandi Perez

In neuroscience, the term 'Stress' has a negative connotation because of its potential to trigger or exacerbate psychopathologies. Yet in the face of exposure to stress, the more common reaction to stress is resilience, indicating that resilience is the ru ...
SPRINGERNATURE2021

Hermitian Forms over Algebras with Involution and Hermitian Categories

Daniel Arnold Moldovan

This thesis is concerned with the algebraic theory of hermitian forms. It is organized in two parts. The first, consisting of the first two chapters, deals with some descent properties of unimodular hermitian forms over central simple algebras with involut ...
EPFL2012
Related concepts (16)
Noncommutative ring
In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.
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 . 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.
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 ideals and semiprime rings are the same as reduced rings. For example, in the ring of integers, the semiprime ideals are the zero ideal, along with those ideals of the form where n is a square-free integer. So, is a semiprime ideal of the integers (because 30 = 2 × 3 × 5, with no repeated prime factors), but is not (because 12 = 22 × 3, with a repeated prime factor).
Show more