| Authors: | Edeghagba, Elijah Eghosa Šešelja, Branimir Tepavčević, Andreja |
Affiliations: | Computer Science Mathematical Institute of the Serbian Academy of Sciences and Arts |
Title: | Separability Condition in Omega Algebras | Series/Report no.: | Lecture Notes in Networks and Systems | Volume: | LNNS 1340 | First page: | 293 | Last page: | 307 | Related Publication(s): | Proceedings of Fourth International Conference on Engineering Mathematics and Computing | Issue Date: | 2025 | Rank: | M33 | ISBN: | 978-981-96-4031-7 978-981-96-4032-4 |
ISSN: | 2367-3370 | DOI: | 10.1007/978-981-96-4032-4_19 | Abstract: | The paper deals with Omega algebras, as an algebraic extension of Omega sets. Omega (Ω) is a complete lattice and the equality relation in an algebra is replaced by a symmetric, transitive, and compatible lattice-valued map, acting as the characteristic function of the equality and congruences on subalgebras. We aim to investigate properties of Omega algebras related to the separability condition which may be imposed on this Ω-valued map. We show that the presence or absence of this condition implies considerable various features of Ω-algebras, related mostly to the satisfiability of identities and solving the approximate equations. We also present several constructions of Ω-algebras with or without this property. |
Keywords: | Identities | Omega algebra | Separability property | Publisher: | Springer Link |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.