About: Boolean prime ideal theorem

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Boolean prime ideal theorem Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
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)
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)
sameAs	Boolean prime ideal theorem Boolean prime ideal theorem Boolean prime ideal theorem Boolean prime ideal theorem Boolean prime ideal theorem Boolean prime ideal theorem Boolean prime ideal theorem Boolean prime ideal theorem Boolean prime ideal theorem
Wikipage page ID	11002786 (xsd:integer)
Wikipage revision ID	187830420 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorème_d'algèbre Boolean algebra (structure) Heyting algebra Algebra over a field Ring (mathematics) Commutative ring Axiom of choice Azriel Lévy Basis (linear algebra) Infimum and supremum dbpedia-fr:Cardinalité_(mathématiques) category-fr:Théorie_des_ordres dbpedia-fr:Cohérence_(logique) Compact space dbpedia-fr:Dana_S._Scott Vitali set Power set Directed set dbpedia-fr:Ensemble_partiellement_ordonné Disjoint sets Vector space dbpedia-fr:Filtre_(mathématiques) dbpedia-fr:Filtre_de_Fréchet Ideal (order theory) Prime ideal dbpedia-fr:Inclusion_(mathématiques) dbpedia-fr:Invariant Isomorphism dbpedia-fr:Lemme_de_Zorn List of Boolean algebra topics dbpedia-fr:Paire Partially ordered set Upper set dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel Krull's theorem Tychonoff's theorem Well-ordering theorem Stone's representation theorem for Boolean algebras Topology dbpedia-fr:Treillis_(ensemble_ordonné) dbpedia-fr:Tribu_de_Lebesgue Triviality (mathematics) dbpedia-fr:Ultrafiltre Wilfrid Hodges dbpedia-fr:À_quelque_chose_près dbpedia-fr:Majorant_ou_minorant dbpedia-fr:Mathématiques
page length (characters) of wiki page	17528 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorème_d'algèbre category-fr:Théorie_des_ordres
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Sources_à_lier dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Commentaire_biblio
prov:wasDerivedFrom	wikipedia-fr:Théorème_de_l'idéal_premier_dans_une_algèbre_de_Boole?oldid=187830420&ns=0
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)
prop-fr:collection	Cambridge Studies in Advanced Mathematics (fr)
prop-fr:doi	10 (xsd:double)
prop-fr:isbn	978 (xsd:integer)
prop-fr:lang	en (fr)
prop-fr:numéro	2 (xsd:integer)
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)
prop-fr:éditeur	Cambridge University Press (fr)
prop-fr:numéroD'édition	2 (xsd:integer)
prop-fr:p.	115 (xsd:integer) 193 (xsd:integer)
prop-fr:revue	J. London Math. Soc. (fr) Applied Categorical Structures (fr)
prop-fr:vol	8 (xsd:integer) 27 (xsd:integer)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software