Projectivity of pure ideals
number of generators of pure idealparacompact spaceprojectivity of ideal of ring of continuous functions
Projective and free modules and ideals in commutative rings (13C10) Commutative rings and modules of finite generation or presentation; number of generators (13E15) Topological rings and modules (13J99) Ideals, maximal ideals, boundaries (46J20) Algebraic properties of function spaces in general topology (54C40) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20)
L'anneau considéré \(A\) est commutatif et unitaire. Un idéal \(I\) de \(A\) est pur si l'on a \(J\cap I=JI\) pour tout idéal \(J\) de \(A\). Une étude algébrique des idéaux purs permet de compléter sur bien des points des résultats déjà connus ou d'en simplifier les démonstrations; citons par exemple: si \(I\) est un idéal pur de \(A\), le plus petit cardinal d'un ensemble de générateurs de \(I\) est égal au plus petit cardinal d'une famille de fermés de l'espace des idéaux minimaux de \(A\), dont la réunion est celle des idéaux premiers maximaux de \(A\) ne contenant pas \(I\). Viennent, ensuite, des conditions nécessaires et suffisantes pour qu'un idéal pur de A soit projectif. L'intérêt se porte, alors, sur le cas où tout idéal premier de \(A\) est contenu dans un seul idéal maximal et, par conséquent, sur l'anneau \(C(X)\) des fonctions réelles définies et continues sur un espace topologique \(X\). Ainsi, un idéal projectif \(I\) de \(C(X)\) est pur s'il vérifie \(I^ 2=I\) ou s'il ne s'annule en aucun point de \(X\); un idéal premier de \(C(X)\) est projectif si et seulement s'il est engendré par un idempotent. Tout idéal pur de \(C(X)\) est projectif si et seulement si \(X\) est compact et héréditairement paracompact. Les propriétés suivantes sont équivalentes: tout idéal de \(C(X)\) admettant un nombre fini de générateurs est projectif; tout idéal principal de \(C(X)\) est projectif.
- When every pure ideal is projective
- Projectively full ideals in noetherian rings
- scientific article; zbMATH DE number 1851131
- Relative projectivity and ideals in cohomology rings
- Projective equivalence of ideals in noetherian integral domains
- Pure descent for projectivity of modules
- Commutative rings in which every pure ideal is projective
- scientific article; zbMATH DE number 3893313
- The pure-projective ideal of a module category
- Some results on pure ideals and trace ideals of projective modules
- Autour de la platitude
- Couples spectraux et faisceaux associés. Applications aux anneaux de fonctions
- Disconnexités des spectres d'anneaux et des préschémas
- Finiteness in projective ideals
- scientific article; zbMATH DE number 3152563 (Why is no real title available?)
- scientific article; zbMATH DE number 3176139 (Why is no real title available?)
- scientific article; zbMATH DE number 3594254 (Why is no real title available?)
- scientific article; zbMATH DE number 3432492 (Why is no real title available?)
- scientific article; zbMATH DE number 3231431 (Why is no real title available?)
- scientific article; zbMATH DE number 3309296 (Why is no real title available?)
- On Projective Prime Ideals in C(X)
- On the Countably Generated z-Ideals of C(X)
- On the structure of a class of archimedean lattice-ordered algebras
- Projective ideals in rings of continuous functions
- Projective modules
- Some properties of the ring of continuous functions
- Pure ideals in commutative reduced Gelfand rings with unity
- Note on the weak global dimension of coherent bi-amalgamations
- Duplication of a module along an ideal
- Rings and sheaves
- Rings of continuous functions with values in a topological division ring
- The hull-kernel topology on prime filters in residuated lattices
- Rickart residuated lattices
- Some results on pure ideals and trace ideals of projective modules
- Closure properties of \(\varinjlim \mathcal{C}\)
- Almost zip Bézout domain
- Some new characterizations of finite frames and F-frames
- The stable topology for residuated lattices
- An investigation on ordered algebraic hyperstructures
- When every projective module is a direct sum of finitely generated modules
- Normal hyperlattices and pure ideals of hyperlattices.
- C(X): Something old and something new
- scientific article; zbMATH DE number 1229742 (Why is no real title available?)
- The global dimension of anf-ring via its space of minimal prime ideals
- scientific article; zbMATH DE number 1101549 (Why is no real title available?)
- \(N\)-pure ideals and mid rings
- PURE IDEALS AND STABLE TOPOLOGY IN BL-ALGEBRAS
- On purely-prime ideals with applications
- Some Ideals with Large Projective Dimension
- scientific article; zbMATH DE number 3330287 (Why is no real title available?)
- Purity and equational compactness of projection algebras
- Constructible sheaves on schemes
- On the ideal of functions with compact support in pointfree function rings
- An overview of \(z\)-ideals and \(z^\circ \)-ideals
- Characterization of differential and pure ideals in the Hurwitz series ring: structural insights and formulations
- Specification of topological spaces by algebraic systems of continuous functions
- Mp-residuated lattices
- The pure spectrum of a residuated lattice
- When is C(X) a p.p. local, a p.f. local or an r-local ring?
- Neat rings
- Projectively full ideals in noetherian rings
- Open set lattices of subspaces of spectrum spaces
- Topological characterization of certain classes of lattices
- Regularity in algebraic frames
This page was built for publication: Projectivity of pure ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q795873)