{"id":"arxiv/2603.13916","url":"https://arxiv.org/abs/2603.13916","tags":["math.RA","math.LO"],"score":0,"title":"Implicit operations in varieties of commutative monoids","domain":"math.RA","source":"arxiv","authors":["Luca Carai","Miriam Kurtzhals","Tommaso Moraschini"],"reviews":0,"subject":"math.RA","summary":"An implicit operation of a class of similar algebras $\\mathsf{K}$ is a collection of first order definable partial functions on the members of $\\mathsf{K}$ that is globally preserved by homomorphisms. For instance, \"taking inverses\" can be viewed as a unary implicit operation of the class of all monoids because its graph on a given monoid is defined by the equation $xy \\thickapprox 1 \\thickapprox yx$ and monoid homomorphisms preserve existing inverses. As this example demonstrates, the implicit operations of a class $\\mathsf{K}$ need not be given by a term of $\\mathsf{K}$. We show that an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-14","reactions":{}}