UFD (Unique Factorization Domain)

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:algebra
integral domain
gptkbp:abbreviation gptkb:Unique_Factorization_Domain
gptkbp:definedIn existence and uniqueness of factorization into irreducibles
gptkbp:example Gaussian integers
polynomial ring over a field
ring of integers
ring of integers of some quadratic fields
gptkbp:generalizes gptkb:GCD_domain
gptkb:Krull_domain
Euclidean domain
principal ideal domain
gptkbp:hasProperty every nonzero non-unit element can be written as a product of irreducible elements
factorization into irreducibles is unique up to order and units
every irreducible is prime
https://www.w3.org/2000/01/rdf-schema#label UFD (Unique Factorization Domain)
gptkbp:implies integral domain
atomic domain
gptkbp:namedFor unique factorization property
gptkbp:studiedIn gptkb:commutative_algebra
algebraic number theory
gptkbp:bfsParent gptkb:commutative_algebra
gptkbp:bfsLayer 5