Unique factorization domain (original) (raw)

About DBpedia

في الرياضيات، مجال ذو تفكيك وحيد (بالإنجليزية: Unique factorization domain)‏ هو حلقة حيث تعبيرٌ يشبه المبرهنة الأساسية في الحسابيات يكون صحيحا.

Property Value
dbo:abstract Un anell factorial (també dit anell de factorització única o domini de factorització única) és un anell íntegre en què tot element descompon de forma única com a producte de primers, és a dir, un anell on es compleix una versió anàloga del teorema fonamental de l'aritmètica. En els anells factorials es verifica que un element és si, i només si, és irreductible. És fàcil veure que en alguns anells com ara certs elements admeten més d'una factorització. Així, en aquest anell, , i els quatre factors són irreductibles. Un resultat important d'aquest tipus d'anells és que si A és un anell factorial aleshores l'anell de polinomis A[X] també ho és. (ca) في الرياضيات، مجال ذو تفكيك وحيد (بالإنجليزية: Unique factorization domain)‏ هو حلقة حيث تعبيرٌ يشبه المبرهنة الأساسية في الحسابيات يكون صحيحا. (ar) Gaussův obor integrity neboli obor integrity s jednoznačným rozkladem je v algebře, volně řečeno, takový okruh, ve kterém platí analogie Základní věty aritmetiky, totiž že každý jeho prvek (až na určité výjimky) je možno v jistém smyslu jednoznačně vyjádřit jako součin prvočinitelů. Každý obor hlavních ideálů je Gaussovým oborem a Gaussův obor je vždy oborem integrity. Pro každé dva prvky Gaussova oboru existuje největší společný dělitel a nejmenší společný násobek. (cs) Ein faktorieller Ring, auch ZPE-Ring (Abk. für: „Zerlegung in Primelemente ist eindeutig“), Gaußscher Ring oder EPZ-Ring ist eine algebraische Struktur, und zwar ein Integritätsring, in dem jedes Element eine im Wesentlichen eindeutige Zerlegung in irreduzible Faktoren besitzt. Faktorielle Ringe sind nicht zu verwechseln mit Faktorringen. (de) En ringo-teorio, faktoreca ringo estas integreca ringo, kies ĉiu nenula elemento estas esprimebla kiel produto de nemalkomponeblaj elementoj, esence unike. (eo) En mathématiques, un anneau factoriel est un cas particulier d'anneau intègre. À l'image des nombres entiers, il existe un équivalent du théorème fondamental de l'arithmétique pour une telle structure : tout élément non nul d'un anneau factoriel se décompose en un produit d'un élément inversible et d'éléments , cette décomposition étant unique aux éléments inversibles près. Par exemple dans l'anneau Z des entiers relatifs, –2 est irréductible. Tout anneau principal (c'est-à-dire intègre et dont tout idéal est principal) est factoriel. La réciproque n'est pas vraie. Ainsi un anneau de polynômes à coefficients dans un anneau factoriel k est toujours factoriel lui aussi, mais n'est principal que si l'anneau k est un corps. En ce sens, le concept d'anneau factoriel généralise celui d'anneau principal. Il peut être à son tour généralisé en abandonnant l'hypothèse d'unicité de la décomposition en produit de facteurs irréductibles. On obtient ainsi la classe plus large des anneaux atomiques. Certains résultats usuels de l'arithmétique élémentaire s'appliquent sur un anneau factoriel. Ainsi, le lemme d'Euclide est vérifié et il est possible de définir un plus grand commun diviseur et un plus petit commun multiple bénéficiant presque des propriétés usuelles sur Z. (fr) Un dominio de factorización única (DFU) es una estructura algebraica, específicamente, es un dominio de integridad en el cual todo elemento se descompone de forma única (salvo producto por unidades) como producto de elementos primos (o elementos irreducibles). En los DFU se verifica que un elemento es primo si y sólo si es irreducible. (es) 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. Important examples of UFDs are the integers and polynomial rings in one or more variables with coefficients coming from the integers or from a field. Unique factorization domains appear in the following chain of class inclusions: rngs ⊃ rings ⊃ commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ GCD domains ⊃ ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields ⊃ algebraically closed fields (en) 数学における一意分解環(いちいぶんかいかん、英: unique factorization domain, UFD; 一意分解整域)あるいは素元分解環(そげんぶんかいかん)は、大雑把に言えば整数に対する算術の基本定理の如くに(特別の例外を除く)各元が素元(あるいは既約元)の積に一意的に書くことができるような可換環のことである。ブルバキの語法にしたがってしばしば分解環 (anneau factriel) とも呼ばれる。 環のクラスの中で、一意分解環は以下のような包含関係に位置するものである。 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解整域 ⊃ 主イデアル整域 ⊃ ユークリッド整域 ⊃ 体 ⊃ 有限体 一意分解環の概念は非可換環に対して拡張できる。 (ja) In de abstracte algebra, een onderdeel van de wiskunde, is een uniek factorisatiedomein, UFD, een commutatieve ring, waarin elk element dat geen nul is en geen eenheid op een unieke manier kan worden geschreven als een product van irreducibele of priemelementen, op dezelfde manier dat de gehele getallen in priemgetallen kunnen worden ontbonden. Merk op dat een uniek factorisatiedomein voorkomt in de onderstaande keten van deelverzamelingen: eindige lichamen/velden ⊂ lichamen/velden ⊂ Euclidische domeinen ⊂ hoofdideaaldomeinen ⊂ unieke factorisatiedomeinen ⊂ integriteitsdomeinen ⊂ commutatieve ringen ⊂ ringen. Ieder hoofdideaaldomein is een uniek factorisatiedomein, maar het omgekeerde is niet waar. (nl) 가환대수학에서 유일 인수 분해 정역(有一因數分解整域, 영어: unique factorization domain, 약자 UFD) 또는 인자환(영어: factorial ring)은 0이 아닌 원소를 소원으로 유일하게 인수 분해할 수 있는 가환환이다. 이는 정수의 유일 인수 분해 가능성을 일반화한 것이다. (ko) In algebra, un dominio a fattorizzazione unica (o anello a fattorizzazione unica; spesso abbreviato in UFD, dall'inglese Unique Factorization Domain) è un dominio in cui vale un analogo del teorema fondamentale dell'aritmetica, ovvero in cui ogni elemento può essere scritto in modo unico come prodotto di elementi primi, analogamente a quanto accade per i numeri interi e la scomposizione in numeri primi. (it) Факториа́льное кольцо́ — область целостности, в которой каждый ненулевой элемент x либо обратим, либо однозначно представляется в виде произведения неприводимых элементов x = p1 ⋯ pn (n ≥ 1), с точностью до перестановки сомножителей и умножения на обратимый элемент (аналогично разложению целого числа на простые). Факториальные кольца часто называются гауссовыми в честь Гаусса. (ru) Em teoria dos anéis, um domínio de integridade é de fatoração única (de onde é chamado de DFU, significando domínio de fatoração única) ou fatorial se: 1. * , se (onde é o conjunto das unidades de ) e temos que irredutíveis tal que . 2. * Seja e com irredutíveis e e bijeção, tal que é associado a . (pt) Pierścień z jednoznacznością rozkładu, pierścień Gaussa, UFD (ang. unique factorization domain) – pierścień przemienny, którego każdy element nieodwracalny może być przedstawiony jako iloczyn elementów pierwszych w jednoznaczny sposób, tzn. jednoznaczny co do permutacji czynników. Pierścienie te uogólniają pierścień liczb całkowitych w ten sposób, że spełniają one także tezę podstawowego twierdzenia arytmetyki. Poniższy ciąg zawierań zbiorów obrazuje pewne szczególne przypadki pierścieni z jednoznacznością rozkładu: pierścienie z jednoznacznością rozkładu ⊃ dziedziny ideałów głównych ⊃ pierścienie euklidesowe ⊃ ciała (pl) En EF-ring eller ring med entydig faktorisering, är en heltalsring där varje, från noll skilt och icke inverterbart, element entydigt kan skrivas som en produkt av irreducibla element. Begreppen irreducibelt element och primelement sammanfaller i en sådan ring. Heltalen Z är en EF-ring, men ej ringen Z [i·]. (sv) 在數學中,唯一分解整环(Unique factorization domain)是一個整環,其中元素都可以表示成有限個不可約元素(或素元)之積,並且表示法在允許重排與相伴(associative)之下唯一,相當於滿足算術基本定理的整環。唯一分解整环通常以英文縮寫UFD表示。 (zh) Факторіа́льне кільце́ — область цілісності , в якій кожен необоротний елемент представляється у вигляді добутку незвідних елементів , причому даний розклад єдиний в тому сенсі, що якщо то і після перенумерації маємо для всіх , де — оборотний елемент кільця (такі елементи називаються асоційованими).Самі елементи можуть бути теж асоційованими і навіть рівними. (uk)
dbo:wikiPageExternalLink https://archive.org/details/commutativealgeb0000bour https://archive.org/details/ringsfactorizati0000shar http://www.math.tifr.res.in/~publ/ln/
dbo:wikiPageID 60546 (xsd:integer)
dbo:wikiPageLength 13353 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1124640038 (xsd:integer)
dbo:wikiPageWikiLink dbr:Cambridge_University_Press dbr:Prime_ideal dbr:Principal_ideal_domain dbr:Monic_polynomial dbr:Ring_of_integers dbr:Unit_(ring_theory) dbr:Dedekind_domain dbr:Integral_domain dbr:Integrally_closed_domain dbr:Quadratic_integer_ring dbc:Ring_theory dbr:Mathematics dbr:Noetherian_ring dbr:Zariski_ring dbr:Subring dbr:Eisenstein_integer dbr:Entire_function dbr:Fundamental_theorem_of_arithmetic dbr:Gaussian_integer dbr:Greatest_common_divisor dbr:Multiplicatively_closed_subset dbr:Bijective dbr:Commutative_ring dbr:Zero_ring dbr:Empty_product dbr:Ideal_class_group dbr:Subclass_(set_theory) dbr:Divisor dbr:GCD_domain dbr:Coefficients dbr:Irreducible_element dbr:Irving_Kaplansky dbr:Algebraic_integer dbr:American_Mathematical_Monthly dbr:Euclidean_domain dbr:Field_(mathematics) dbr:Formal_power_series dbr:Nicolas_Bourbaki dbr:Prime_element dbr:Projective_module dbr:Regular_local_ring dbr:Ring_(mathematics) dbr:Heegner_number dbr:Height_(ring_theory) dbr:Atomic_domain dbc:Algebraic_number_theory dbr:Least_common_multiple dbr:Homogeneous_polynomial dbr:Schreier_domain dbr:Ascending_chain_condition_on_principal_ideals dbr:Auslander–Buchsbaum_theorem dbc:Factorization dbr:Polynomial_ring dbr:Sphere dbr:Square-free_integer dbr:Coordinate_ring dbr:Integers dbr:Associated_element dbr:Root dbr:Localization_of_a_ring dbr:Noncommutative_unique_factorization_domain dbr:Parafactorial_local_ring dbr:Krull_domain dbr:Divisorial_ideal dbr:Quotient_field dbr:''X'' dbr:Divisor_theory dbr:''X''1,...,''X''''n''
dbp:wikiPageUsesTemplate dbt:Algebraic_structures dbt:Authority_control dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:Harv dbt:Redirect dbt:Refbegin dbt:Refend dbt:Reflist dbt:Commutative_ring_classes dbt:Lang_Algebra
dct:subject dbc:Ring_theory dbc:Algebraic_number_theory dbc:Factorization
gold:hypernym dbr:Ring
rdf:type owl:Thing dbo:AnatomicalStructure
rdfs:comment في الرياضيات، مجال ذو تفكيك وحيد (بالإنجليزية: Unique factorization domain)‏ هو حلقة حيث تعبيرٌ يشبه المبرهنة الأساسية في الحسابيات يكون صحيحا. (ar) Gaussův obor integrity neboli obor integrity s jednoznačným rozkladem je v algebře, volně řečeno, takový okruh, ve kterém platí analogie Základní věty aritmetiky, totiž že každý jeho prvek (až na určité výjimky) je možno v jistém smyslu jednoznačně vyjádřit jako součin prvočinitelů. Každý obor hlavních ideálů je Gaussovým oborem a Gaussův obor je vždy oborem integrity. Pro každé dva prvky Gaussova oboru existuje největší společný dělitel a nejmenší společný násobek. (cs) Ein faktorieller Ring, auch ZPE-Ring (Abk. für: „Zerlegung in Primelemente ist eindeutig“), Gaußscher Ring oder EPZ-Ring ist eine algebraische Struktur, und zwar ein Integritätsring, in dem jedes Element eine im Wesentlichen eindeutige Zerlegung in irreduzible Faktoren besitzt. Faktorielle Ringe sind nicht zu verwechseln mit Faktorringen. (de) En ringo-teorio, faktoreca ringo estas integreca ringo, kies ĉiu nenula elemento estas esprimebla kiel produto de nemalkomponeblaj elementoj, esence unike. (eo) Un dominio de factorización única (DFU) es una estructura algebraica, específicamente, es un dominio de integridad en el cual todo elemento se descompone de forma única (salvo producto por unidades) como producto de elementos primos (o elementos irreducibles). En los DFU se verifica que un elemento es primo si y sólo si es irreducible. (es) 数学における一意分解環(いちいぶんかいかん、英: unique factorization domain, UFD; 一意分解整域)あるいは素元分解環(そげんぶんかいかん)は、大雑把に言えば整数に対する算術の基本定理の如くに(特別の例外を除く)各元が素元(あるいは既約元)の積に一意的に書くことができるような可換環のことである。ブルバキの語法にしたがってしばしば分解環 (anneau factriel) とも呼ばれる。 環のクラスの中で、一意分解環は以下のような包含関係に位置するものである。 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解整域 ⊃ 主イデアル整域 ⊃ ユークリッド整域 ⊃ 体 ⊃ 有限体 一意分解環の概念は非可換環に対して拡張できる。 (ja) 가환대수학에서 유일 인수 분해 정역(有一因數分解整域, 영어: unique factorization domain, 약자 UFD) 또는 인자환(영어: factorial ring)은 0이 아닌 원소를 소원으로 유일하게 인수 분해할 수 있는 가환환이다. 이는 정수의 유일 인수 분해 가능성을 일반화한 것이다. (ko) In algebra, un dominio a fattorizzazione unica (o anello a fattorizzazione unica; spesso abbreviato in UFD, dall'inglese Unique Factorization Domain) è un dominio in cui vale un analogo del teorema fondamentale dell'aritmetica, ovvero in cui ogni elemento può essere scritto in modo unico come prodotto di elementi primi, analogamente a quanto accade per i numeri interi e la scomposizione in numeri primi. (it) Факториа́льное кольцо́ — область целостности, в которой каждый ненулевой элемент x либо обратим, либо однозначно представляется в виде произведения неприводимых элементов x = p1 ⋯ pn (n ≥ 1), с точностью до перестановки сомножителей и умножения на обратимый элемент (аналогично разложению целого числа на простые). Факториальные кольца часто называются гауссовыми в честь Гаусса. (ru) Em teoria dos anéis, um domínio de integridade é de fatoração única (de onde é chamado de DFU, significando domínio de fatoração única) ou fatorial se: 1. * , se (onde é o conjunto das unidades de ) e temos que irredutíveis tal que . 2. * Seja e com irredutíveis e e bijeção, tal que é associado a . (pt) En EF-ring eller ring med entydig faktorisering, är en heltalsring där varje, från noll skilt och icke inverterbart, element entydigt kan skrivas som en produkt av irreducibla element. Begreppen irreducibelt element och primelement sammanfaller i en sådan ring. Heltalen Z är en EF-ring, men ej ringen Z [i·]. (sv) 在數學中,唯一分解整环(Unique factorization domain)是一個整環,其中元素都可以表示成有限個不可約元素(或素元)之積,並且表示法在允許重排與相伴(associative)之下唯一,相當於滿足算術基本定理的整環。唯一分解整环通常以英文縮寫UFD表示。 (zh) Факторіа́льне кільце́ — область цілісності , в якій кожен необоротний елемент представляється у вигляді добутку незвідних елементів , причому даний розклад єдиний в тому сенсі, що якщо то і після перенумерації маємо для всіх , де — оборотний елемент кільця (такі елементи називаються асоційованими).Самі елементи можуть бути теж асоційованими і навіть рівними. (uk) Un anell factorial (també dit anell de factorització única o domini de factorització única) és un anell íntegre en què tot element descompon de forma única com a producte de primers, és a dir, un anell on es compleix una versió anàloga del teorema fonamental de l'aritmètica. En els anells factorials es verifica que un element és si, i només si, és irreductible. És fàcil veure que en alguns anells com ara certs elements admeten més d'una factorització. Així, en aquest anell, , i els quatre factors són irreductibles. (ca) En mathématiques, un anneau factoriel est un cas particulier d'anneau intègre. À l'image des nombres entiers, il existe un équivalent du théorème fondamental de l'arithmétique pour une telle structure : tout élément non nul d'un anneau factoriel se décompose en un produit d'un élément inversible et d'éléments , cette décomposition étant unique aux éléments inversibles près. Par exemple dans l'anneau Z des entiers relatifs, –2 est irréductible. (fr) 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. Unique factorization domains appear in the following chain of class inclusions: (en) Pierścień z jednoznacznością rozkładu, pierścień Gaussa, UFD (ang. unique factorization domain) – pierścień przemienny, którego każdy element nieodwracalny może być przedstawiony jako iloczyn elementów pierwszych w jednoznaczny sposób, tzn. jednoznaczny co do permutacji czynników. Pierścienie te uogólniają pierścień liczb całkowitych w ten sposób, że spełniają one także tezę podstawowego twierdzenia arytmetyki. Poniższy ciąg zawierań zbiorów obrazuje pewne szczególne przypadki pierścieni z jednoznacznością rozkładu: (pl) In de abstracte algebra, een onderdeel van de wiskunde, is een uniek factorisatiedomein, UFD, een commutatieve ring, waarin elk element dat geen nul is en geen eenheid op een unieke manier kan worden geschreven als een product van irreducibele of priemelementen, op dezelfde manier dat de gehele getallen in priemgetallen kunnen worden ontbonden. Merk op dat een uniek factorisatiedomein voorkomt in de onderstaande keten van deelverzamelingen: Ieder hoofdideaaldomein is een uniek factorisatiedomein, maar het omgekeerde is niet waar. (nl)
rdfs:label مجال ذو تفكيك وحيد (جبر) (ar) Anell factorial (ca) Gaussův obor integrity (cs) Faktorieller Ring (de) Faktoreca ringo (eo) Dominio de factorización única (es) Anneau factoriel (fr) Dominio a fattorizzazione unica (it) 유일 인수 분해 정역 (ko) 一意分解環 (ja) Uniek factorisatiedomein (nl) Pierścień z jednoznacznością rozkładu (pl) Domínio fatorial (pt) Факториальное кольцо (ru) Unique factorization domain (en) EF-ring (sv) Факторіальне кільце (uk) 唯一分解整環 (zh)
owl:sameAs freebase:Unique factorization domain yago-res:Unique factorization domain http://d-nb.info/gnd/4414551-2 wikidata:Unique factorization domain dbpedia-ar:Unique factorization domain dbpedia-ca:Unique factorization domain dbpedia-cs:Unique factorization domain dbpedia-de:Unique factorization domain dbpedia-eo:Unique factorization domain dbpedia-es:Unique factorization domain dbpedia-fa:Unique factorization domain dbpedia-fr:Unique factorization domain dbpedia-he:Unique factorization domain dbpedia-it:Unique factorization domain dbpedia-ja:Unique factorization domain dbpedia-ko:Unique factorization domain dbpedia-nl:Unique factorization domain dbpedia-pl:Unique factorization domain dbpedia-pt:Unique factorization domain dbpedia-ro:Unique factorization domain dbpedia-ru:Unique factorization domain dbpedia-sv:Unique factorization domain dbpedia-uk:Unique factorization domain dbpedia-zh:Unique factorization domain https://global.dbpedia.org/id/8AoE
prov:wasDerivedFrom wikipedia-en:Unique_factorization_domain?oldid=1124640038&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Unique_factorization_domain
is dbo:wikiPageDisambiguates of dbr:Domain dbr:UFD
is dbo:wikiPageRedirects of dbr:Unique_factorisation_domain dbr:Factorial_ring dbr:Factorial_domain dbr:Unique_Factorization_Domain dbr:UFD_(math) dbr:Unique_factorisation dbr:Unique_factorization
is dbo:wikiPageWikiLink of dbr:Prime_ideal dbr:Principal_ideal dbr:Principal_ideal_domain dbr:Quadratic_integer dbr:List_of_abstract_algebra_topics dbr:List_of_commutative_algebra_topics dbr:Multiplicative_function dbr:Algebraic_geometry_of_projective_spaces dbr:Algebraic_number_field dbr:Pathological_(mathematics) dbr:Cubic_reciprocity dbr:Unique_factorisation_domain dbr:Valuation_(algebra) dbr:Dedekind_domain dbr:Integral_domain dbr:Integrally_closed_domain dbr:Iwasawa_algebra dbr:List_of_number_fields_with_class_number_one dbr:11_(number) dbr:163_(number) dbr:Noetherian_ring dbr:Special_number_field_sieve dbr:Quartic_reciprocity dbr:Eisenstein's_criterion dbr:Fundamental_theorem_of_arithmetic dbr:Gauss's_lemma_(polynomials) dbr:Gaussian_integer dbr:Glossary_of_algebraic_geometry dbr:Glossary_of_commutative_algebra dbr:Glossary_of_ring_theory dbr:Greatest_common_divisor dbr:Arithmetic_derivative dbr:Berlekamp's_algorithm dbr:Commutative_ring dbr:Complex_multiplication dbr:Domain dbr:Ideal_class_group dbr:Krull_dimension dbr:Krull_ring dbr:GCD_domain dbr:Irreducible_element dbr:Irreducible_fraction dbr:Irreducible_polynomial dbr:Algebraic_number_theory dbr:Euclid's_lemma dbr:Euclidean_algorithm dbr:Euclidean_domain dbr:Factorial_ring dbr:Factorization dbr:Finite_field dbr:Discrete_valuation_ring dbr:Fractional_ideal dbr:Germ_(mathematics) dbr:Hilbert_class_field dbr:Primitive_part_and_content dbr:Primary_decomposition dbr:Prime_element dbr:Rational_function dbr:Regular_local_ring dbr:Ring_(mathematics) dbr:Ring_theory dbr:Hilbert's_Nullstellensatz dbr:Atomic_domain dbr:Prime_number dbr:Abstract_algebra dbr:Lagrange's_four-square_theorem dbr:Least_common_multiple dbr:Binary_GCD_algorithm dbr:Hensel's_lemma dbr:Schreier_domain dbr:Divisor_(algebraic_geometry) dbr:Ascending_chain_condition_on_principal_ideals dbr:Auslander–Buchsbaum_theorem dbr:Bézout_domain dbr:Polynomial dbr:Polynomial_greatest_common_divisor dbr:Polynomial_ring dbr:Square_root_of_5 dbr:Fermat's_factorization_method dbr:Fermat's_theorem_on_sums_of_two_squares dbr:Factorial_domain dbr:Kleinian_integer dbr:Stark–Heegner_theorem dbr:Smith_normal_form dbr:UFD dbr:Factorization_of_polynomials dbr:Vandermonde_matrix dbr:Noncommutative_unique_factorization_domain dbr:Restricted_power_series dbr:Unique_Factorization_Domain dbr:Square-free_element dbr:UFD_(math) dbr:Unique_factorisation dbr:Unique_factorization
is foaf:primaryTopic of wikipedia-en:Unique_factorization_domain