When an algebraic frame is regular
type: Item
instance of: scholarly article
title: When an algebraic frame is regular
zbMATH Open document ID: 1092.06011
published in: Algebra Universalis
publication date: 2006-07-12T00:00:00Z
review text: A frame is a complete lattice \(L\) satisfying the distributive law \(a\wedge \bigvee S=\bigvee \{ a\wedge s\: s\in S\}\) for each \(a\in L\), \(S\subseteq L\). For each \(a\in L\), let \(a^{\perp }=\bigvee \{ x\in L; x\wedge a=0\}\). An element \(a\in L\) is called regular if \(a=\bigvee \{x\in L; x^{\perp }\vee a=1\}\). \(L\) is called regular if each \(a\in L\) is regular. The main theorem of the paper states that an algebraic frame \(L\) is regular iff its compact elements are complemented (i.e.\ if \(a\vee a^{\perp }=1\) for each \(a\in L\)). More generally, it is shown that each pseudocomplemented element is regular iff each \(c^{\perp \perp }\), with \(c\) compact, is complemented. With a mild assumption on \(L\), each \(c^{\perp }\), with \(c\) compact, is regular precisely when \(p\vee q=1\) for any two minimal primes \(p,q\in L\). These results are then interpreted in various frames of subobjects of \(l\)-groups and \(f\)-rings.
reviewed by: Radomír Halaš
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 06F20
Mathematics Subject Classification ID: 06F25
zbMATH DE Number: 5040241
zbMATH Keywords: algebraic frame
zbMATH Keywords: regular frames
zbMATH Keywords: compact splitting property
zbMATH Keywords: lattice-ordered group
zbMATH Keywords: \(f\)-ring
author: Jorge Martinez
author: Eric R. Zenk
MaRDI profile type: MaRDI publication profile
full work available at URL: s00012-003-1841-1
OpenAlex ID: W1997747293
DOI: 10.1007/S00012-003-1841-1
description: scientific article; zbMATH DE number 5040241