Concept
Principal ideal
Related concepts (26)
Field norm
In mathematics, the (field) norm is a particular mapping defined in field theory, which maps elements of a larger field into a subfield. Let K be a field and L a finite extension (and hence an algebraic extension) of K. The field L is then a finite dimensional vector space over K. Multiplication by α, an element of L, is a K-linear transformation of this vector space into itself. The norm, NL/K(α), is defined as the determinant of this linear transformation.
Principal ideal ring
In mathematics, a principal right (left) ideal ring is a ring R in which every right (left) ideal is of the form xR (Rx) for some element x of R. (The right and left ideals of this form, generated by one element, are called principal ideals.) When this is satisfied for both left and right ideals, such as the case when R is a commutative ring, R can be called a principal ideal ring, or simply principal ring. If only the finitely generated right ideals of R are principal, then R is called a right Bézout ring.
Bézout domain
In mathematics, a Bézout domain is a form of a Prüfer domain. It is an integral domain in which the sum of two principal ideals is again a principal ideal. This means that for every pair of elements a Bézout identity holds, and that every finitely generated ideal is principal. Any principal ideal domain (PID) is a Bézout domain, but a Bézout domain need not be a Noetherian ring, so it could have non-finitely generated ideals (which obviously excludes being a PID); if so, it is not a unique factorization domain (UFD), but still is a GCD domain.
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).
Zero element
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context. An additive identity is the identity element in an additive group. It corresponds to the element 0 such that for all x in the group, 0 + x = x + 0 = x. Some examples of additive identity include: The zero vector under vector addition: the vector of length 0 and whose components are all 0. Often denoted as or .
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.