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. The theory of Bézout domains retains many of the properties of PIDs, without requiring the Noetherian property. Bézout domains are named after the French mathematician Étienne Bézout.
| Attributes | Values |
|---|
| rdfs:label
| - Bézoutův obor (cs)
- Bézout domain (en)
- Anneau de Bézout (fr)
- Dominio di Bézout (it)
- 베주 정역 (ko)
- ベズー整域 (ja)
- Кольцо Безу (ru)
- Кільце Безу (uk)
|
| rdfs:comment
| - Bézoutův obor je v matematice, zejména v algebře, označení pro takový obor integrity, ve kterém je součet dvou hlavních ideálů také hlavním ideálem. Z toho plyne zejména jednak to, že pro každé dva prvky daného oboru platí Bézoutova rovnost, jednak že každý konečně generovaný ideál je také hlavní. Každou z těchto podmínek lze použít zároveň jako definiční podmínku Bézoutova oboru. (cs)
- 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. The theory of Bézout domains retains many of the properties of PIDs, without requiring the Noetherian property. Bézout domains are named after the French mathematician Étienne Bézout. (en)
- En algèbre commutative, un anneau quasi-bézoutien est un anneau où la propriété de Bézout est vérifiée ; plus formellement, c'est un anneau dans lequel tout idéal de type fini est principal. Un anneau de Bézout, ou anneau bézoutien, est un anneau quasi-bézoutien intègre. (fr)
- 가환대수학에서 베주 정역(Bézout整域, 영어: Bézout domain)은 베주 항등식을 만족시키는 정역이다. (ko)
- 数学において、ベズー整域 (Bézout domain) は2つの主イデアルの和が再び主イデアルになるような整域である。このことが意味するのは、元の各組に対してベズーの等式 (Bézout identity) が成り立ち、すべての有限生成イデアルは単項であるということである。任意の単項イデアル整域 (PID) はベズー整域だが、ベズー整域はネーター環とは限らないので、有限生成でないイデアルをもつかもしれない（これは明らかに PID でない）。そうであれば、一意分解整域 (UFD) ではないが、なおGCD整域である。ベズー整域の理論は PID の性質の多くを、ネーター性を要求せずに、保つ。ベズー整域はフランス人数学者 Étienne Bézout にちなんで名づけられている。 (ja)
- Кільце Безу (назване на честь французького математика Етьєна Безу) — область цілісності, в якій кожен скінченнопорождений ідеал є головним. З цього визначення випливає, що кільце Безу нетерове тоді і тільки тоді, коли воно є кільцем головних ідеалів, узагальненням яких і є кільця Безу. (uk)
- Nella teoria degli anelli, un dominio di Bézout è una forma di dominio di Prüfer. È un dominio d'integrità in cui la somma di due ideali principali è ancora un ideale principale. Questo significa che un'identità di Bézout vale per ogni coppia di elementi, e che ogni ideale finitamente generato è principale. Ogni dominio ad ideali principali (PID) è un dominio di Bézout, ma non è necessario che quest'ultimo sia un anello noetheriano, quindi potrebbe avere degli ideali non finitamente generati (che ovviamente esclude dall'essere un PID); se è così, allora non è un dominio a fattorizzazione unica (UFD), ma rimane un dominio MCD (cioè ogni coppia di elementi ha un massimo comun divisore). La teoria dei domini di Bézout conserva molte proprietà dei PID, senza richiedere la proprietà noetheriana (it)
- Кольцо Безу (названное по имени французского математика Этьена Безу) — это всякая область целостности, в которой каждый конечнопорождённый идеал является главным. Из этого определения следует, что кольцо Безу нётерово тогда и только тогда, когда оно кольцо главных идеалов, обобщением которых кольца Безу и являются. (ru)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| id
| |
| title
| |
| has abstract
| - Bézoutův obor je v matematice, zejména v algebře, označení pro takový obor integrity, ve kterém je součet dvou hlavních ideálů také hlavním ideálem. Z toho plyne zejména jednak to, že pro každé dva prvky daného oboru platí Bézoutova rovnost, jednak že každý konečně generovaný ideál je také hlavní. Každou z těchto podmínek lze použít zároveň jako definiční podmínku Bézoutova oboru. (cs)
- 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. The theory of Bézout domains retains many of the properties of PIDs, without requiring the Noetherian property. Bézout domains are named after the French mathematician Étienne Bézout. (en)
- En algèbre commutative, un anneau quasi-bézoutien est un anneau où la propriété de Bézout est vérifiée ; plus formellement, c'est un anneau dans lequel tout idéal de type fini est principal. Un anneau de Bézout, ou anneau bézoutien, est un anneau quasi-bézoutien intègre. (fr)
- Nella teoria degli anelli, un dominio di Bézout è una forma di dominio di Prüfer. È un dominio d'integrità in cui la somma di due ideali principali è ancora un ideale principale. Questo significa che un'identità di Bézout vale per ogni coppia di elementi, e che ogni ideale finitamente generato è principale. Ogni dominio ad ideali principali (PID) è un dominio di Bézout, ma non è necessario che quest'ultimo sia un anello noetheriano, quindi potrebbe avere degli ideali non finitamente generati (che ovviamente esclude dall'essere un PID); se è così, allora non è un dominio a fattorizzazione unica (UFD), ma rimane un dominio MCD (cioè ogni coppia di elementi ha un massimo comun divisore). La teoria dei domini di Bézout conserva molte proprietà dei PID, senza richiedere la proprietà noetheriana. I domini di Bézout devono il loro nome dal matematico francese Étienne Bézout. (it)
- 가환대수학에서 베주 정역(Bézout整域, 영어: Bézout domain)은 베주 항등식을 만족시키는 정역이다. (ko)
- 数学において、ベズー整域 (Bézout domain) は2つの主イデアルの和が再び主イデアルになるような整域である。このことが意味するのは、元の各組に対してベズーの等式 (Bézout identity) が成り立ち、すべての有限生成イデアルは単項であるということである。任意の単項イデアル整域 (PID) はベズー整域だが、ベズー整域はネーター環とは限らないので、有限生成でないイデアルをもつかもしれない（これは明らかに PID でない）。そうであれば、一意分解整域 (UFD) ではないが、なおGCD整域である。ベズー整域の理論は PID の性質の多くを、ネーター性を要求せずに、保つ。ベズー整域はフランス人数学者 Étienne Bézout にちなんで名づけられている。 (ja)
- Кольцо Безу (названное по имени французского математика Этьена Безу) — это всякая область целостности, в которой каждый конечнопорождённый идеал является главным. Из этого определения следует, что кольцо Безу нётерово тогда и только тогда, когда оно кольцо главных идеалов, обобщением которых кольца Безу и являются. Целостное кольцо является кольцом Безу тогда и только тогда, когда в этом кольце любые два элемента имеют наибольший общий делитель (НОД), представимый в виде их линейной комбинации. (Это условие означает, что каждый идеал с двумя образующими допускает одну образующую, из чего по индукции выводится, что каждый конечнопорождённый идеал является главным.) Представление НОДа двух элементов их линейной комбинацией часто называют тождеством Безу. (ru)
- Кільце Безу (назване на честь французького математика Етьєна Безу) — область цілісності, в якій кожен скінченнопорождений ідеал є головним. З цього визначення випливає, що кільце Безу нетерове тоді і тільки тоді, коли воно є кільцем головних ідеалів, узагальненням яких і є кільця Безу. (uk)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)