Show simple item record

dc.creatorOlivos, Elenaes
dc.date2017-05-02
dc.date.accessioned2026-09-25T13:07:09Z
dc.date.available2026-09-25T13:07:09Z
dc.identifierhttps://www.revistaproyecciones.cl/index.php/proyecciones/article/view/1523
dc.identifier10.4067/S0716-09172008000200006
dc.identifier.urihttps://revistaschilenas.uchile.cl/handle/2250/256466
dc.descriptionAlgebraic systems with partial operations have different ways to interpret equality between two terms of the language. A strong identity is a formula which says that two terms are equal in the algebra if the existence of one of them implies the existence of the other one and in the case of existence their values are equal. A class of partial algebras defined by a set of strong identities is called a strong variety. In the characterization of strong varieties in the case of partial algebras by means of a Birkhoff-type theorem there appeared a new concept, regularity of partial homomorphisms and partial subalgebras. Here we define and study these operators from two different perspectives.Firstly, in their relation with other well known concecpts of partial homomorphisms and partial subalgebras, as well as with the po-monoid of Pigozzi for the H, S and P operators. Secondly, in regard to the preservation of the different types of formulae that represent equality in the case of partial algebras for these operators. Finally, we give a characterization of the strong varieties as classes closed under regular homomorphisms, regular subalgebras, direct products and that satisfy a closure condition.es
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Católica del Norte.en
dc.relationhttps://www.revistaproyecciones.cl/index.php/proyecciones/article/view/1523/2040
dc.rightsCopyright (c) 2008 Proyecciones. Journal of Mathematicsen
dc.rightshttps://creativecommons.org/licenses/by/4.0en
dc.sourceProyecciones (Antofagasta); Vol. 27 No. 2 (2008); 201-217en
dc.sourceProyecciones. Revista de Matemática; Vol. 27 Núm. 2 (2008); 201-217es
dc.source0717-6279
dc.source10.22199/issn.0717-6279-2008
dc.titleA Birkhoff type theorem for strong varietieses
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


This item appears in the following Collection(s)

Show simple item record