Implicit operations in varieties of commutative monoids
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914393340510208 |
|---|---|
| author | Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso |
| author_facet | Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso |
| contents | 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 equational class of commutative monoids can be expanded with enough implicit operations so that every implicit operation can be interpolated by a family of terms if and only, in each of its members, for every $a$ there exists some $b$ such that $a = a^2b$, i.e., the class consists of inverse monoids. Our methods build on the interaction of the theory of implicit operations with Grillet's description of finitely generated subdirectly irreducible commutative semigroups and the combinatorics deriving from an extension of Isbell's Zigzag Theorem to all equational classes of commutative monoids. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_13916 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Implicit operations in varieties of commutative monoids Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso Rings and Algebras Logic 20M14, 20M07, 18A20, 20M18, 03C05 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 equational class of commutative monoids can be expanded with enough implicit operations so that every implicit operation can be interpolated by a family of terms if and only, in each of its members, for every $a$ there exists some $b$ such that $a = a^2b$, i.e., the class consists of inverse monoids. Our methods build on the interaction of the theory of implicit operations with Grillet's description of finitely generated subdirectly irreducible commutative semigroups and the combinatorics deriving from an extension of Isbell's Zigzag Theorem to all equational classes of commutative monoids. |
| title | Implicit operations in varieties of commutative monoids |
| topic | Rings and Algebras Logic 20M14, 20M07, 18A20, 20M18, 03C05 |
| url | https://arxiv.org/abs/2603.13916 |