Geodesic
Congruences and homomorphisms on $\Omega $-algebras
Kybernetika, Tome 53 (2017) no. 5, pp. 892-910

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

The topic of the paper are $\Omega$-algebras, where $\Omega$ is a complete lattice. In this research we deal with congruences and homomorphisms. An $\Omega$-algebra is a classical algebra which is not assumed to satisfy particular identities and it is equipped with an $\Omega$-valued equality instead of the ordinary one. Identities are satisfied as lattice theoretic formulas. We introduce $\Omega$-valued congruences, corresponding quotient $\Omega$-algebras and $\Omega$-homomorphisms and we investigate connections among these notions. We prove that there is an $\Omega$-homomorphism from an $\Omega$-algebra to the corresponding quotient $\Omega$-algebra. The kernel of an $\Omega$-homomorphism is an $\Omega$-valued congruence. When dealing with cut structures, we prove that an $\Omega$-homomorphism determines classical homomorphisms among the corresponding quotient structures over cut subalgebras. In addition, an $\Omega$-congruence determines a closure system of classical congruences on cut subalgebras. Finally, identities are preserved under $\Omega$-homomorphisms.
DOI : 10.14736/kyb-2017-5-0892
Classification : 06D72, 08A72
Keywords: lattice-valued algebra; congruence; homomorphism 
@article{10_14736_kyb_2017_5_0892,
     author = {Eghosa Edeghagba, Elijah and \v{S}e\v{s}elja, Branimir and Tepav\v{c}evi\'c, Andreja},
     title = {Congruences and homomorphisms on $\Omega $-algebras},
     journal = {Kybernetika},
     pages = {892--910},
     publisher = {mathdoc},
     volume = {53},
     number = {5},
     year = {2017},
     doi = {10.14736/kyb-2017-5-0892},
     mrnumber = {3750110},
     zbl = {06861631},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.14736/kyb-2017-5-0892/}
}
TY  - JOUR
AU  - Eghosa Edeghagba, Elijah
AU  - Šešelja, Branimir
AU  - Tepavčević, Andreja
TI  - Congruences and homomorphisms on $\Omega $-algebras
JO  - Kybernetika
PY  - 2017
SP  - 892
EP  - 910
VL  - 53
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14736/kyb-2017-5-0892/
DO  - 10.14736/kyb-2017-5-0892
LA  - en
ID  - 10_14736_kyb_2017_5_0892
ER  - 
%0 Journal Article
%A Eghosa Edeghagba, Elijah
%A Šešelja, Branimir
%A Tepavčević, Andreja
%T Congruences and homomorphisms on $\Omega $-algebras
%J Kybernetika
%D 2017
%P 892-910
%V 53
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14736/kyb-2017-5-0892/
%R 10.14736/kyb-2017-5-0892
%G en
%F 10_14736_kyb_2017_5_0892
Eghosa Edeghagba, Elijah; Šešelja, Branimir; Tepavčević, Andreja. Congruences and homomorphisms on $\Omega $-algebras. Kybernetika, Tome 53 (2017) no. 5, pp. 892-910. doi: 10.14736/kyb-2017-5-0892

Cité par Sources :