Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Unique factorization domain

Index Unique factorization domain

In mathematics, a unique factorization domain (UFD) is an integral domain (a non-zero commutative ring in which the product of 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, analogous to the fundamental theorem of arithmetic for the integers. [1]

54 relations: Affine variety, Algebraic integer, American Mathematical Monthly, Ascending chain condition on principal ideals, Atomic domain, Auslander–Buchsbaum theorem, Bijection, Cambridge University Press, Coefficient, Commutative ring, Dedekind domain, Divisor, Eisenstein integer, Empty product, Entire function, Euclidean domain, Field of fractions, Formal power series, Fractional ideal, Fundamental theorem of arithmetic, Gaussian integer, GCD domain, Greatest common divisor, Heegner number, Homogeneous polynomial, Ideal class group, Integer, Integral domain, Integrally closed domain, Irreducible element, Irving Kaplansky, Krull dimension, Krull ring, Least common multiple, Localization of a ring, Mathematics, Monic polynomial, Multiplicatively closed set, Nicolas Bourbaki, Noetherian ring, Parafactorial local ring, Polynomial ring, Prime element, Prime ideal, Principal ideal domain, Projective module, Quadratic integer, Regular local ring, Schreier domain, Square-free integer, ..., Subclass (set theory), Subring, Unit (ring theory), Zariski ring. Expand index (4 more) »

Affine variety

In algebraic geometry, an affine variety over an algebraically closed field k is the zero-locus in the affine ''n''-space k^n of some finite family of polynomials of n variables with coefficients in k that generate a prime ideal.

New!!: Unique factorization domain and Affine variety · See more »

Algebraic integer

In algebraic number theory, an algebraic integer is a complex number that is a root of some monic polynomial (a polynomial whose leading coefficient is 1) with coefficients in (the set of integers).

New!!: Unique factorization domain and Algebraic integer · See more »

American Mathematical Monthly

The American Mathematical Monthly is a mathematical journal founded by Benjamin Finkel in 1894.

New!!: Unique factorization domain and American Mathematical Monthly · See more »

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.

New!!: Unique factorization domain and Ascending chain condition on principal ideals · See more »

Atomic domain

In mathematics, more specifically ring theory, an atomic domain or factorization domain is an integral domain, every non-zero non-unit of which can be written (in at least one way) as a (finite) product of irreducible elements.

New!!: Unique factorization domain and Atomic domain · See more »

Auslander–Buchsbaum theorem

In commutative algebra, the Auslander–Buchsbaum theorem states that regular local rings are unique factorization domains.

New!!: Unique factorization domain and Auslander–Buchsbaum theorem · See more »

Bijection

In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set.

New!!: Unique factorization domain and Bijection · See more »

Cambridge University Press

Cambridge University Press (CUP) is the publishing business of the University of Cambridge.

New!!: Unique factorization domain and Cambridge University Press · See more »

Coefficient

In mathematics, a coefficient is a multiplicative factor in some term of a polynomial, a series or any expression; it is usually a number, but may be any expression.

New!!: Unique factorization domain and Coefficient · See more »

Commutative ring

In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative.

New!!: Unique factorization domain and Commutative ring · See more »

Dedekind domain

In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals.

New!!: Unique factorization domain and Dedekind domain · See more »

Divisor

In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible by another integer m if m is a divisor of n; this implies dividing n by m leaves no remainder.

New!!: Unique factorization domain and Divisor · See more »

Eisenstein integer

In mathematics, Eisenstein integers (named after Gotthold Eisenstein), occasionally also known as Eulerian integers (after Leonhard Euler), are complex numbers of the form where and are integers and is a primitive (hence non-real) cube root of unity.

New!!: Unique factorization domain and Eisenstein integer · See more »

Empty product

In mathematics, an empty product, or nullary product, is the result of multiplying no factors.

New!!: Unique factorization domain and Empty product · See more »

Entire function

In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic at all finite points over the whole complex plane.

New!!: Unique factorization domain and Entire function · See more »

Euclidean domain

In mathematics, more specifically in ring theory, a Euclidean domain (also called a Euclidean ring) is an integral domain that can be endowed with a Euclidean function which allows a suitable generalization of the Euclidean division of the integers.

New!!: Unique factorization domain and Euclidean domain · See more »

Field of fractions

In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded.

New!!: Unique factorization domain and Field of fractions · See more »

Formal power series

In mathematics, a formal power series is a generalization of a polynomial, where the number of terms is allowed to be infinite; this implies giving up the possibility of replacing the variable in the polynomial with an arbitrary number.

New!!: Unique factorization domain and Formal power series · See more »

Fractional ideal

In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains.

New!!: Unique factorization domain and Fractional ideal · See more »

Fundamental theorem of arithmetic

In number theory, the fundamental theorem of arithmetic, also called the unique factorization theorem or the unique-prime-factorization theorem, states that every integer greater than 1 either is a prime number itself or can be represented as the product of prime numbers and that, moreover, this representation is unique, up to (except for) the order of the factors.

New!!: Unique factorization domain and Fundamental theorem of arithmetic · See more »

Gaussian integer

In number theory, a Gaussian integer is a complex number whose real and imaginary parts are both integers.

New!!: Unique factorization domain and Gaussian integer · See more »

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).

New!!: Unique factorization domain and GCD domain · See more »

Greatest common divisor

In mathematics, the greatest common divisor (gcd) of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers.

New!!: Unique factorization domain and Greatest common divisor · See more »

Heegner number

In number theory, a Heegner number (as termed by Conway and Guy) is a square-free positive integer d such that the imaginary quadratic field \mathbb has class number 1.

New!!: Unique factorization domain and Heegner number · See more »

Homogeneous polynomial

In mathematics, a homogeneous polynomial is a polynomial whose nonzero terms all have the same degree.

New!!: Unique factorization domain and Homogeneous polynomial · See more »

Ideal class group

In number theory, the ideal class group (or class group) of an algebraic number field is the quotient group where is the group of fractional ideals of the ring of integers of, and is its subgroup of principal ideals.

New!!: Unique factorization domain and Ideal class group · See more »

Integer

An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Unique factorization domain and Integer · See more »

Integral domain

In mathematics, and specifically in abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero.

New!!: Unique factorization domain and Integral domain · See more »

Integrally closed domain

In commutative algebra, an integrally closed domain A is an integral domain whose integral closure in its field of fractions is A itself.

New!!: Unique factorization domain and Integrally closed domain · See more »

Irreducible element

In abstract algebra, a non-zero non-unit element in an integral domain is said to be irreducible if it is not a product of two non-units.

New!!: Unique factorization domain and Irreducible element · See more »

Irving Kaplansky

Irving Kaplansky (March 22, 1917 – June 25, 2006) was a mathematician, college professor, author, and musician.

New!!: Unique factorization domain and Irving Kaplansky · See more »

Krull dimension

In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals.

New!!: Unique factorization domain and Krull dimension · See more »

Krull ring

In commutative algebra, a Krull ring or Krull domain is a commutative ring with a well behaved theory of prime factorization.

New!!: Unique factorization domain and Krull ring · See more »

Least common multiple

In arithmetic and number theory, the least common multiple, lowest common multiple, or smallest common multiple of two integers a and b, usually denoted by LCM(a, b), is the smallest positive integer that is divisible by both a and b. Since division of integers by zero is undefined, this definition has meaning only if a and b are both different from zero.

New!!: Unique factorization domain and Least common multiple · See more »

Localization of a ring

In commutative algebra, localization is a systematic method of adding multiplicative inverses to a ring.

New!!: Unique factorization domain and Localization of a ring · See more »

Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Unique factorization domain and Mathematics · See more »

Monic polynomial

In algebra, a monic polynomial is a single-variable polynomial (that is, a univariate polynomial) in which the leading coefficient (the nonzero coefficient of highest degree) is equal to 1.

New!!: Unique factorization domain and Monic polynomial · See more »

Multiplicatively closed set

In abstract algebra, a multiplicatively closed set (or multiplicative set) is a subset S of a ring R such that the following two conditions hold.

New!!: Unique factorization domain and Multiplicatively closed set · See more »

Nicolas Bourbaki

Nicolas Bourbaki is the collective pseudonym under which a group of (mainly French) 20th-century mathematicians, with the aim of reformulating mathematics on an extremely abstract and formal but self-contained basis, wrote a series of books beginning in 1935.

New!!: Unique factorization domain and Nicolas Bourbaki · See more »

Noetherian ring

In mathematics, more specifically in the area of abstract algebra known as ring theory, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; that is, given any chain of left (or right) ideals: there exists an n such that: Noetherian rings are named after Emmy Noether.

New!!: Unique factorization domain and Noetherian ring · See more »

Parafactorial local ring

In algebraic geometry, a Noetherian local ring R is called parafactorial if it has depth at least 2 and the Picard group Pic(Spec(R) − m) of its spectrum with the closed point m removed is trivial.

New!!: Unique factorization domain and Parafactorial local ring · See more »

Polynomial ring

In mathematics, especially in the field of abstract algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) with coefficients in another ring, often a field.

New!!: Unique factorization domain and Polynomial ring · See more »

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.

New!!: Unique factorization domain and Prime element · See more »

Prime ideal

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers.

New!!: Unique factorization domain and Prime ideal · See more »

Principal ideal domain

In abstract algebra, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element.

New!!: Unique factorization domain and Principal ideal domain · See more »

Projective module

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules.

New!!: Unique factorization domain and Projective module · See more »

Quadratic integer

In number theory, quadratic integers are a generalization of the integers to quadratic fields.

New!!: Unique factorization domain and Quadratic integer · See more »

Regular local ring

In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension.

New!!: Unique factorization domain and Regular local ring · See more »

Schreier domain

In abstract algebra, a Schreier domain, named after Otto Schreier, is an integrally closed domain where every nonzero element is primal; i.e., whenever x divides yz, x can be written as x.

New!!: Unique factorization domain and Schreier domain · See more »

Square-free integer

In mathematics, a square-free integer is an integer which is divisible by no perfect square other than 1.

New!!: Unique factorization domain and Square-free integer · See more »

Subclass (set theory)

In set theory and its applications throughout mathematics, a subclass is a class contained in some other class in the same way that a subset is a set contained in some other set.

New!!: Unique factorization domain and Subclass (set theory) · See more »

Subring

In mathematics, a subring of R is a subset of a ring that is itself a ring when binary operations of addition and multiplication on R are restricted to the subset, and which shares the same multiplicative identity as R. For those who define rings without requiring the existence of a multiplicative identity, a subring of R is just a subset of R that is a ring for the operations of R (this does imply it contains the additive identity of R).

New!!: Unique factorization domain and Subring · See more »

Unit (ring theory)

In mathematics, an invertible element or a unit in a (unital) ring is any element that has an inverse element in the multiplicative monoid of, i.e. an element such that The set of units of any ring is closed under multiplication (the product of two units is again a unit), and forms a group for this operation.

New!!: Unique factorization domain and Unit (ring theory) · See more »

Zariski ring

In commutative algebra, a Zariski ring is a commutative Noetherian topological ring A whose topology is defined by an ideal \mathfrak a contained in the Jacobson radical, the intersection of all maximal ideals.

New!!: Unique factorization domain and Zariski ring · See more »

Redirects here:

Factorial domain, Factorial ring, Unique Factorization Domain, Unique factorisation, Unique factorisation domain, Unique factorization.

References

[1] https://en.wikipedia.org/wiki/Unique_factorization_domain

OutgoingIncoming
Hey! We are on Facebook now! »