On taking subalgebras of relativized relation algebras
type: Item
instance of: scholarly article
title: On taking subalgebras of relativized relation algebras
zbMATH Open document ID: 0649.03048
DOI: 10.1007/BF01229962
published in: Algebra Universalis
publication date: 1988-01-01T00:00:00Z
review text: Let \({\mathfrak A}=<A,(f)_{f\in F}>\) be an algebra and \(\cdot\) a distinguished binary operation of \({\mathfrak A}\). For each \(a\in A\) set \({\mathfrak Rl}_ a{\mathfrak A}=<Rl_ a{\mathfrak A},(f')_{f\in F}>\), where \(Rl_ a{\mathfrak A}=\{a\cdot x:\) \(x\in A\}\) and \(f'(x_ 1,...,x_ n)=a\cdot f(x_ 1,...,x_ n)\) for every \(f\in F\) and \(x_ 1,...,x_ n\in Rl_ a{\mathfrak A}\). Let RA be the class of all relation algebras and RRA the class of all representable relation algebras. For any class K of similar algebras set \(Rl'K=\{{\mathfrak Rl}_ a{\mathfrak A}:\) \({\mathfrak A}\in K\), \(a\in A\}\) and \(SK=\{{\mathfrak B}:\) \({\mathfrak B}\subseteq {\mathfrak A}\) for some \({\mathfrak A}\in K\}\). The author proves that for any class K satisfying \(RRA \subseteq K\subseteq RA\) the following properties hold: (i) \(Rl'K \neq SRl'K\); (ii) there is a complete and atomic member of SRl'K-Rl'K; (iii) there is a complete and atomic member of SRl'RRA-Rl'RA. The relationship to similar problems in the theory of cylindric algebras is discussed.
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 08A30
zbMATH DE Number: 4059397
zbMATH Keywords: relation algebras
zbMATH Keywords: cylindric algebras
author: Hajnal Andréka
reviewed by: Sergiu Rudeanu
MaRDI profile type: MaRDI publication profile
cites work: Q5537625
cites work: Cylindric algebras. Part II
cites work: Relativization of cylindric algebras
cites work: Some Varieties Containing Relation Algebras
full work available at URL: https://doi.org/10.1007/bf01229962
OpenAlex ID: W98043388
Recommended article: The Structure of Relation Algebras Generated by Relativizations
Recommended article: Subcompletions of representable relation algebras
Recommended article: Q4011721
Recommended article: Relativized relation algebras
Recommended article: Q4011733
Recommended article: Relativizations of relation algebras by the diversity
Recommended article: On the variety generated by generalized subreducts of Tarski's algebras of relations
Recommended article: A perspective on the theory of relation algebras
Recommended article: Relative subalgebras of MV-algebras
Recommended article: RELATION ALGEBRAS AND R
description: scientific article; zbMATH DE number 4059397