Authors: Edeghagba, Elijah Eghosa
Šešelja, Branimir
Tepavčević, Andreja 
Title: Congruences and Homomorphisms on Ω -algebras
Journal: Kybernetika
Volume: 53
Issue: 5
First page: 892
Last page: 910
Issue Date: 1-Jan-2017
Rank: M23
ISSN: 0023-5954
DOI: 10.14736/kyb-2017-5-0892
The topic of the paper are -algebras, where is a complete lattice. In this research we deal with congruences and Ω-homomorphisms. An -algebra is a classical algebra which is not assumed to satisfy particular identities and it is equipped with an -valued equality instead of the ordinary one. Identities are satisfied as lattice theoretic formulas. We introduce -valued congruences, corresponding quotient -algebras and -Ω-homomorphisms and we investigate connections among these notions. We prove that there is an -Ω-homomorphism from an -algebra to the corresponding quotient -algebra. The kernel of an -Ω-homomorphism is an -valued congruence. When dealing with cut structures, we prove that an -Ω-homomorphism determines classical Ω-homomorphisms among the corresponding quotient structures over cut subalgebras. In addition, an -congruence determines a closure system of classical congruences on cut subalgebras. Finally, identities are preserved under -Ω-homomorphisms.
Keywords: Congruence | Homomorphism | Lattice-valued algebra
Publisher: Academy of Sciences of the Czech Republic, Institute of Information Theory and Automation
Project: Development of methods of computation and information processing: theory and applications 

Show full item record


checked on May 23, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.