| Property |
Value |
| dbo:abstract
|
- En mathématiques, un théorème de l'idéal premier garantit l'existence de certains types de sous-ensembles dans une algèbre. Un exemple courant est le théorème de l'idéal premier dans une algèbre de Boole, qui énonce que tout idéal d'une algèbre de Boole est inclus dans un idéal premier. Une variante de cet énoncé pour filtres sur des ensembles est connue comme le . D'autres théorèmes sont obtenus en considérant les différentes structures mathématiques avec les notions d'idéal appropriées, par exemple, les anneaux et leurs idéaux premiers (en théorie des anneaux), ou les treillis distributifs et leurs idéaux maximaux (en théorie des ordres). Cet article se concentre sur le théorème de l'idéal premier en théorie des ordres. Bien que les divers théorèmes de l'idéal premier puissent paraître simples et intuitifs, ils ne peuvent pas être déduits en général des axiomes de la théorie des ensembles de Zermelo-Fraenkel sans l'axiome du choix (en abrégé ZF). Au lieu de cela, certains énoncés s'avèrent équivalents à l'axiome du choix (AC), tandis que d'autres — le théorème de l'idéal premier dans une algèbre de Boole, par exemple — constituent une propriété strictement plus faible que AC. C'est grâce à ce statut intermédiaire entre ZF et ZF + AC (ZFC) que le théorème de l'idéal premier dans une algèbre de Boole est souvent pris comme un axiome de la théorie des ensembles. Les abréviations BPI ou PIT (pour les algèbres de Boole) sont parfois utilisées pour se référer à cet axiome supplémentaire. (fr)
- En mathématiques, un théorème de l'idéal premier garantit l'existence de certains types de sous-ensembles dans une algèbre. Un exemple courant est le théorème de l'idéal premier dans une algèbre de Boole, qui énonce que tout idéal d'une algèbre de Boole est inclus dans un idéal premier. Une variante de cet énoncé pour filtres sur des ensembles est connue comme le . D'autres théorèmes sont obtenus en considérant les différentes structures mathématiques avec les notions d'idéal appropriées, par exemple, les anneaux et leurs idéaux premiers (en théorie des anneaux), ou les treillis distributifs et leurs idéaux maximaux (en théorie des ordres). Cet article se concentre sur le théorème de l'idéal premier en théorie des ordres. Bien que les divers théorèmes de l'idéal premier puissent paraître simples et intuitifs, ils ne peuvent pas être déduits en général des axiomes de la théorie des ensembles de Zermelo-Fraenkel sans l'axiome du choix (en abrégé ZF). Au lieu de cela, certains énoncés s'avèrent équivalents à l'axiome du choix (AC), tandis que d'autres — le théorème de l'idéal premier dans une algèbre de Boole, par exemple — constituent une propriété strictement plus faible que AC. C'est grâce à ce statut intermédiaire entre ZF et ZF + AC (ZFC) que le théorème de l'idéal premier dans une algèbre de Boole est souvent pris comme un axiome de la théorie des ensembles. Les abréviations BPI ou PIT (pour les algèbres de Boole) sont parfois utilisées pour se référer à cet axiome supplémentaire. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 17528 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1982 (xsd:integer)
- 1983 (xsd:integer)
- 2000 (xsd:integer)
- 2002 (xsd:integer)
|
| prop-fr:auteur
|
- Peter Johnstone (fr)
- B. A. Davey (fr)
- H. A. Priestley (fr)
- B. Banaschewski (fr)
- M. Erné (fr)
- Peter Johnstone (fr)
- B. A. Davey (fr)
- H. A. Priestley (fr)
- B. Banaschewski (fr)
- M. Erné (fr)
|
| prop-fr:collection
|
- Cambridge Studies in Advanced Mathematics (fr)
- Cambridge Studies in Advanced Mathematics (fr)
|
| prop-fr:doi
| |
| prop-fr:isbn
| |
| prop-fr:lang
| |
| prop-fr:numéro
| |
| prop-fr:numéroD'édition
| |
| prop-fr:numéroDansCollection
| |
| prop-fr:p.
|
- 115 (xsd:integer)
- 193 (xsd:integer)
|
| prop-fr:revue
|
- J. London Math. Soc. (fr)
- Applied Categorical Structures (fr)
- J. London Math. Soc. (fr)
- Applied Categorical Structures (fr)
|
| prop-fr:soi
| |
| prop-fr:titre
|
- Stone Spaces (fr)
- Introduction to Lattices and Order (fr)
- Prime ideal theory for general algebras (fr)
- The power of the ultrafilter theorem (fr)
- Stone Spaces (fr)
- Introduction to Lattices and Order (fr)
- Prime ideal theory for general algebras (fr)
- The power of the ultrafilter theorem (fr)
|
| prop-fr:vol
|
- 8 (xsd:integer)
- 27 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Cambridge University Press (fr)
- Cambridge University Press (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En mathématiques, un théorème de l'idéal premier garantit l'existence de certains types de sous-ensembles dans une algèbre. Un exemple courant est le théorème de l'idéal premier dans une algèbre de Boole, qui énonce que tout idéal d'une algèbre de Boole est inclus dans un idéal premier. Une variante de cet énoncé pour filtres sur des ensembles est connue comme le . D'autres théorèmes sont obtenus en considérant les différentes structures mathématiques avec les notions d'idéal appropriées, par exemple, les anneaux et leurs idéaux premiers (en théorie des anneaux), ou les treillis distributifs et leurs idéaux maximaux (en théorie des ordres). Cet article se concentre sur le théorème de l'idéal premier en théorie des ordres. (fr)
- En mathématiques, un théorème de l'idéal premier garantit l'existence de certains types de sous-ensembles dans une algèbre. Un exemple courant est le théorème de l'idéal premier dans une algèbre de Boole, qui énonce que tout idéal d'une algèbre de Boole est inclus dans un idéal premier. Une variante de cet énoncé pour filtres sur des ensembles est connue comme le . D'autres théorèmes sont obtenus en considérant les différentes structures mathématiques avec les notions d'idéal appropriées, par exemple, les anneaux et leurs idéaux premiers (en théorie des anneaux), ou les treillis distributifs et leurs idéaux maximaux (en théorie des ordres). Cet article se concentre sur le théorème de l'idéal premier en théorie des ordres. (fr)
|
| rdfs:label
|
- Théorème de l'idéal premier dans une algèbre de Boole (fr)
- Boolean prime ideal theorem (en)
- Boolescher Primidealsatz (de)
- Теорема про булеві прості ідеали (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
