# Equational theories of idempotent semifields
**Authors**: G. Metcalfe and S. Santschi
assertionAssertion conjectureConjecture definitionDefinition hypothesisHypothesis remarkRemark noteNote observationObservation problemProblem questionQuestion algorithmAlgorithm exampleExample notationNotation 12K10, 16Y60, 03C05, 06F15 Supported by Swiss National Science Foundation (SNSF) grant No. 200021_215157.
## Abstract
This paper provides answers to several open problems about equational theories of idempotent semifields. In particular, it is proved that (i) no equational theory of a non-trivial class of idempotent semifields has a finite basis; (ii) there are continuum-many equational theories of classes of idempotent semifields; and (iii) the equational theory of the class of idempotent semifields is co-NP-complete. This last result is also used to determine the complexity of deciding the existence of a right order on a free group or free monoid satisfying finitely many given inequalities.
## 1 Introduction
An idempotent semiring is an algebraic structure $⟨{S,\vee,·,{\rm e}}⟩$ satisfying
1. $⟨{S,·,{\rm e}}⟩$ is a monoid;
1. $⟨{S,\vee}⟩$ is a semilattice (i.e., an idempotent commutative semigroup); and
1. $a(b\vee c)d=abd\vee acd$ for all $a,b,c,d∈ S$ .
If $⟨{S,·,{\rm e}}⟩$ is the monoid reduct of a group, then $⟨{S,\vee,·,{\rm e}}⟩$ is called an idempotent semifield. Such structures arise naturally in many areas of mathematics, including idempotent analysis, formal language theory, tropical geometry, and mathematical logic; for details and further references, see [6, 7, 8]. Alternative definitions of an idempotent semiring (also known as a dioid or an ai-semiring) may be found in the literature that differ with respect to the presence and/or role of constant symbols in the signature. In particular, an idempotent semiring is sometimes defined without ${\rm e}$ , where $⟨{S,·}⟩$ is required to be a semigroup, and sometimes with both ${\rm e}$ and a further constant symbol $0 0$ , where $0 0$ is interpreted as the neutral element of $\vee$ . In the latter case, the definition of an idempotent semifield is changed so that $⟨{S{∖}\{0\},·,{\rm e}}⟩$ is the monoid reduct of a group. As explained in Section 5, however, our results extend also to these settings.
Any idempotent semifield $⟨{S,\vee,·,{\rm e}}⟩$ expanded with the group inverse operation -1 and lattice meet operation $\wedge$ defined by setting $a\wedge b:={({a}^-1\vee{b}^-1)}^-1$ is a lattice-ordered group ( $\ell$ -group, for short): an algebraic structure $⟨{L,\wedge,\vee,·,{}^-1,{\rm e}}⟩$ such that $⟨{L,·,{}^-1,{\rm e}}⟩$ is a group; $⟨{L,\wedge,\vee}⟩$ is a lattice with an order defined by $x≤ y\>:\Longleftrightarrow\>x\vee y=y$ ; and multiplication is order-preserving, i.e., $a≤ b\>\Longrightarrow\>cad≤ cbd$ , for all $a,b,c,d∈ L$ . Indeed, idempotent semifields are precisely the semiring reducts of $\ell$ -groups.
In this paper, we provide answers to several open problems about equational theories of idempotent semifields and related structures. Although these problems have been solved for $\ell$ -groups, restricting to fewer operations requires the development of new proof methods and yields notably different results.
In order to present these results, let us first recall some basic terminology. A signature ${L}$ is a set of operation symbols with finite arities, and an ${L}$ -algebra $A$ consists of a non-empty set $A$ equipped with an $n$ -ary function on $A$ for each operation symbol of ${L}$ of arity $n$ . An ${L}$ -term is built inductively using the operation symbols of ${L}$ and a countably infinite set of variables, and the ${L}$ -term algebra $Tm({L})$ consists of the set of ${L}$ -terms equipped with the term-building operation symbols of ${L}$ . An ${L}$ -equation is an ordered pair of ${L}$ -terms $s,t$ , written $s≈ t$ , and is satisfied by an ${L}$ -algebra $A$ , written $A\models s≈ t$ , if $φ(s)=φ(t)$ , for any homomorphism $φ\colonTm({L})→A$ . Given any class of ${L}$ -algebras $K$ and set of ${L}$ -equations $Σ$ , we denote by $K\modelsΣ$ that $A\models s≈ t$ for all $A∈K$ and $s≈ t∈Σ$ . The equational theory ${\rm Eq}(K)$ of a class of ${L}$ -algebras $K$ is the set of all ${L}$ -equations $s≈ t$ such that $K\models s≈ t$ .
In Section 2, we provide a complete answer to the finite basis problem for idempotent semifields. Let $K$ be any class of ${L}$ -algebras, and call it non-trivial if at least one of its members is non-trivial, i.e., has more than one element. A basis for the equational theory of $K$ is a set of equations $Σ⊆{\rm Eq}(K)$ such that every equation in ${\rm Eq}(K)$ is a logical consequence of $Σ$ , that is, if $A\modelsΣ$ for some ${L}$ -algebra $A$ , then $A\models{\rm Eq}(K)$ . If ${\rm Eq}(K)$ has a finite basis, then $K$ is said to be finitely based. Notably, the equational theory of the $\ell$ -group $⟨{{ℤ},\min,\max,+,-,0}⟩$ is finitely based, but this is not the case for the semifield $⟨{{ℤ},\max,+,0}⟩$ or any other totally ordered semifield [1, Theorem 48]. Indeed, although countably infinitely many equational theories of $\ell$ -groups have a finite basis (see, e.g., [2, Section 7.2]), we prove here that:
There is no non-trivial class of idempotent semifields that is finitely based.
In Section 3, we determine the number of equational theories of classes of idempotent semifields. Using a technique of ‘inverse elimination’ to translate between equations in the different signatures, we obtain a one-to-one correspondence between a family of equational theories of $\ell$ -groups that is known to be uncountable and equational theories of certain classes of idempotent semifields, thereby proving:
There are continuum-many equational theories of classes of idempotent semifields.
In Section 4, we establish the complexity of deciding equations in the class of idempotent semifields. The equational theory of the class of $\ell$ -groups is known to be co-NP-complete [5, Theorem 8.3] and we prove here that this is also the case for the restricted signature, that is:
The equational theory of the class of idempotent semifields is co-NP-complete.
We also use this result to show that the problem of deciding if there exists a right order on the free $n$ -generated group ( $n≥ 2$ ) whose positive cone contains a given finite set of elements is NP-complete and that the same is true for the problem of deciding if there exists a right order on the free countably infinitely generated monoid that satisfies a given finite set of inequalities.
Finally, in Section 5, we extend the results of the paper to related structures considered in the literature: expansions of idempotent semifields with the meet operation, ${\rm e}$ -free reducts of idempotent semifields, and idempotent semifields extended with a neutral element $0 0$ for the join operation.
## 2 The finite basis problem
Let ${L}_m$ and ${L}_s$ be the signatures of monoids and idempotent semirings, respectively. Following [11], let the flat extension of an ${L}_m$ -algebra $M=⟨{M,·,{\rm e}}⟩$ be the ${L}_s$ -algebra $\flat(M)=⟨{M∪\{⊤\},\vee,⋆,{\rm e}}⟩$ , where $⊤\not∈ M$ and for all $a,b∈ M∪\{⊤\}$ ,
$$
a⋆ b:=\begin{cases}a· b&if a,b∈ M\\
⊤&otherwise\end{cases} and a\vee b:=\begin{cases}a
&if a=b\\
⊤&otherwise.\end{cases}
$$
It is easily confirmed that if $M$ is a monoid, then $⟨{M∪\{⊤\},⋆,{\rm e}}⟩$ is a monoid, $⟨{M∪\{⊤\},\vee}⟩$ is a semilattice of height one, and $⊤$ is an absorbing element for both the binary operations of $\flat(M)$ . The following result provides a necessary and sufficient condition for $\flat(M)$ to be an idempotent semiring.
**Lemma 2.1 (cf.[12, Lemma 2.2])**
*Let $M$ be any monoid. Then $\flat(M)$ is an idempotent semiring if and only if $M$ is cancellative, i.e., $cad=cbd\>\Longrightarrow\>a=b$ , for all $a,b,c,d∈ M$ .*
**Proof 2.2**
*Suppose first that $\flat(M)$ is an idempotent semiring and $cad=cbd$ for some $a,b,c,d∈ M$ . Then $c(a\vee b)d=cad\vee cbd=cad≠⊤$ , so $a\vee b≠⊤$ and $a=b$ . For the converse, suppose that $M$ is cancellative and consider any $a,b,c,d∈ M$ . If $b=c$ , then, clearly, $a(b\vee c)d=abd\vee acd$ . Otherwise, $b≠ c$ and, by cancellativity, $abd≠ acd$ , so $a(b\vee c)d=a⊤ d=⊤=abd\vee acd$ .*
Consider now the monoid reduct $Z=⟨{{ℤ},+,0}⟩$ of the additive integer group, and monoid reducts $Z_n=⟨{Z_n,·,{\rm e}}⟩$ of the cyclic groups of order $n∈{ℕ}^>0$ . Since these monoids are cancellative, their flat extensions, $\flat(Z)$ and $\flat(Z_n)$ ( $n∈{ℕ}^>0$ ), are idempotent semirings with a flat semilattice structure, as depicted in Figure 1. We will prove first that the equational theory of any finitely based class of idempotent semirings $K$ is satisfied by $\flat(Z)$ if and only if it is satisfied by $\flat(Z_p)$ for every prime $p$ greater than some suitably large $n∈{ℕ}$ (Corollary 2.11). We will then show that the equational theory of any non-trivial class of idempotent semifields is satisfied by $\flat(Z)$ , but not by $\flat(Z_n)$ for any $n∈{ℕ}^>0$ , thereby establishing that the class is not finitely based (Theorem A).
$⊤$ $-2$ $-1$ $0 0$ $1$ $2$ $\dots$ %**** MetSan˙Dec6.tex Line 225 **** $\dots$
$⊤$ $\dots$ ${\rm e}$ $a$ $a^2$ $a^n-1$
Figure 1: Hasse diagrams of $\flat(Z)$ and $\flat(Z_n)$ .
For a signature ${L}$ containing the binary operation symbol $\vee$ , we call an ${L}$ -equation of the form $s\vee t≈ t$ , often written $s≤ t$ , an ${L}$ -inequation. We call an ${L}_s$ -inequation simple if it is of the form $s≤ t_1\vee⋯\vee t_n$ , where $s,t_1,\dots,t_n$ are ${L}_m$ -terms, and call this simple ${L}_s$ -inequation left-regular if each variable occurring in $s$ occurs in at least one of $t_1,\dots,t_n$ .
**Remark 2.3**
*Clearly, an idempotent semiring satisfies an ${L}_s$ -equation $s≈ t$ if and only it satisfies the ${L}_s$ -inequations $s≤ t$ and $t≤ s$ . Hence, using the distributivity of multiplication over binary joins and the fact that $a\vee b≤ c\iff a≤ c and b≤ c$ for all elements $a,b,c$ of an idempotent semiring, there exists an algorithm that produces for every ${L}_s$ -equation $ε$ , a finite set $Σ$ of simple ${L}_s$ -inequations such that an arbitrary idempotent semiring satisfies $ε$ if and only if it satisfies $Σ$ .*
**Remark 2.4**
*If an idempotent semiring satisfies a simple ${L}_s$ -inequation that is not left-regular, then — by substituting all variables, except for one that occurs on the left and not the right, with ${\rm e}$ — it must also satisfy $x^n≤{\rm e}$ for some $n∈{ℕ}^>0$ . Hence, reasoning contrapositively, if a simple ${L}_s$ -inequation is satisfied by an idempotent semiring containing an element greater than ${\rm e}$ , it must be left-regular.*
For a signature ${L}$ , an ${L}$ -quasiequation is an ordered pair consisting of a finite set of ${L}$ -equations $Σ$ and an ${L}$ -equation $s≈ t$ , written $Σ⇒ s≈ t$ , and is satisfied by an ${L}$ -algebra $A$ if for any homomorphism $φ\colonTm({L})→A$ , whenever $φ(s^\prime)=φ(t^\prime)$ for all $s^\prime≈ t^\prime∈Σ$ , also $φ(s)=φ(t)$ . Given any simple ${L}_s$ -inequation $ε=(s≤ t_1\vee⋯\vee t_n)$ , we define a corresponding ${L}_m$ -quasiequation
$$
Q(ε):=\{t_1≈ t_2,\dots,t_1≈ t_n\}⇒ t_
1≈ s.
$$
**Lemma 2.5**
*Let $M$ be any monoid. Then for any left-regular simple ${L}_s$ -inequation $ε$ ,
$$
\flat(M)\modelsε\iffM\models Q(ε).
$$*
**Proof 2.6**
*Let $ε=(s≤ t_1\vee⋯\vee t_n)$ be any left-regular simple ${L}_s$ -inequation. For the left-to-right direction, suppose contrapositively that $M\not\models Q(ε)$ . Then $φ(t_1)=⋯=φ(t_n)$ and $φ(t_1)≠φ(s)$ for some homomorphism $φ\colonTm({L}_m)→M$ . Let $\hat{φ}\colonTm({L}_s)→\flat(M)$ be the homomorphism defined by setting $\hat{φ}(x):=φ(x)$ for every variable $x$ . Clearly, $\hat{φ}(u)=φ(u)$ for each ${L}_m$ -term $u$ and therefore $\hat{φ}(t_1\vee⋯\vee t_n)=\hat{φ}(t_1)\vee⋯\vee \hat{φ}(t_n)=φ(t_1)\vee⋯\veeφ(t_n)=φ(t_1) ≠φ(s)=\hat{φ}(s)$ . But $φ(t_1),φ(s)∈ M$ , so $\hat{φ}(t_1\vee⋯\vee t_n)\not≤\hat{φ}(s)$ . Hence $\flat(M)\not\modelsε$ . For the converse direction, suppose contrapositively that $\flat(M)\not\modelsε$ . Then $ψ(s)\nleqψ(t_1\vee⋯\vee t_n)$ for some homomorphism $ψ\colonTm({L}_s)→\flat(M)$ . It follows from the definition of the order of $\flat(M)$ that $ψ(t_1\vee⋯\vee t_n)≠⊤$ and $ψ(t_1)=⋯=ψ(t_n)≠⊤$ . Hence, since $ε$ is left-regular, $ψ(x)∈ M$ for every variable $x$ occurring in $ε$ , and there exists a homomorphism $\hat{ψ}\colonTm({L}_m)→M$ satisfying $\hat{ψ}(x)=ψ(x)$ for all such $x$ . Clearly, $\hat{ψ}(t_1)=⋯=\hat{ψ}(t_n)$ and $\hat{ψ}(t_1)≠\hat{ψ}(s)$ . So $M\not\models Q(ε)$ .*
**Remark 2.7**
*The right-to-left direction of Lemma 2.5 does not hold for all simple ${L}_s$ -inequations that are not left-regular; e.g., $Z_2\models∅⇒{\rm e}≈ x^2$ , but $\flat(Z_2)\not\models x^2≤{\rm e}$ .*
**Lemma 2.8**
*Let $Δ$ be any finite set of ${L}_m$ -quasiequations. Then $Z\modelsΔ$ if and only if there exists an $n∈{ℕ}$ such that $Z_p\modelsΔ$ for every prime $p>n$ .*
**Proof 2.9**
*For the right-to-left direction, suppose that there exists an $n∈{ℕ}$ such that $Z_p\modelsΔ$ for every $p∈ P_n:=\{p∈{ℕ}\mid$p>n$ and $p$ is prime\}$ . Since $Δ$ is a set of ${L}_m$ -quasiequations, $∏_p∈ P_{n}Z_p\modelsΔ$ . The projection maps $π_p\colonZ→Z_p$ $(p∈ P_n)$ induce an embedding of $Z$ into $∏_p∈ P_{n}Z_p$ , so also $Z\modelsΔ$ . For the converse direction, suppose that $Z\modelsΔ$ . Let $T$ be a set of first-order sentences axiomatizing the class of Abelian groups and let $α$ be the conjunction of the ${L}_m$ -quasiequations in $Δ$ . Since an ${L}_m$ -quasiequation is satisfied by all torsion-free Abelian groups if and only if it is satisfied by $Z$ , it follows that $T∪\{\{x^k≈{\rm e}\}⇒ x≈{\rm e}\mid k∈{ℕ} \}\modelsα$ . By compactness, there exists an $n∈{ℕ}$ such that $T∪\{\{x^k≈{\rm e}\}⇒ x≈{\rm e}\mid k∈{ℕ} and k≤ n\}\modelsα$ . Hence $Z_p\modelsΔ$ for every prime $p>n$ .*
**Proposition 2.10**
*Let $Σ$ be any finite set of left-regular simple ${L}_s$ -inequations. Then $\flat(Z)\modelsΣ$ if and only if there exists an $n∈{ℕ}$ such that $\flat(Z_p)\modelsΣ$ for every prime $p>n$ .*
Let $Δ:=\{Q(ε)\midε∈Σ\}$ . Then
| | $\displaystyle\flat(Z)\modelsΣ$ | $\displaystyle\iffZ\modelsΔ$ | (Lemma 2.5) | |
| --- | --- | --- | --- | --- |
**Corollary 2.11**
*Let $K$ be any finitely based class of idempotent semirings. Then $\flat(Z)\models{\rm Eq}(K)$ if and only if there exists an $n∈{ℕ}$ such that $\flat(Z_p)\models{\rm Eq}(K)$ for every prime $p>n$ .*
**Proof 2.12**
*By assumption and Remark 2.3, there exists a finite basis $Σ$ for ${\rm Eq}(K)$ that consists of simple ${L}_s$ -inequations. Moreover, by Remark 2.4, every simple ${L}_s$ -inequation satisfied by $\flat(M)$ for some monoid $M$ is left-regular. Hence $\flat(Z)\modelsΣ$ if and only there exists an $n∈{ℕ}$ such that $\flat(Z_p)\modelsΣ$ for every prime $p>n$ , by Proposition 2.10. The claim therefore follows directly using the fact that $Σ$ is a basis for ${\rm Eq}(K)$ .*
**Theorem A**
*There is no non-trivial class of idempotent semifields that is finitely based.*
**Proof 2.13**
*Let $K$ be any non-trivial class of idempotent semifields. Consider first any $n∈{ℕ}^>0$ . Since the ${L}_s$ -inequation $x≤{\rm e}\vee x^n$ is satisfied by all $\ell$ -groups, it belongs to ${\rm Eq}(K)$ . On the other hand, $Z_n\not\models\{x^n≈{\rm e}\}⇒ x≈{\rm e}$ yields $\flat(Z_n)\not\models x≤{\rm e}\vee x^n$ , by Lemma 2.5, so $\flat(Z_n)\not\models{\rm Eq}(K)$ . Hence, by Corollary 2.11, to show that $K$ is not finitely based, it suffices to prove that $\flat(Z)\models{\rm Eq}(K)$ . Moreover, by Remark 2.3, it suffices to show that $\flat(Z)$ satisfies every simple ${L}_s$ -inequation in ${\rm Eq}(K)$ , recalling that, by Remark 2.4, since $K$ is non-trivial, these simple ${L}_s$ -inequations are all left-regular. Let $ε=(s≤ t_1\vee⋯\vee t_n)$ be any left-regular simple ${L}_s$ -inequation and suppose contrapositively that $\flat(Z)\not\modelsε$ . Then $Z\not\models Q(ε)$ , by Lemma 2.5, i.e., there exists a homomorphism $φ\colonTm({L}_m)→Z$ such that $φ(t_1)=⋯=φ(t_n)$ and $φ(t_1)≠φ(s)$ . Moreover, we can assume that $φ(t_1)<φ(s)$ in the standard order on ${ℤ}$ , and let $\hat{φ}\colonTm({L}_s)→⟨{{ℤ},\max, +,0}⟩$ be the homomorphism defined by setting $\hat{φ}(x):=φ(x)$ for each variable $x$ . Then $\hat{φ}(s)=φ(s)>φ(t_1)=\hat{φ}(t_1)=\max\{\hat{ φ}(t_1),\dots,\hat{φ}(t_n)\}=\hat{φ}(t_1\vee⋯\vee t _n)$ . So $⟨{{ℤ},\max,+,0}⟩\not\modelsε$ . Now consider any non-trivial $A∈K$ and $a∈ A$ with $a>{\rm e}$ . The homomorphism induced by mapping $1$ to $a$ embeds $⟨{{ℤ},\max,+,0}⟩$ into $A$ , so also $A\not\modelsε$ and $ε\not∈{\rm Eq}(K)$ .*
Let us remark finally that the approach followed in this section to establish Theorem A extends to a broader class of idempotent semirings. More precisely, there is no finitely based class of idempotent semirings $K$ such that $\flat(Z)\models{\rm Eq}(K)$ and $K\models x≤{\rm e}\vee x^n$ for every $n∈{ℕ}^>0$ . In particular, the class of totally ordered idempotent semirings is not finitely based, which follows also from [1, Theorem 48].
## 3 The number of equational theories
For any countable signature ${L}$ and class of ${L}$ -algebras $K$ , there can be at most continuum-many equational theories of subclasses of $K$ . In particular, although there are just two equational theories of classes of commutative idempotent semifields — ${\rm Eq}(⟨{{ℤ},\max,+,0}⟩)$ and the set of all ${L}_s$ -equations — the maximum number is attained in the setting of commutative idempotent semirings.
**Proposition 3.1**
*There are continuum-many equational theories of classes of commutative idempotent semirings.*
**Proof 3.2**
*For any set of primes $P$ , let $Σ_P$ denote the equational theory of the class of commutative idempotent semirings satisfying $x≤{\rm e}\vee x^p$ for all $p∈ P$ . We show that $Σ_P≠Σ_Q$ for any two distinct sets of primes $P$ and $Q$ , and hence that there are continuum-many such equational theories. Consider, without loss of generality, $p∈ P{∖}Q$ . Then $x≤{\rm e}\vee x^p∈Σ_P$ . But also, since $Z_p\not\models\{{\rm e}≈ x^p\}⇒{\rm e}≈ x$ and $Z_p\models\{{\rm e}≈ x^q\}⇒{\rm e}≈ x$ for all $q∈ Q$ , it follows from Lemma 2.5 that $\flat(Z_p)\not\models x≤{\rm e}\vee x^p$ and $\flat(Z_p)\models x≤{\rm e}\vee x^q$ for all $q∈ Q$ . So $x≤{\rm e}\vee x^p\not∈Σ_Q$ .*
To prove that the maximum number of equational theories is attained also in the setting of idempotent semifields (Theorem B), we make use of a corresponding result for a certain class of $\ell$ -groups. Note first that, unlike idempotent semifields, $\ell$ -groups form a variety: a class of algebras of the same signature that is closed under taking homomorphic images, subalgebras, and direct products — or, equivalently, by Birkhoff’s theorem, an equational class. Equational theories of classes of $\ell$ -groups are therefore in one-to-one correspondence with varieties of $\ell$ -groups. In particular, equational theories of classes of totally ordered groups correspond to varieties of $\ell$ -groups that are representable, that is, subalgebras of direct products of totally ordered groups. For further details and references, we refer to [2].
Let ${L}_g$ and ${L}_\ell$ be the signatures of groups and $\ell$ -groups, respectively. A crucial role in our proof of Theorem B will be played by the following result, recalling that a variety $V_1$ is defined relative to a variety $V_2$ by a set of equations $Σ$ if $V_1$ consists of all the members of $V_2$ that satisfy $Σ$ :
**Theorem 3.3 ([13, Theorem 1])**
*There are continuum-many varieties defined relative to the variety of representable $\ell$ -groups by a set of ${L}_g$ -equations.*
To prove that there are continuum-many equational theories of classes of idempotent semifields, it therefore suffices, by Theorem 3.3, to show that any two varieties defined relative to the variety of representable $\ell$ -groups by sets of ${L}_g$ -equations can be distinguished by an ${L}_s$ -equation. As we show below, such equations can be obtained by ‘eliminating inverses’ from ${L}_\ell$ -inequations.
Let us say that a variety $V$ of $\ell$ -groups has the product-splitting property if for any ${L}_\ell$ -terms $s,t,u$ and any variable $y$ that does not occur in $s,t,u$ ,
$$
V\models{\rm e}≤ u\vee st\iffV\models{\rm e}≤ u\vee sy
\vee{y}^-1t.
$$
**Lemma 3.4**
*Let $V$ be any variety that is defined relative to the variety of representable $\ell$ -groups by a set of ${L}_g$ -equations. Then $V$ has the product-splitting property.*
**Proof 3.5**
*Consider any ${L}_\ell$ -terms $s,t,u$ and any variable $y$ that does not occur in $s,t,u$ . Suppose first that $V\models{\rm e}≤ u\vee st$ . Every $\ell$ -group satisfies the ${L}_s$ -quasiequation $\{{\rm e}≤ x\vee yz\}⇒{\rm e}≤ x\vee y\vee z$ (cf. [5, Lemma 3.3]), so also $V\models{\rm e}≤ u\vee sy\vee{y}^-1t$ . Now suppose that $V\not\models{\rm e}≤ u\vee st$ . Since $V$ is a variety of representable $\ell$ -groups, there exists a totally ordered group $L∈V$ and homomorphism $φ\colonTm({L}_\ell)→L$ satisfying ${\rm e}>φ(u\vee st)=φ(u)\veeφ(s)φ(t)$ and therefore also ${\rm e}>φ(u)$ and ${φ(s)}^-1>φ(t)$ . Let $M$ be the totally ordered group consisting of the direct product of the group reducts of $L$ and $Q=⟨{{ℚ},\min,\max,+,-,0}⟩$ equipped with the lexicographic order on $L×{ℚ}$ . Clearly, $ψ\colonL→M;\>a↦⟨{a,0}⟩$ is an embedding of $L$ into $M$ . Note that $Q∈V$ , since the variety of Abelian $\ell$ -groups is the unique atom in the subvariety lattice of the variety of $\ell$ -groups (see [2]). Moreover, since the group reduct of $M$ is the direct product of the group reducts of $L$ and $Q$ , any ${L}_g$ -equation satisfied by $L$ and $Q$ — in particular, those defining $V$ relative to the variety of representable $\ell$ -groups — is satisfied by $M$ . So $M∈V$ . Now let $\hat{φ}\colonTm({L}_\ell)→M$ be the homomorphism defined by setting $\hat{φ}(y):=⟨{φ(t),1}⟩$ and $\hat{φ}(x)=ψφ(x)=⟨{φ(x),0}⟩$ for each variable $x≠ y$ . Since $y$ does not occur in $s,t,u$ , clearly $\hat{φ}(u)=⟨{φ(u),0}⟩$ , ${\hat{φ}(s)}^-1=⟨{{φ(s)}^-1,0}⟩$ , and $\hat{φ}(t)=⟨{φ(t),0}⟩$ . So $\hat{φ}({\rm e})=⟨{{\rm e},0}⟩>\hat{φ}(u)$ and ${\hat{φ}(s)}^-1>\hat{φ}(y)>\hat{φ}(t)$ , yielding $\hat{φ}({\rm e})=⟨{{\rm e},0}⟩>\hat{φ}(s)\hat{φ} (y)=\hat{φ}(sy)$ and $\hat{φ}({\rm e})=⟨{{\rm e},0}⟩>{\hat{φ}(y)}^-1\hat{ φ}(t)=\hat{φ}({y}^-1t)$ , and then, combining these inequalities, $\hat{φ}({\rm e})=⟨{{\rm e},0}⟩>\hat{φ}(u\vee sy\vee{y} ^-1t)$ . Hence $V\not\models{\rm e}≤ u\vee sy\vee{y}^-1t$ .*
**Remark 3.6**
*The proof of Lemma 3.4 establishes that every variety $V$ defined relative to the variety of representable $\ell$ -groups by a set of ${L}_g$ -equations is densifiable, that is, every totally ordered member of $V$ embeds into a dense totally ordered member of $V$ . Clearly, every densifiable variety of representable $\ell$ -groups has the product-splitting property; indeed, densifiability is equivalent to a slightly stronger version of this property in the broader setting of semilinear residuated lattices (see [15] for details).*
Observe next that if $V$ is a variety of $\ell$ -groups that has the product-splitting property, then for any ${L}_\ell$ -terms $r,s,t,u,v$ and variable $y$ that does not occur in $r,s,t,u,v$ ,
| | $\displaystyleV\models u≤ v\vee s{r}^-1t\>\iff\>$ | $\displaystyleV\models{\rm e}≤ v{u}^-1\vee s{r}^-1t{u}^-1$ | |
| --- | --- | --- | --- |
Let us call an ${L}_\ell$ -inequation $ε$ basic if it is of the form $s≤ t_1\vee⋯\vee t_n$ for an ${L}_m$ -term $s$ and ${L}_g$ -terms $t_1,\dots,t_n$ . For any basic ${L}_\ell$ -inequation $ε$ , the ${L}_s$ -inequation $ε^⋆$ is defined recursively as follows:
1. If $ε=(s≤ t_1\vee⋯\vee t_n)$ is an ${L}_s$ -inequation, let $ε^⋆:=ε$ ; otherwise, let $i∈\{1,\dots,n\}$ be minimal such that $t_i=u{x}^-1v$ for some ${L}_m$ -term $u$ , and let
$$
ε^⋆:=(xys≤ xyt_1\vee⋯\vee xyt_i-1\vee xyuxs\vee v
\vee xyt_i+1\vee⋯\vee xyt_n)^⋆.
$$
An induction on the number of occurrences in $ε$ of the inverse operation symbol establishes:
**Proposition 3.7**
*Let $V$ be any variety of $\ell$ -groups that has the product-splitting property. Then $V\modelsε\iffV\modelsε^⋆$ for any basic ${L}_\ell$ -inequation $ε$ .*
**Theorem B**
*There are continuum-many equational theories of classes of idempotent semifields.*
**Proof 3.8**
*By Theorem 3.3, there are continuum-many varieties defined relative to the variety of representable $\ell$ -groups by ${L}_g$ -equations, and, by Lemma 3.4, all these varieties have the product-splitting property. For each such variety $V$ , let $Σ_V$ be the equational theory of the class of the idempotent semiring reducts of the members of $V$ . Consider now any two distinct varieties $V_1$ and $V_2$ defined relative to the variety of representable $\ell$ -groups by sets of ${L}_g$ -equations. Without loss of generality, there exists a basic ${L}_\ell$ -inequation $ε$ such that $V_1\modelsε$ and $V_2\not\modelsε$ . But then also $V_1\modelsε^⋆$ and $V_2\not\modelsε^⋆$ , by Proposition 3.7, and since $ε^⋆$ is an ${L}_s$ -equation, $Σ_V_1≠Σ_V_2$ . Hence there are continuum-many equational theories of classes of idempotent semifields.*
## 4 The complexity of the equational theory of the class of idempotent semifields
The equational theory of the variety of Abelian $\ell$ -groups is co-NP-complete [18, Theorem 1], but it follows from the fact that linear programming is solvable in polynomial time that checking if a basic ${L}_\ell$ -inequation is satisfied by all Abelian $\ell$ -groups belongs to P. On the other hand, not only the equational theory of the variety $LG$ of $\ell$ -groups [5, Theorem 8.3], but also, as we show here, checking if a basic ${L}_\ell$ -inequation is satisfied by $LG$ , are co-NP-complete, and hence the same is true for the equational theory of the class of idempotent semifields (Theorem C). Indeed, we establish this result by giving a polynomial reduction of the problem of checking the satisfaction of certain ${L}_\ell$ -inequations by $LG$ that is known to be co-NP-hard, to the problem of checking the satisfaction of certain simple ${L}_s$ -inequations by the class of idempotent semifields.
Let us say that a variety $V$ of $\ell$ -groups has the meet-splitting property if for any ${L}_\ell$ -terms $s,t,u$ and variable $y$ that does not occur in $s,t,u$ ,
$$
V\models{\rm e}≤ u\vee(s\wedge t)\iffV\models{\rm e}≤ u
\vee sy\vee t{y}^-1.
$$
**Lemma 4.1**
*The variety of $\ell$ -groups has the product-splitting and meet-splitting properties.*
**Proof 4.2**
*The fact that $LG$ has the product-splitting property is established in [3, Lemma 4.1]. To establish the left-to-right direction of the meet-splitting property for $LG$ , it suffices to show that $LG\models u\vee(s\wedge t)≤ u\vee sy\vee t{y}^-1$ ; just note that for any $L∈LG$ and $a,b,c,d∈ L$ , since ${\rm e}≤ d\vee{d}^-1$ ,
$$
a\vee(b\wedge c)≤ a\vee(b\wedge c)(d\vee{d}^-1)=a\vee(b\wedge c)d\vee(b
\wedge c){d}^-1≤ a\vee bd\vee c{d}^-1.
$$
For the converse, let $s,t,u$ be any ${L}_\ell$ -terms, let $y$ be a variable that does not occur in $s,t,u$ , and suppose that $LG\not\models{\rm e}≤ u\vee(s\wedge t)$ . Using lattice-distributivity, we may assume that $LG\not\models{\rm e}≤ u\vee s$ , the case where $LG\not\models{\rm e}≤ u\vee t$ being very similar. An ${L}_\ell$ -equation is satisfied by $LG$ if and only if it is satisfied by the $\ell$ -group $Aut(⟨{{ℝ},≤}⟩)$ consisting of the group of order-preserving bijections of the totally ordered set $⟨{{ℝ},≤}⟩$ equipped with the pointwise lattice-order [9, Corollary to Lemma 3]. Hence $Aut(⟨{{ℝ},≤}⟩)\not\models{\rm e}≤ u\vee s$ , and there exists a homomorphism $φ\colonTm({L}_\ell)→Aut(⟨{{\mathbb {R}},≤}⟩)$ and $q∈{ℝ}$ such that $(q)φ_u<q$ and $(q)φ_s<q$ , where we assume that order-preserving bijections act on $⟨{{ℝ},≤}⟩$ from the right, and write $φ_v$ for $φ(v)$ . We obtain a homomorphism $\hat{φ}\colonTm({L}_\ell)→Aut(⟨{{ ℝ},≤}⟩)$ by defining $\hat{φ}_x:=φ_x$ for every variable $x≠ y$ and defining $\hat{φ}_y$ such that $(q)φ_s\hat{φ}_y=(q)φ_s<q$ and $(q)φ_t<(q)\hat{φ}_y$ . Note that such a definition of $\hat{φ}_y$ is possible because $(q)\hat{φ}_y$ can be chosen to be arbitrarily large and any partial order-preserving injective map on $⟨{{ℝ},≤}⟩$ extends linearly to a member of $Aut(⟨{{ℝ},≤}⟩)$ . It follows, since $y$ does not occur in $s,t,u$ , that $(q)\hat{φ}_u=(q)φ_u<q$ , $(q)\hat{φ}_s\hat{φ}_y=(q)φ_s\hat{φ}_y=(q) φ_s<q$ , and $(q)\hat{φ}_t=(q)φ_t<(q)\hat{φ}_y$ . Hence $LG\not\models{\rm e}≤ u\vee sy\vee t{y}^-1$ .*
**Remark 4.3**
*No non-trivial proper subvariety of $LG$ has the meet-splitting property. It follows easily from [14, Example 13] that the ${L}_\ell$ -equation ${\rm e}≤(x\vee{\rm e})^2{z}^-1\vee{(x\vee{\rm e})}^-1z\vee{(x\vee{\rm e })}^-1$ is satisfied by every proper subvariety of $LG$ ; indeed, it axiomatizes the variety of normal-valued $\ell$ -groups, the unique co-atom in the subvariety lattice of $\ell$ -groups, relative to $LG$ . Hence, if a proper subvariety of $LG$ has the meet-splitting property, it satisfies also ${\rm e}≤{(x\vee{\rm e})}^-1$ and is trivial.*
**Proposition 4.4**
*The problem of checking if a basic ${L}_\ell$ -inequation is satisfied by the variety of $\ell$ -groups is co-NP-complete.*
**Proof 4.5**
*Since checking if an ${L}_\ell$ -inequation is satisfied by $LG$ belongs to co-NP [5, Theorem 8.3], it suffices to present a polynomial time algorithm that given input with an ${L}_\ell$ -equation $ε$ of the form
$$
\bigwedge_i∈ I\bigvee_j∈ J_{i}s_ij≤\bigvee_k∈ K\bigwedge_l
∈ L_{k}t_kl\vee u_kl,
$$
where each $s_ij$ , $t_kl$ , and $u_kl$ is an ${L}_g$ -term, outputs a basic ${L}_\ell$ -inequation $δ$ that has size polynomial in the size of $ε$ such that $LG\modelsε\iffLG\modelsδ$ . This is a consequence of the fact that the problem of checking validity in $LG$ of such ${L}_\ell$ -equations is co-NP-hard, since this is the case even for distributive lattice equations of this form, where each $s_ij$ , $t_kl$ , and $u_kl$ is a variable [10, Corollary 2.7]. First, we do a little preprocessing, using the fact that $LG$ has the product-splitting property for the third equivalence:
| | $\displaystyleLG\modelsε$ | $\displaystyle\iffLG\models{\rm e}≤(\bigvee_k∈ K\bigwedge_l∈ L _{k}t_kl\vee u_kl){(\bigwedge_i∈ I\bigvee_j∈ J_{i}s_ij)}^-1$ | |
| --- | --- | --- | --- |
Hence we may assume without loss of generality that $ε$ is an ${L}_\ell$ -equation of the form ${\rm e}≤ u_1\vee⋯\vee u_n$ , where each $u_i$ is a meet of binary joins of ${L}_g$ -terms, and let $S$ be the size of $ε$ , so that at most $S$ ${L}_g$ -terms and at most $S$ meets occur in $ε$ . If $ε$ contains no meets, it is a basic ${L}_\ell$ -inequation of the required form. Otherwise, suppose that $u_1=s_1\wedge⋯\wedge s_m$ such that $s_i=s_i1\vee s_i2$ and let $u:=u_2\vee⋯\vee u_n$ . By choosing distinct variables $y_1,\dots,y_m$ that do not occur in $ε$ and using the meet-splitting property repeatedly,
| | $\displaystyleLG\modelsε$ | $\displaystyle\iffLG\models{\rm e}≤ u\vee(s_1\wedge⋯\wedge s _m)$ | |
| --- | --- | --- | --- |
Let $ε^\prime$ be the ${L}_\ell$ -equation ${\rm e}≤ u\vee s_11y_1\vee s_12y_1\vee(\bigvee_i=2^ms_i1{y}^ -1_1⋯{y}^-1_i-1y_i\vee s_i2{y}^-1_1⋯{y}^-1_i-1y_ i)$ , observing that $ε^\prime$ has the same number of ${L}_g$ -terms as $ε$ , and that each of these ${L}_g$ -terms has size at most $2S$ . Hence, repeating this procedure for $u_2,\dots,u_n$ , we obtain in polynomial time a basic ${L}_\ell$ -inequation $δ$ of size at most $2S^2$ such that $LG\modelsε\iffLG\modelsδ$ .*
**Proposition 4.6**
*The problem of checking if a simple ${L}_s$ -inequation is satisfied by the class of semifields (or, equivalently, by the variety of $\ell$ -groups) is co-NP-complete.*
**Proof 4.7**
*Recall that $LG$ has the product-splitting property, by Lemma 4.1. Hence, it suffices, by Propositions 4.4 and 3.7, to present a polynomial time algorithm that given a basic ${L}_\ell$ -inequation $ε$ of the form $s≤ t_1\vee⋯\vee t_k$ as input produces the simple ${L}_s$ -inequation $ε^⋆$ as output, where the size of $ε^⋆$ is polynomial in the size of $ε$ . Let $S$ be the size of $ε$ and recall the recursive definition of $ε^⋆$ from Section 3. The number of inverses in $ε$ is bounded by $S$ and decreases in every step of the recursive definition, so the algorithm stops after at most $S$ steps and yields the ${L}_s$ -inequation $ε^⋆$ . Moreover, each step increases the length of the ${L}_m$ -term on the left of the basic ${L}_\ell$ -inequation by $2$ and increases by $1$ the number of ${L}_g$ -terms on the right. The length of the ${L}_m$ -term on the left is therefore at most $3S$ and the number of ${L}_g$ -terms is at most $2S$ in every step. It follows that in every step the size of the ${L}_s$ -inequation is increased by at most $3S+2· 2S=7S$ and hence $ε^⋆$ is of size at most $7S^2+S$ . It is also clear that $ε^⋆$ can be computed from $ε$ in polynomial time.*
As an immediate consequence of Proposition 4.6 we obtain the main result of this section.
**Theorem C**
*The equational theory of the class of idempotent semifields is co-NP-complete.*
We conclude this section by using Theorem C and a correspondence established in [4] to prove complexity results also for the existence of right orders on free groups and monoids satisfying finitely many constraints. Recall first that a right order on a monoid $M$ is a total order $≤$ on $M$ such that $a≤ b\>\Longrightarrow\>ac≤ bc$ for any $a,b,c∈{M}$ . For a set $X$ we let $F_g(X)$ and $F_m(X)$ denote the free group and free monoid with generators in $X$ , respectively, assuming for convenience that ${\rm F}_g(X)⊆{\rm Tm}({L}_g)$ and ${\rm F}_m(X)⊆{\rm Tm}({L}_m)$ .
**Theorem 4.8 ([4, Theorem 2])**
*For any set $X$ and $s_1,…,s_n∈{\rm F}_g(X)$ , there exists a right order $≤$ on $F_g(X)$ satisfying ${\rm e}<s_1,\dots,{\rm e}<s_n$ if and only if $LG\not\models{\rm e}≤ s_1\vee⋯\vee s_n$ .*
**Corollary 4.9**
*The problem of checking for a set $X$ with $\lvert X\rvert≥ 2$ and $s_1,…,s_n∈{\rm F}_g(X)$ if there exists a right order $≤$ on $F_g(X)$ satisfying ${\rm e}<s_1,\dots,{\rm e}<s_n$ is NP-complete.*
**Proof 4.10**
*Observe first that when $X$ is an infinite set, the claim follows directly from Proposition 4.4 and Theorem 4.8. To establish the claim in full generality, it suffices, by Theorem 4.8, to consider the case where $\lvert X\rvert=2$ . Let $X:=\{x_1,x_2\}$ and $Y:=\{y_n\mid n∈{ℕ}\}$ . It is well-known that $F_g(Y)$ is isomorphic to the commutator subgroup $G$ of $F_g(X)$ generated by elements of the form $[x_1^k,x_2^l]$ with $k,l∈{ℤ}{∖}\{0\}$ (see, e.g., [17, Theorem 11.48]). In particular, for any bijection $π\colon({ℤ}{∖}\{0\})^2→{ℕ}$ , we can define an isomorphism $φ\colonF_g(Y)→G$ such that $φ(y_π(⟨{k,l⟩)}):=[x_1^k,x_2^l]$ for $k,l∈{ℤ}{∖}\{0\}$ . Moreover, since $F_g(X)/G≅⟨{{ℤ}^2,+,-,⟨{0,0} ⟩}⟩$ , there exists a right order $\preceq$ on the group $F_g(X)/G$ . Hence, for any right order $≤$ on $G$ , we obtain a right order $≤^∗$ on $F_g(X)$ that extends $≤$ by setting
$$
s≤^∗t\>:\Longleftrightarrow\>Gs\prec Gt or (Gs=Gt
and s≤ t).
$$
It follows that there exists a right order on $F_g(Y)$ satisfying ${\rm e}<s_1,\dots,{\rm e}<s_n$ , for some given $s_1,…,s_n∈{\rm F}_g(Y)$ , if and only if there exists a right order on $F_g(X)$ satisfying ${\rm e}<φ(s_1),\dots,{\rm e}<φ(s_n)$ . Finally, note that $π$ can be chosen such that $φ(s_i)$ is computable in polynomial time from $s_i$ for each $i∈\{1,\dots,n\}$ , and its size is polynomial in the sum of the sizes of $s_1,\dots,s_n$ .*
By [3, Corollary 3.4], every right order on $F_m(X)$ extends to a right order on $F_g(X)$ . Hence it follows from Theorem 4.8 that $LG\not\models s≤ t_1\vee⋯\vee t_n$ , where $s,t_1,\dots,t_n∈{\rm F}_m(X)$ , if and only if there exists a right order $≤$ on $F_m(X)$ with $s<t_1,\dots,s<t_n$ . Proposition 4.6 therefore implies that the problem of checking for any $s,t_1,\dots,t_n∈{\rm F}_m(ω)$ if there exists a right order $≤$ on $F_m(ω)$ satisfying $s<t_1,\dots,s<t_n$ is NP-complete. Therefore:
**Corollary 4.11**
*The problem of checking for any $s_1,\dots,s_n,t_1,\dots,t_n∈{\rm F}_m(ω)$ if there exists a right order $≤$ on $F_m(ω)$ satisfying $s_1<t_1,\dots,s_n<t_n$ is NP-complete.*
Note that it does not follow directly from the previous results that Corollary 4.11 is true when $F_m(ω)$ is replaced by $F_m(X)$ for a set $X$ with $2≤\lvert X\rvert<ω$ , the main obstacle being that the translation $φ$ in the proof of Corollary 4.9 introduces new inverses, while the elimination of inverses in the proof of Proposition 4.6 introduces new variables.
## 5 Related structures
In this final section, we show that the results of the previous sections extend in many cases to other classes of algebraic structures that are closely related to idempotent semifields and $\ell$ -groups.
Let us remark first that expanding any idempotent semifield with the lattice meet operation produces a distributive $\ell$ -monoid: an algebraic structure $⟨{L,\wedge,\vee,·,{\rm e}}⟩$ such that $⟨{L,·,{\rm e}}⟩$ is a monoid; $⟨{L,\wedge,\vee}⟩$ is a distributive lattice; and multiplication distributes over binary meets and joins. It follows directly from Theorem B that there are continuum-many equational theories of classes of distributive $\ell$ -monoids with an idempotent semifield reduct, and from Theorem C, that the equational theory of the class of distributive $\ell$ -monoids with an idempotent semifield reduct is co-NP-complete. Although not all distributive $\ell$ -monoids are meet-expansions of idempotent semifields (equivalently, inverse-free reducts of $\ell$ -groups), the equational theories of the classes of distributive $\ell$ -monoids and meet-expansions of idempotent semifields (equivalently, inverse-free reducts of $\ell$ -groups) coincide [3, Theorem 2.9]. Hence the equational theory of the class of meet-expansions of idempotent semifields is finitely based and an analogue of Theorem A does not hold in this setting. Note, however, that even though the equational theory of the variety of Abelian $\ell$ -groups is finitely based, this is not the case for the class of their inverse-free reducts [16, Theorem 2].
Recall next that idempotent semifields are sometimes formulated in the literature without the neutral element ${\rm e}$ in the signature, that is, as ${\rm e}$ -free reducts of idempotent semifields as defined in this paper. Observe, however, that a simple ${L}_s$ -inequation $s≤ t_1\vee⋯\vee s_n$ is satisfied by an idempotent semifield $S$ if and only if its ${\rm e}$ -free reduct satisfies $(xs)^∘≤(xt_1)^∘\vee⋯\vee(xs_n)^∘$ , where $x$ is any variable not occurring in $s,t_1,\dots,t_n$ , and $v^∘$ is obtained by removing all occurrences of ${\rm e}$ from an ${L}_s$ -term $v$ . Hence, we obtain easily the following analogues of Theorems A, B, and C: there is no non-trivial class of ${\rm e}$ -free reducts of idempotent semifields that is finitely based, there are continuum-many equational theories of classes of ${\rm e}$ -free reducts of idempotent semifields, and the equational theory of the class of ${\rm e}$ -free reducts of idempotent semifields is co-NP-complete.
Finally, recall that idempotent semirings are also sometimes formulated in the literature with both ${\rm e}$ and a constant symbol $0 0$ interpreted as the neutral element of $\vee$ . We show here that analogues of our Theorems A, B, and C also hold in this setting, using similar methods to [1, Section 4]. Let us call an algebraic structure $⟨{F,\vee,·,{\rm e},0}⟩$ an idempotent $0 0$ -semiring if $⟨{F,\vee,·,{\rm e}}⟩$ is an idempotent semiring with least element $0 0$ , and an idempotent 0-semifield if, additionally, $⟨{F{∖}\{0\},·,{\rm e}}⟩$ is the monoid reduct of a group. Clearly, if $F=⟨{F,\vee,·,{\rm e},0}⟩$ is an idempotent $0 0$ -semifield, then $F^*:=⟨{F{∖}\{0\},\vee,·,{\rm e}}⟩$ is an idempotent semifield. Conversely, given any idempotent semiring $S=⟨{S,\vee,·,{\rm e}}⟩$ and element $0\not∈ S$ , the algebraic structure $S_0:=⟨{S∪\{0\},\vee,·,{\rm e},0}⟩$ satisfying $0≤ a$ and $0· a=a· 0=0$ for all $a∈ S∪\{0\}$ , is an idempotent $0 0$ -semiring. In particular, if $S$ is an idempotent semifield, then $S_0$ is an idempotent $0 0$ -semifield. Moreover, $(F^*)_0=F$ for each idempotent $0 0$ -semifield $F$ , and $(S_0)^*=S$ for each idempotent semifield $S$ . Hence there is a one-to-one correspondence between classes of idempotent $0 0$ -semifields and classes of idempotent semifields implemented by the maps $K↦\{F^*\midF∈K\}$ and $K↦\{S_0\midS∈K\}$ .
**Remark 5.1**
*There is a linear time algorithm that given any term $t$ in the signature of idempotent $0 0$ -semirings, produces a smaller term $t^\prime$ that is either $0 0$ or an ${L}_s$ -term such that $t≈ t^\prime$ is satisfied by all idempotent $0 0$ -semirings that satisfy the absorption laws $x· 0≈ 0$ and $0· x≈ 0$ (in particular, all idempotent $0 0$ -semifields).*
Let us call a simple ${L}_s$ -inequation $s≤ t_1\vee⋯\vee t_n$ right-regular if every variable occurring in $t_1,\dots,t_n$ occurs in $s$ .
**Lemma 5.2**
*Let $S$ be any idempotent semiring. Then a right-regular simple ${L}_s$ -inequation is satisfied by $S$ if and only if it is satisfied by $S_0$ .*
**Proof 5.3**
*The right-to-left direction follows from the fact that $S$ is a subreduct of $S_0$ . For the left-to-right direction, it suffices to observe that a right-regular simple ${L}_s$ -inequation is satisfied by $S_0$ under any assignment that maps one of the variables occurring in it to $0 0$ .*
**Lemma 5.4**
*Let $S$ be any non-trivial idempotent semifield. Then for any simple ${L}_s$ -inequation $ε=(s≤ t_1\vee⋯\vee t_n)$ satisfied by $S$ , there exists a subset $\{t_i_1,\dots,t_i_{k}\}⊆\{t_1,\dots,t_n\}$ such that the simple ${L}_s$ -inequation $s≤ t_i_1\vee⋯\vee t_i_{k}$ is right-regular and $S\models s≤ t_i_1\vee⋯\vee t_i_{k}$ .*
**Proof 5.5**
*Note first that, since $S$ is non-trivial, there cannot be a variable $x$ that occurs in each of $t_1,\dots,t_n$ but not in $s$ ; otherwise, we could assign $x$ to some element $a<{\rm e}$ in $S$ and all other variables to ${\rm e}$ to arrive at a contradiction. Hence it suffices to prove that (assuming a suitable permutation of $t_1,\dots,t_n$ ) if a variable $x$ occurs in each of $t_k+1,\dots,t_n$ , but not in $s,t_1,\dots,t_k$ for some $k<n$ , then $S$ satisfies $s≤ t_1\vee⋯\vee t_k$ . In this way we can inductively eliminate all the terms on the right that contain a variable that does not occur in $s$ and obtain a right-regular simple ${L}_s$ -inequation. Suppose contrapositively that $S\not\models s≤ t_1\vee⋯\vee t_k$ , that is, there exists a homomorphism $φ\colonTm({L}_s)→S$ such that $φ(s)\not≤φ(t_1)\vee⋯\veeφ(t_k)$ . We may assume that for $i∈\{k+1,\dots,n\}$ , each $t_i$ is of the form $u_1xu_2x⋯ u_l-1xu_l$ , where $u_1,\dots,u_l$ do not contain $x$ , by inserting ${\rm e}$ where needed. Let $\hat{φ}\colonTm({L}_s)→S$ be the homomorphism defined by setting $\hat{φ}(y):=φ(y)$ for every variable $y≠ x$ and $\hat{φ}(x)$ to be the meet of all the elements of the form ${φ(u)}^-1\wedge{φ(u)}^-1φ(t_1){φ(v)}^-1$ such that $u,v$ are subterms of $t_k+1,\dots,t_n$ not containing $x$ . Then for each $i∈\{k+1,\dots,n\}$ and $t_i=u_1xu_2x⋯ u_l-1xu_l$ , where $u_1,\dots,u_l$ do not contain $x$ ,
| | $\displaystyle\hat{φ}(t_i)$ | $\displaystyle=φ(u_1)\hat{φ}(x)φ(u_2)\hat{φ}(x) ⋯φ(u_l-1)\hat{φ}(x)φ(u_l)$ | |
| --- | --- | --- | --- |
Hence $\hat{φ}(t_k+1)\vee⋯\vee\hat{φ}(t_n)≤φ(t_1)$ , so $\hat{φ}(s)=φ(s)\not≤φ(t_1)\vee⋯\veeφ(t_k)= \hat{φ}(t_1)\vee⋯\vee\hat{φ}(t_n)$ , and $S\not\models s≤ t_1\vee⋯\vee t_n$ .*
The equational theory of any non-empty class of idempotent $0 0$ -semifields containing exactly two elements has a finite basis consisting of the defining equations for bounded distributive lattices with meet operation $·$ , greatest element ${\rm e}$ , and least element $0 0$ . For convenience, let us call a class of idempotent $0 0$ -semifields non-Boolean if at least one of its members has more than two elements. Clearly, a class $K$ of idempotent $0 0$ -semifields is non-Boolean if and only if $K^*$ is non-trivial.
**Corollary 5.6**
*Every non-Boolean class of idempotent $0 0$ -semifields is not finitely based.*
**Proof 5.7**
*Suppose towards a contradiction that $K$ is a finitely based non-Boolean class of idempotent $0 0$ -semifields. Using Remark 5.1 and Lemma 5.4, we may assume that $Σ∪\{0≤ x,x· 0≈ 0,0· x≈ 0\}$ is a basis for ${\rm Eq}(K)$ for some finite set of right-regular simple ${L}_s$ -inequations $Σ$ . That is, $Σ∪\{0≤ x,x· 0≈ 0,0· x≈ 0\}⊆{ \rm Eq}(K)$ and ${\rm Eq}(K)$ is a logical consequence of $Σ∪\{0≤ x,x· 0≈ 0,0· x≈ 0\}$ . We claim that $Σ$ is a basis for ${\rm Eq}(K^*)$ , contradicting Theorem A. Observe first that $K\modelsε$ if and only if $K^*\modelsε$ , for any right-regular simple ${L}_s$ -inequation $ε$ , by Lemma 5.2, so $Σ⊆{\rm Eq}(K^*)⊆{\rm Eq}(K)$ . Now suppose that some idempotent semiring $A$ satisfies $Σ$ . Then $A_0$ satisfies $Σ$ , by Lemma 5.2, and $A_0$ therefore satisfies ${\rm Eq}(K)$ . So $A$ satisfies ${\rm Eq}(K^*)$ . Hence ${\rm Eq}(K^*)$ is a logical consequence of $Σ$ .*
If $K$ and $K^\prime$ are classes of idempotent semifields with distinct equational theories, then there is a simple ${L}_s$ -inequation that is satisfied by one and not the other, so $K_0$ and $K^\prime_0$ also have distinct equational theories, by Lemma 5.2 and Lemma 5.4. Hence, by Theorem B:
**Corollary 5.8**
*There are continuum-many equational theories of classes of idempotent $0 0$ -semifields.*
Finally, combining Remark 5.1, Lemma 5.2, Lemma 5.4, and Theorem C, we obtain:
**Corollary 5.9**
*The equational theory of the class of idempotent $0 0$ -semifields is co-NP-complete.*
## References
- [1] L. Aceto, Z. Ésik, and A. Ingólfsdóttir. Equational theories of tropical semirings. Theor. Comput. Sci., 298(3):417–469, 2003.
- [2] M.E. Anderson and T.H. Feil. Lattice-Ordered Groups: An Introduction. Springer, 1988.
- [3] A. Colacito, N. Galatos, G. Metcalfe, and S. Santschi. From distributive $\ell$ -monoids to $\ell$ -groups, and back again. J. Algebra, 601:129–148, 2022.
- [4] A. Colacito and G. Metcalfe. Ordering groups and validity in lattice-ordered groups. J. Pure Appl. Algebra, 223(12):5163–5175, 2019.
- [5] N. Galatos and G. Metcalfe. Proof theory for lattice-ordered groups. Ann. Pure Appl. Logic, 8(167):707–724, 2016.
- [6] J.S. Golan. Semirings and their Applications. Kluwer, 1999.
- [7] J. Gunawardena, editor. Idempotency, volume 11 of Publications of the Newton Institute. Cambridge University Press, 1998.
- [8] U. Hebisch and H.J. Weinert. Semi-rings and semi-fields. In M. Hazewinkel, editor, Handbook of Algebra, volume 1, pages 427–462. North Holland, 1995.
- [9] W.C. Holland. The largest proper variety of lattice-ordered groups. Proc. Amer. Math. Soc., 57:25–28, 1976.
- [10] H.B. Hunt III, D.J. Rosenkrantz, and P.A. Bloniarz. On the computational complexity of algebra on lattices. SIAM J. Comput., 16(1):129–148, 1987.
- [11] M. Jackson. Flat algebras and the translation of universal horn logic to equational logic. J. Symbolic Logic, 73(1):90–128, 2008.
- [12] M. Jackson, M. Ren, and X. Zhao. Nonfinitely based ai-semirings with finitely based semigroup reducts. J. Algebra, 611:211–245, 2022.
- [13] V.M. Kopytov and N.Y. Medvedev. Varieties of lattice-ordered groups. Algebra and Logic, 16:281–285, 1977.
- [14] S. McCleary. The word problem in free normal valued lattice-ordered groups: a solution and practical shortcuts. Algebra Universalis, 14:317–348, 1982.
- [15] G. Metcalfe, F. Paoli, and C. Tsinakis. Residuated Structures in Algebra and Logic, volume 277 of Mathematical Surveys and Monographs. American Mathematical Society, 2023.
- [16] V. B. Repnitskiĭ. Bases of identities of varieties of lattice-ordered semigroups. Algebra i Logika, 22(6):649–665, 720, 1983.
- [17] J.J. Rotman. An Introduction to the Theory of Groups, volume 148 of Graduate Texts in Mathematics. Springer, 4 edition, 1994.
- [18] V. Weispfenning. The complexity of the word problem for Abelian $l$ -groups. Theor. Comput. Sci., 48:127–132, 1986.
G. Metcalfe and S. Santschi Mathematical Institute, University of Bern, Sidlerstrasse 5, 3012 Bern Switzerland