Free Constructions in Hoops via ℓ-Groups
Lattice-ordered abelian groups, or abelian -groups in what follows, are categorically equivalent to two classes of 0-bounded hoops that are relevant in the realm of the equivalent algebraic semantics of many-valued logics: liftings of cancellative hoops and perfect MV-algebras. The former generate t...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2024 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/383062 |
| Acceso en línea: | http://hdl.handle.net/10261/383062 https://api.elsevier.com/content/abstract/scopus_id/85198628689 |
| Access Level: | acceso abierto |
| Palabra clave: | Hoops Free algebras Product algebras Perfect MV-algebras Unification |
| Sumario: | Lattice-ordered abelian groups, or abelian -groups in what follows, are categorically equivalent to two classes of 0-bounded hoops that are relevant in the realm of the equivalent algebraic semantics of many-valued logics: liftings of cancellative hoops and perfect MV-algebras. The former generate the variety of product algebras, and the latter the subvariety of MV-algebras generated by perfect MV-algebras, that we shall call . In this work we focus on these two varieties and their relation to the structures obtained by forgetting the falsum constant 0, i.e., product hoops and DLW-hoops. As main results, we first show a characterization of the free algebras in these two varieties as particular weak Boolean products; then, we show a construction that freely generates a product algebra from a product hoop and a DLMV-algebra from a DLW-hoop. In other words, we exhibit the free functor from the two algebraic categories of hoops to the corresponding categories of 0-bounded algebras. Finally, we use the results obtained to study projective algebras and unification problems in the two varieties (and the corresponding logics); both varieties are shown to have (strong) unitary unification type, and as a consequence they are structurally and universally complete. |
|---|