JEDNOSTKA NAUKOWA KATEGORII A+

# Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

## Fundamenta Mathematicae

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

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.

Odśwież obrazek