A BIRKHOFF TYPE THEOREM FOR STRONG VARIETIES

doi:10.4067/S0716-09172008000200006

Servicios Personalizados

Articulo

Indicadores

Citado por SciELO

Links relacionados

Similares en SciELO

Bookmark

Proyecciones (Antofagasta)

versión impresa ISSN 0716-0917

Proyecciones (Antofagasta) v.27 n.2 Antofagasta ago. 2008

doi: 10.4067/S0716-09172008000200006

Proyecciones Journal of Mathematics
Vol. 27, Nº 2, pp. 201-217, August 2008.
Universidad Católica del Norte
Antofagasta - Chile

A BIRKHOFF TYPE THEOREM FOR STRONG VARIETIES

ELENA OLIVOS

Universidad de la Frontera, Chile.

Correspondencia a:

Abstract
Algebraic 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.

REFERENCES
[1] Börner F. Varieties of partial algebras. Contributions to Algebra and Geometry, 37 N°2, pp. 259-287,         [ Links ](1996).
[2] Burmeister P., A Model Theoretic Oriented Approach to Partial Algebras. Akademie-Verlag, Berlín,         [ Links ](1986).
[3] Burris S. and Sankappanavar H., A Course in Universal Algebra. Springer Verlag, New York Inc.         [ Links ](1981).
[4] Grätzer G. Universal Algebras. D. Van Nostrand Company, Inc. Princeton.         [ Links ](1968).
[5] Mikenberg I. A Closure for Partial Algebras. In Mathematical Logic in Latin America. Arruda, Da Costa, Chuaqui editors. North Holland Pub. Co. Amsterdam, (1980).         [ Links ]
[6] D. Pigozzi, On some operations on classes of algebras. Algebra Universalis. Vol.2,pp. pp. 346-353.         [ Links ](1972).
[7] Staruch B. and Staruch B. Strong regular varieties of partial algebras. Algebra Universalis, 31, pp. 157-176,         [ Links ](1994).

ELENA OLIVOS
Departamento de Matemática y Estadística
Universidad de la Frontera
Temuco
Chile
e-mail : eolivos@ufro.cl

Received : January 2008. Accepted : July 2008