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 ascending chain condition on principal ideals (abbreviated to ACCP) is satisfied if there is no infinite strictly ascending chain of principal ideals of the given type (left/right/two-sided) in the ring, or said another way, every ascending chain is eventually constant. The counterpart descending chain condition may also be applied to these posets, however there is currently no need for the terminology "DCCP" since such rings are already called left or right perfect rings. (See below.) Noetherian rings (e.g. principal ideal domains) are typical examples, but some important non-Noetherian rings also satisfy (ACCP), notably unique factorization domains and left or right perfect rings. It is well known that a nonzero nonunit in a Noetherian integral domain factors into irreducibles. The proof of this relies on only (ACCP) not (ACC), so in any integral domain with (ACCP), an irreducible factorization exists. (In other words, any integral domains with (ACCP) are atomic. But the converse is false, as shown in .) Such a factorization may not be unique; the usual way to establish uniqueness of factorizations uses Euclid's lemma, which requires factors to be prime rather than just irreducible. Indeed, one has the following characterization: let A be an integral domain. Then the following are equivalent. A is a UFD. A satisfies (ACCP) and every irreducible of A is prime. A is a GCD domain satisfying (ACCP). The so-called Nagata criterion holds for an integral domain A satisfying (ACCP): Let S be a multiplicatively closed subset of A generated by prime elements. If the localization S−1A is a UFD, so is A. (Note that the converse of this is trivial.) An integral domain A satisfies (ACCP) if and only if the polynomial ring A[t] does. The analogous fact is false if A is not an integral domain.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (5)

Concepts associés (6)

Cours associés (2)

Séances de cours associées (32)

Short Stickelberger Class Relations and Application to Ideal-SVP

Benjamin Pierre Charles Wesolowski

The worst-case hardness of finding short vectors in ideals of cyclotomic number fields (Ideal-SVP) is a central matter in lattice based cryptography. Assuming the worst-case hardness of Ideal-SVP allows to prove the Ring-LWE and Ring-SIS assumptions, and t ...

Springer International Publishing Ag2017

Annihilating Polynomials for Quadratic Forms

Klaas-Tido Rühl

Let K be a field with char(K) ≠ 2. The Witt-Grothendieck ring (K) and the Witt ring W (K) of K are both quotients of the group ring ℤ[𝓖(K)], where 𝓖(K) := K*/(K*)2 is the square class group of K. Since ℤ[𝓖(K)] is integra ...

EPFL2010

Modélisation des entreprises sur la base des compétences

Grégoire Pepiot

Today enterprises operate in a constantly changing market, characterized by shorter and shorter product life cycles, an increased demand for flexibility and changing techniques and technologies. In order to control these factors of complexity, enterprise m ...

EPFL2005

Anneau atomique

En algèbre commutative — une branche des mathématiques — un anneau atomique est un anneau intègre dans lequel tout élément non nul et non inversible admet une décomposition (non nécessairement unique) en un produit d'éléments irréductibles. Le terme « atomique » est dû à Paul Cohn, qui appelle « atome » un élément irréductible d'un anneau intègre. Les anneaux factoriels et les anneaux intègres noethériens sont atomiques. Plus généralement, tout anneau intègre satisfaisant la condition de chaîne ascendante sur les idéaux principaux est atomique.

Anneau à PGCD

En algèbre commutative, un anneau à PGCD, ou plus rarement anneau de Gauss, est un anneau commutatif unitaire dans lequel tout couple d'éléments non nuls possède un plus grand diviseur commun. Dans un anneau quelconque, l'existence d'un tel PGCD n'est pas toujours acquise. Les anneaux intègres à PGCD représentent une classe d'anneaux aux propriétés arithmétiques intéressantes à tel point qu'il est fréquent que les anneaux à PGCD ne soient étudiés que dans les anneaux intègres.

Prime element

In mathematics, specifically in abstract algebra, a prime element of a commutative ring is an object satisfying certain properties similar to the prime numbers in the integers and to irreducible polynomials. Care should be taken to distinguish prime elements from irreducible elements, a concept which is the same in UFDs but not the same in general. An element p of a commutative ring R is said to be prime if it is not the zero element or a unit and whenever p divides ab for some a and b in R, then p divides a or p divides b.

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

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

Les algèbres de Lie classiques MATH-479: Linear algebraic groups

Couvre les algèbres de Lie classiques, en se concentrant sur les calculs et les dimensions.

Relations de congruence en anneaux MATH-310: Algebra

Explore les relations de congruence dans les anneaux, les principaux idéaux, les homomorphismes des anneaux et les caractéristiques des anneaux.

Théorème du reste chinois: domaines euclidéens MATH-310: Algebra

Explore le Théorème des Restes Chinois pour les domaines euclidiens et les propriétés des anneaux et des champs commutatifs.