Solvable covers of the Boolean variety of unital \(\ell \)-groups (Q987183): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
m rollbackEdits.php mass rollback Tag: Rollback |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-010-0052-9 / rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2028863687 / rank | |||
Revision as of 03:51, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solvable covers of the Boolean variety of unital \(\ell \)-groups |
scientific article |
Statements
Solvable covers of the Boolean variety of unital \(\ell \)-groups (English)
0 references
13 August 2010
0 references
GMV-algebras, also known as pseudo MV-algebras or \(\Psi\)MV-algebras, were introduced by Georgescu and Iorgulescu, and, independently, by Rachůnek, as a noncommutative generalization of MV-algebras -- the algebras of infinite-valued Łukasiewicz logic. GMV-algebras are categorically equivalent to unital lattice-ordered groups (unital \(\ell\)-groups for short). The connecting functor was introduced by \textit{A. Dvurečenskij} in [J. Aust. Math. Soc. 72, No. 3, 427--445 (2002; Zbl 1027.06014)]. This functor extends the categorical equivalence \(\Gamma\) between abelian unital lattice-ordered groups and MV-algebras, introduced in the present reviewer's article [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)]. One can thus speak of ``varieties'' of unital \(\ell\)-groups, despite the Archimedean property of the order-unit in an \(\ell\)-group is not even definable in first-order logic. In the paper under review the authors give a characterization of all varieties of solvable unital \(\ell\)-groups which cover the minimal nontrivial variety of Boolean unital \(\ell\)-groups, corresponding to the subvariety of GMV-algebras consisting of Boolean algebras. Their work parallels the Gurchenkov-Reilly-Darnel work on varieties of solvable \(\ell\)-groups covering the abelian variety.
0 references
MV-algebra
0 references
\(\Psi\)MV-algebra
0 references
pseudo MV-algebra
0 references
cover variety
0 references
unital \(\ell\)-group
0 references