Product preservation and stable units for reflections into idempotent subvarieties

Document Type : Research Paper

Authors

1 Department of Mathematics, University of Aveiro, Portugal.

2 CIDMA - Center for Research and Development in Mathematics and Applications, Department of Mathematics, University of Aveiro, Portugal.

10.29252/cgasa.13.1.1

Abstract

We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety. It is also shown that simple and semi-left-exact reflections into subvarieties of universal algebras are the same. It then follows that a reflection of a variety of universal algebras into an idempotent subvariety has stable units if and only if it is simple and the above-mentioned condition holds.

Keywords


[1] Borceux, F. and Janelidze, G., "Galois Theories", Cambridge University Press, 2000.
[2] Carboni, A., Janelidze, G., Kelly, G.M., and Paré, R., On localization and stabilization for factorization systems, Appl. Categ. Structures 5 (1997), 1-58.
[3] Cassidy, C., Hébert, M., and Kelly, G.M., Reflective subcategories, localizations and factorization systems, J. Aust. Math. Soc. 38A (1985), 287-329.
[4] Even, V., A Galois-theoretic approach to the covering theory of quandles, Appl. Categ. Structures 22 (2014), 817-831.
[5] Grillet, P.A., "Abstract Algebra", 2nd ed., Springer, 2007.
[6] Janelidze, G., Laan, V., and Márki, L., Limit preservation properties of the greatest semilattice image functor, Internat. J. Algebra Comput. 18(5) (2008), 853-867.
[7] Mac Lane, S., "Categories for the Working Mathematician", 2nd ed., Springer, 1998.
[8] Xarez, I.A., "Reflections of Universal Algebras into Semilattices, their Galois Theories and Related Factorization Systems", University of Aveiro, Ph.D. Thesis, 2013.
[9] Xarez, I.A. and Xarez, J.J., Galois theories of commutative semigroups via semilattices, Theory Appl. Categ. 28(33) (2013), 1153-1169.
[10] Xarez, J.J., Generalising connected components, J. Pure Appl. Algebra 216(8-9) (2012), 1823-1826.