Semilattice modes. I: The associated semiring
type: Item
instance of: scholarly article
title: Semilattice modes. I: The associated semiring
zbMATH Open document ID: 0848.08005
DOI: 10.1007/BF01204784
published in: Algebra Universalis
publication date: 1996-10-15T00:00:00Z
review text: A mode \({\mathbf A}\) is an idempotent, entropic algebra, so any basic operation \(f\) of \({\mathbf A}\) satisfies \(f(x,...,x) = x\) and any two term operations of arities \( m\) and \(n\) satisfy \[ f ( g(u_{11}, \dots, u_{1n}), \dots, g (u_{m1}, \dots, u_{mn})) = g (f(u_{11}, \dots, u_{m1}), \dots, f (u_{1n}, \dots, u_{mn})), \] where \([u_{ij}]\) is an \(m \times n\) matrix of elements of \(A\). Clearly, since modes are equationally defined, any mode generates a variety of modes. This paper considers semilattice modes which are modes with a binary term satisfying the conditions for a semilattice and shows that each variety of semilattice modes can be associated with a semilattice ring. For these purposes, a semiring is an algebra \(R = \langle R,+, \cdot, 0,1 \rangle\) of type \(\langle 2,2,0,0 \rangle\) such that \(\langle R,+,0 \rangle\) is a commutative monoid, \(\langle R, \cdot, 1,0 \rangle\) is a monoid with zero and \(\cdot\) both left and right distributes over \(+\). A semimodule over a semiring is defined in the obvious way. The semirings of interest here satisfy the additional law \(1 + r = 1\). It is easy to verify that in this situation \(+\) is idempotent, and so both \(\langle R, + \rangle\) and any semimodule over \(R\) are semilattices. Let \(F_{\mathcal V} (x,y)\) be the free algebra of rank two in a variety \({\mathcal V}\) of semilattice modes, and let \(R\) be the subset of \(F_{\mathcal V} (x,y)\) consisting of those terms \(t\) satisfying \(t + y = y\). For any \(t \in F_{\mathcal V} (x,y)\), \(e_t\) denotes the endomorphism of \(F_{\mathcal V} (x,y)\) determined by \(x \mapsto t\), \(y \mapsto y\). For any \(s,t \in F_{\mathcal V} (x,y)\), \(s \circ t\) denotes \(e_t (s)\). Then the algebra \(R ({\mathcal V}) = \langle R,+, \circ, x + y, y \rangle\) is a commutative semiring satisfying \(1 + r = 1\). Moreover, the subdirectly irreducible elements of \({\mathcal V}\) may be interpreted as semimodules over \(R({\mathcal V})\). In this pap…
reviewed by: Sheila Oates-Williams
Mathematics Subject Classification ID: 08B99
Mathematics Subject Classification ID: 16Y60
zbMATH DE Number: 819276
zbMATH Keywords: varieties
zbMATH Keywords: entropic algebra
zbMATH Keywords: semilattice modes
zbMATH Keywords: semilattice ring
zbMATH Keywords: semimodule over a semiring
zbMATH Keywords: free algebra
zbMATH Keywords: congruence extension property
author: Keith A. Kearnes
MaRDI profile type: Publication
cites work: A note on the congruence extension property
cites work: Finite fixed point algebras are subdiagonalisable
cites work: Residual bounds for varieties of modules
cites work: Semilattice modes. II: The amalgamation property
cites work: Residual smallness relativized to congruence types. I
cites work: Q3691785
cites work: Q3346381
full work available at URL: https://doi.org/10.1007/bf01204784
OpenAlex ID: W2060788067
description: scientific article; zbMATH DE number 819276