JEDNOSTKA NAUKOWA KATEGORII A+

Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

Pierce sheaves and commutative idempotent generated algebras

Tom 240 / 2018

G. Bezhanishvili, P. J. Morandi, B. Olberding Fundamenta Mathematicae 240 (2018), 105-136 MSC: Primary 18F20, 06E15, 54H10; Secondary 13C10, 13C11. DOI: 10.4064/fm94-2-2017 Opublikowany online: 7 August 2017

Streszczenie

Let $R$ be a commutative ring. Pierce duality between the category of commutative rings and the category of ringed Stone spaces with commutative indecomposable stalks can be adapted to the category of commutative $R$-algebras. Examination of morphisms under this duality leads in a natural way to a class of faithfully flat commutative idempotent generated $R$-algebras that we term locally Specker $R$-algebras. We study locally Specker $R$-algebras in detail. We show that every such $R$-algebra $A$ is uniquely determined by a Boolean algebra homomorphism from the Boolean algebra of idempotents of $R$ into that of $A$; this in turn leads to a dual equivalence between the category ${\sf LSp}_R$ of locally Specker $R$-algebras and bundles $Y \rightarrow X$, where $Y$ is a Stone space and $X$ is the Pierce spectrum of $R$. We also show that the concept of a locally Specker $R$-algebra generalizes functorial constructions of Bergman and Rota.

The algebraic and categorical properties of locally Specker $R$-algebras are useful for illuminating the category ${\sf IG}_R$ of commutative idempotent generated $R$-algebras. We show that ${\sf LSp}_R$ is the least epicoreflective subcategory of ${\sf IG}_R$, and hence every commutative idempotent generated $R$-algebra can be presented as the image of a locally Specker $R$-algebra in a canonical way. We also situate the category ${\sf LSp}_R$ homologically in ${\sf IG}_R$ by examining the algebras in ${\sf IG}_R$ that when considered as an $R$-module are free, projective or flat. If $R$ is an indecomposable ring, then for algebras in ${\sf IG}_R$ all three notions coincide with that of being locally Specker. If $R$ is not indecomposable, then in general the four notions diverge. However, we identify the classes of rings $R$ for which any two coincide.

Autorzy

  • G. BezhanishviliDepartment of Mathematical Sciences
    New Mexico State University
    Las Cruces, NM 88003, U.S.A.
    e-mail
  • P. J. MorandiDepartment of Mathematical Sciences
    New Mexico State University
    Las Cruces, NM 88003, U.S.A.
    e-mail
  • B. OlberdingDepartment of Mathematical Sciences
    New Mexico State University
    Las Cruces, NM 88003, U.S.A.
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek