Atomic domain

In mathematics, more specifically ring theory, an atomic domain or factorization domain is an integral domain in which every non-zero non-unit can be written in at least one way as a finite product of irreducible elements. Atomic domains are different from unique factorization domains in that this decomposition of an element into irreducibles need not be unique; stated differently, an irreducible element is not necessarily a prime element. Important examples of atomic domains include the class of all unique factorization domains and all Noetherian domains. More generally, any integral domain satisfying the ascending chain condition on principal ideals (ACCP) is an atomic domain. Although the converse is claimed to hold in Cohn's paper, this is known to be false. The term "atomic" is due to P. M. Cohn, who called an irreducible element of an integral domain an "atom". In this section, a ring can be viewed as merely an abstract set in which one can perform the operations of addition and multiplication; analogous to the integers. The ring of integers (that is, the set of integers with the natural operations of addition and multiplication) satisfy many important properties. One such property is the fundamental theorem of arithmetic. Thus, when considering abstract rings, a natural question to ask is under what conditions such a theorem holds. Since a unique factorization domain is precisely a ring in which an analogue of the fundamental theorem of arithmetic holds, this question is readily answered. However, one notices that there are two aspects of the fundamental theorem of the arithmetic: first, that any integer is the finite product of prime numbers, and second, that this product is unique up to rearrangement (and multiplication by units). Therefore, it is also natural to ask under what conditions particular elements of a ring can be "decomposed" without requiring uniqueness. The concept of an atomic domain addresses this. Let R be an integral domain. If every non-zero non-unit x of R can be written as a product of irreducible elements, R is referred to as an atomic domain.

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 publications (4)

Related units (1)

Related concepts (6)

Related lectures (8)

LRSAM1-mediated ubiquitylation is disrupted in axonal Charcot-Marie-Tooth disease 2P

Vincenzo Sorrentino

Charcot-Marie-Tooth (CMT) disease type 2 is a genetically heterogeneous group of inherited neuropathies characterized by motor and sensory deficits as a result of peripheral axonal degeneration. We recently reported a frameshift (FS) mutation in the Really ...

Oxford Univ Press2017

Parallel algorithm for multiscale atomistic/continuum simulations using LAMMPS

William Curtin, Fabio Pavia

Deformation and fracture processes in engineering materials often require simultaneous descriptions over a range of length and time scales, with each scale using a different computational technique. Here we present a high-performance parallel 3D computing ...

Iop Publishing Ltd2015

KSm(MoO4)2, an incommensurately modulated and partially disordered scheelite-like structure

Gervais Chapuis, Alla Arakcheeva, Philip Pattison

The incommensurately modulated scheelite-like KSm(MoO4)2 structure has been refined in the monoclinic superspace group I2/b(ab0)00 by the Rietveld method on the basis of synchrotron radiation powder diffraction data. The systematic broadening of satellite ...

2008

Multiple Integrals: Defining Integrals of Functions in R^2

Covers the definition of double integrals for functions of two variables over a domain in the plane R^2.

Algebraic Geometry: Regularity and Divisors MATH-510: Algebraic geometry II - schemes and sheaves

Explores regularity, divisors, prime divisors, and uniqueness in algebraic geometry.

Dedekind Rings: Theory and Applications MATH-317: Algebra V - Galois theory

Explores Dedekind rings, integral closure, factorization of ideals, and Gauss' Lemma.

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.

GCD domain

In mathematics, a GCD domain is an integral domain R with the property that any two elements have a greatest common divisor (GCD); i.e., there is a unique minimal principal ideal containing the ideal generated by two given elements. Equivalently, any two elements of R have a least common multiple (LCM). A GCD domain generalizes a unique factorization domain (UFD) to a non-Noetherian setting in the following sense: an integral domain is a UFD if and only if it is a GCD domain satisfying the ascending chain condition on principal ideals (and in particular if it is Noetherian).

Unique factorization domain

In mathematics, a unique factorization domain (UFD) (also sometimes called a factorial ring following the terminology of Bourbaki) is a ring in which a statement analogous to the fundamental theorem of arithmetic holds. Specifically, a UFD is an integral domain (a nontrivial commutative ring in which the product of any two non-zero elements is non-zero) in which every non-zero non-unit element can be written as a product of prime elements (or irreducible elements), uniquely up to order and units.