Author:
Fearnley-Sander Desmond,Stokes Tim
Abstract
As part of an attempt to capture abstractly the most fundamental properties of algebraic reasoning involving equality, we introduce the notion of an equality algebra. It is a universal algebra A endowed with a binary function =iA × A → L, where L is a meet-semilattice with top element 1, called internalised equality, and satisfying, for all x, y ∈ A,1. (x =ix) = 1; and2. (x =iy)f(x) = (x =iy)f(y), where f is any function A → L derived from the Operations on A, the semilattice operations, and = i.We charecterise internalised equalities in terms of finetly many identities, give examples, and show that all are equivalent to internalised equalities defined in terms of congruences on the underlying algebra. In the special case in which A is an Abelian group or ring, the internalised equality is shown to be equivalent to the dual of a norm-like mapping taking values in semilattice.
Publisher
Cambridge University Press (CUP)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Groups with fix-set quasi-order;Algebra universalis;2015-08-12
2. Equivalent Beliefs in Dynamic Doxastic Logic;Outstanding Contributions to Logic;2013-10-23
3. Well-structured program equivalence is highly undecidable;ACM Transactions on Computational Logic;2012-08
4. Axioms for function semigroups with agreement quasi-order;Algebra universalis;2011-09-20
5. VARIETIES OF EQUALITY STRUCTURES;International Journal of Algebra and Computation;2003-08