Interior algebras and varieties
type: Item
instance of: scholarly article
title: Interior algebras and varieties
zbMATH Open document ID: 0939.16013
published in: Journal of Algebra
publication date: 2000-04-06T00:00:00Z
review text: The authors consider rings and semigroups with an additional unary operation which mimics the operation of taking the interior of a subset in topological spaces. More precisely, they call a ring or semigroup \(R\) an interior algebra if \(R\) is equipped with a unary operation \(a\mapsto I(a)\) such that \(I(a)I(b)=I(b)I(a)\), \(aI(a)=I(a)\), \(I(I(a))=I(a)\), and \(I(a)I(b)=I(ab)I(b)\) for all \(a,b\in R\). The axioms easily imply that the set \(\text{Im}(I)=\{I(a)\mid a\in R\}\) is a multiplicative subsemilattice of \(R\). A fully interior algebra \(R\) is a ring or semigroup in which \(\text{Im}(I)=E(R)\), the set of all idempotents of \(R\). A ring or semigroup \(R\) is a fully interior algebra if and only if \(E(R)\) is a subsemilattice of \(R\) and, for any \(r\in R\), there exists a largest (with respect to the natural order on \(E(R)\)) element \(e\in E(R)\) with \(re=e\). The authors describe ring and semigroup varieties \(V\) such that each \(R\in V\) verifies the latter property. For rings, this is equivalent for \(V\) to satisfy the identities \(x^n=x^{2n}\), \(x^ny^n=y^nx^n\), \(x^ny=x^ny^{n+1}\) for some positive integer \(n\) (Theorem 2), and for semigroups, the corresponding identities are \(x^n=x^{n+1}\), \(x^ny^n=y^nx^n\) (Theorem 3).
Mathematics Subject Classification ID: 16R10
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 06E05
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 1384437
zbMATH Keywords: interior rings
zbMATH Keywords: interior semigroups
zbMATH Keywords: ring varieties
zbMATH Keywords: semigroup varieties
zbMATH Keywords: idempotents
zbMATH Keywords: identities
zbMATH Keywords: unary operations
author: A. V. Kelarev
author: T. E. Stokes
MaRDI profile type: Publication
full work available at URL: jabr.1999.7939
OpenAlex ID: W1992199218
cites work: Q3848243
cites work: Equality algebras
cites work: VARIETIES OF EQUALITY STRUCTURES
cites work: Internalizing equality in Boolean algebras
cites work: On semi-simple radical classes
cites work: Q4846425
cites work: Semigroup rings in semisimple varieties
cites work: The algebra of topology
cites work: An algebraic approach to non-classical logics
cites work: Q3910639
cites work: Q4728547
cites work: Q3765976
cites work: Q4065517
cites work: Q3207140
cites work: Q3495504
DOI: 10.1006/JABR.1999.7939
description: scientific article; zbMATH DE number 1384437