Scholarlink

The paper deals with Omega algebras, as an algebraic extension of Omega sets. Omega ( \(\varOmega \) ) 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 \(\varOmega \) -valued map. We show that the presence or absence of this condition implies considerable various features of \(\varOmega \) -algebras, related mostly to the satisfiability of identities and solving the approximate equations. We also present several constructions of \(\varOmega \) -algebras with or without this property.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Separability Condition in Omega Algebras

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Elijah Eghosa Edeghagba,
  • Branimir Šešelja,
  • Andreja Tepavčević

摘要

The paper deals with Omega algebras, as an algebraic extension of Omega sets. Omega ( \(\varOmega \) ) 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 \(\varOmega \) -valued map. We show that the presence or absence of this condition implies considerable various features of \(\varOmega \) -algebras, related mostly to the satisfiability of identities and solving the approximate equations. We also present several constructions of \(\varOmega \) -algebras with or without this property.