On the Possible Monoid Structures of the Natural Numbers N, or Finding All Associative Binary Operations on N

Elemer E Rosinger

DOI: https://doi.org/10.48550/arXiv.math/0508215

2005-08-12

General Mathematics

Abstract:A certain analysis of all possible associative binary operations on N is presented. This is equivalent with an analysis of all possible monoid structures on N. Several results and a conjecture in this regard are given.

What problem does this paper attempt to address?

Associative ideals in monoids

Volodymyr Zhuravlov

2024-03-21

Abstract:The article investigates the properties of associative ideals in monoids. Such ideals have some applications in the logic of non-standard sequences and category theory. The relations of these ideals with the verbal structure of words over generators are examined. Finitely and infinitely generated monoids are treated separately.

Group Theory,Logic
On algebraic properties of power monoids of numerical monoids

Pierre-Yves Bienvenu,Alfred Geroldinger

DOI: https://doi.org/10.1007/s11856-024-2683-0

2024-11-08

Israel Journal of Mathematics

Abstract:Let S ⊂ N 0 be a numerical monoid and let , resp. , denote the power monoid, resp. the restricted power monoid, of S , that is the set of all finite nonempty subsets of S , resp. the set of all finite nonempty subsets of S containing 0, with set addition as operation. The arithmetic of power monoids received some attention in recent literature. We complement these investigations by studying algebraic properties of power monoids, such as their prime spectrum. Moreover, we show that almost all elements of are irreducible (i.e., they are not proper sumsets).

mathematics
Notions of computation as monoids

EXEQUIEL RIVAS,MAURO JASKELIOFF

DOI: https://doi.org/10.1017/s0956796817000132

2017-01-01

Journal of Functional Programming

Abstract:Abstract There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article, we show that these three notions can be seen as instances of a unifying abstract concept: monoids in monoidal categories. We demonstrate that even when working at this high level of generality, one can obtain useful results. In particular, we give conditions under which one can obtain free monoids and Cayley representations at the level of monoidal categories, and we show that their concretisation results in useful constructions for monads, applicative functors, and arrows. Moreover, by taking advantage of the uniform presentation of the three notions of computation, we introduce a principled approach to the analysis of the relation between them.

computer science, software engineering
Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Robert D. Gray,Benjamin Steinberg

2024-04-26

Abstract:We show how topological methods developed in a previous article can be applied to prove new results about topological and homological finiteness properties of monoids. A monoid presentation is called special if the right-hand side of each relation is equal to $1$. We prove results which relate the finiteness properties of a monoid defined by a special presentation with those of its group of units. Specifically we show that the monoid inherits the finiteness properties $F_n$ and $FP_n$ from its group of units. We also obtain results which relate the geometric and cohomological dimensions of such a monoid to those of its group of units. We apply these results to prove a Lyndon's Identity Theorem for one-relator monoids of the form $\langle A \mid r=1 \rangle$. In particular we show that all such monoids are of type $F_{\infty}$ (and $FP_{\infty}$), and that when $r$ is not a proper power, then the monoid has geometric and cohomological dimension at most $2$. The first of these results resolves an important case of a question of Kobayashi from 2000 on homological finiteness properties of one-relator monoids. We also show how our topological approach can be used to prove results about the closure properties of various homological and topological finiteness properties for amalgamated free products and HNN-extensions of monoids. To prove these results we introduce new methods for constructing equivariant classifying spaces for monoids, as well as developing a Bass-Serre theory for free constructions of monoids.

Group Theory,Algebraic Topology,Rings and Algebras
On power monoids and their automorphisms

Salvatore Tringali,Weihao Yan

2024-08-16

Abstract:Endowed with the binary operation of set addition, the family $\mathcal P_{{\rm fin},0}(\mathbb N)$ of all finite subsets of $\mathbb N$ containing $0$ forms a monoid, with the singleton $\{0\}$ as its neutral element. We show that the only non-trivial automorphism of $\mathcal P_{{\rm fin},0}(\mathbb N)$ is the involution $X \mapsto \max X - X$. The proof leverages ideas from additive number theory and proceeds through an unconventional induction on what we call the boxing dimension of a finite set of integers, that is, the smallest number of (discrete) intervals whose union is the set itself.

Combinatorics,Number Theory,Rings and Algebras
Existence of monoids compatible with a family of mappings

Chris Preston

DOI: https://doi.org/10.48550/arXiv.0903.1084

2009-03-05

History and Overview

Abstract:These notes present an approach to obtaining monoid operations which are compatible with a given family of mappings in the sense that the mappings become left translations in the monoid. This can be applied to various situations such as the addition on the natural numbers and the integers as well as the concatenation of lists.
The catenary and tame degree of numerical monoids generated by generalized arithmetic sequences

Mahdi Omidali

DOI: https://doi.org/10.48550/arXiv.1001.1646

2010-01-14

Abstract:Studying ceratin combinatorial properties of non-unique factorizations have been a subject of recent literatures. Little is known about two combinatorial invariants, namely the catenary degree and the tame degree, even in the case of numerical monoids. In this paper we compute these invariants for a certain class of numerical monoids generated by generalized arithmetic sequences. We also show that the difference between the tame degree and the catenary degree can be arbitrary large even if the number of minimal generators is fixed.

Number Theory
Associativity and Commutativity of Partially Ordered Rings

Matthias Schötz

2024-06-16

Abstract:Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The main additional assumption is localizability of $\mu$, which essentially means that a certain canonical order on $M$ is compatible with adjoining some multiplicative inverses of elements of $M$. As an application we show that a division ring $\mathbb F$ is commutative provided that for all $a \in \mathbb F$ there exists a natural number $k$ such that $a-k$ is not a sum of products of squares. This generalizes the classical theorem that every archimedean ordered division ring is commutative to a more general class of formally real division rings that do not necessarily allow for an archimedean (total) order. Similar results about automatic associativity and commutativity are well-known for special types of partially ordered extended rings (``extended'' in the sense that neither associativity nor commutativity of the multiplication is required by definition), namely in the uniformly bounded and the lattice-ordered cases, i.e.~for (extended) $f$-rings. In these cases the commutative monoid in question is the positive cone of the partially ordered extended ring. We also discuss how these classical results can be obtained from our main theorem.

Rings and Algebras
The Inverse Semigroup Theory of Elementary Arithmetic

Peter M. Hines

DOI: https://doi.org/10.48550/arXiv.2206.07412

2022-06-28

Abstract:We curry the elementary arithmetic operations of addition and multiplication to give monotone injections on N, and describe & study the inverse monoids that arise from also considering their generalised inverses. This leads to well-known classic inverse monoids, as well as a novel inverse monoid (the 'arithmetic inverse monoid' A) that generalises these in a natural number-theoretic manner. Based on this, we interpret classic inverse semigroup theoretic concepts arithmetically, and vice versa. Composition and normal forms within A are based on the Chinese remainder theorem, and a minimal generating set corresponds to all prime-order polycyclic monoids. This then gives a close connection between Nivat & Perot's normal forms for polycyclic monoids, mixed-radix counting systems, and p-adic norms & distances.

Group Theory
Combinatorial $N_\infty$ operads

Jonathan Rubin

DOI: https://doi.org/10.2140/agt.2021.21.3513

2020-08-15

Abstract:We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and Hill in the affirmative.

Algebraic Topology
Associative spectra of binary operations

Béla Csákány,Tamás Waldhauser

DOI: https://doi.org/10.48550/arXiv.1102.2124

2011-02-10

Rings and Algebras

Abstract:The distance of a binary operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Particular instances and general properties of associative spectra are studied.
Minimal counting systems and commutative monoids

Chris Preston

DOI: https://doi.org/10.48550/arXiv.0902.2180

2009-02-12

History and Overview

Abstract:These notes present an approach to obtaining the basic operations of addition and multiplication on the natural numbers in terms of elementary results about commutative monoids.
Monotone Catenary Degree in Numerical Monoids

Daniel Gonzalez Cedre,Cameron Wright,Jenna Zomback

DOI: https://doi.org/10.48550/arXiv.1912.08114

2022-01-18

Abstract:Recent investigations on the catenary degrees of numerical monoids have demonstrated that this invariant is a powerful tool in understanding the factorization theory of this class of monoids. Although useful, the catenary degree is largely not sensitive to the lengths of factorizations of an element. In this paper, we study the monotone catenary degree of numerical monoids, which is a variant of catenary degree that requires chains run through factorization lengths monotonically. In general, the monotone catenary is greater than or equal to the catenary degree. We begin by providing an important class of monoids (arithmetical numerical monoids) for which monotone catenary degree is equal to the catenary degree. Conversely, we provide several classes of embedding dimension 3 numerical monoids where monotone catenary degree is strictly greater. We conclude by showing that this difference can grow arbitrarily large.

Commutative Algebra
On the free commutative monoid over a positive operad

Dominique Manchon,Hedi Regeiba,Imen Rjaiba,Yannic Vargas

2024-01-18

Abstract:We give the explicit description of the NPL-operad structure on the free commutative monoid $\mathbf E\circ \mathbf q$ generated by a given positive operad $\mathbf q$. We propose to name NPL-operad a weak form of operad in which the nested associativity axiom is weakened down to a nested pre-Lie condition. This structure is new up to our knowledge.

Combinatorics
A monoid-theoretical approach to infinite direct-sum decompositions of modules

Zahra Nazemian,Daniel Smertnig

2024-01-16

Abstract:Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $\kappa$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $\kappa$-indexed direct sums, and study the resulting $\kappa$-monoid $V^{\kappa}(\mathcal C)$.

Rings and Algebras
Towards an Enumeration of Finite Common Meadows

João Dias,Bruno Dinis

2024-06-07

Abstract:Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term $\mathbf{a}$ which is absorbent for addition. We study the problem of enumerating all finite common meadows of \emph{order} $n$ (that is, common meadows with $n$ elements). This problem turns out to be deeply connected with both the number of finite rings of order $n$ and with the number of a certain kind of partition of positive integers.

Rings and Algebras
The associative-commutative spectrum of a binary operation

Jia Huang,Erkko Lehtonen

DOI: https://doi.org/10.1016/j.disc.2023.113535

IF: 0.961

2023-06-09

Discrete Mathematics

Abstract:We initiate the study of a quantitative measure for the failure of a binary operation to be commutative and associative. We call this measure the associative-commutative spectrum as it extends the associative spectrum (also known as the subassociativity type), which measures the nonassociativity of a binary operation. In fact, the associative-commutative spectrum (resp. associative spectrum) is the cardinality of the operad with (resp. without) permutations obtained naturally from a groupoid (a set with a binary operation). In this paper we provide some general results on the associative-commutative spectrum, precisely determine this measure for certain binary operations, and propose some problems for future study.

mathematics
Atomicity of positive monoids

Scott T. Chapman,Marly Gotti

DOI: https://doi.org/10.2989/16073606.2024.2352875

2024-06-04

Quaestiones Mathematicae

Abstract:An additive submonoid of the nonnegative cone of the real line is called a positive monoid. Positive monoids consisting of rational numbers (also known as Puiseux monoids) have been the subject of several recent papers. Moreover, those generated by a geometric sequence have also received a great deal of recent attention. Our purpose is to survey many of the recent advances regarding positive monoids, and we provide numerous examples to illustrate the complexity of their atomic and arithmetic structures.

mathematics
A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings

Andreas Philipp

DOI: https://doi.org/10.48550/arXiv.1104.0293

2011-04-02

Abstract:The investigation and classification of non-unique factorization phenomena has attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P.A. García-Sánchez, together with several co-authors, derived a method to calculate the catenary and tame degree from the monoid of relations. Then, in [1], the algebraic structure of this approach was investigated and the restriction to finitely generated monoids was removed. We now extend these ideas further to the monotone catenary degree and then apply all these results to the explicit computation of arithmetical invariants of semigroup rings. [1] A. Philipp. A characterization of arithmetical invariants by the monoid of relations. Semigroup Forum, 81:424-434, 2010.

Number Theory,Combinatorics
On minimal presentations of numerical monoids

Alessio Moscariello,Alessio Sammartano

2024-05-30

Abstract:We consider the classical problem of determining the largest possible cardinality of a minimal presentation of a numerical monoid with given embedding dimension and multiplicity. Very few values of this cardinality are known. In addressing this problem, we apply tools from Hilbert functions and free resolutions of artinian standard graded algebras. This approach allows us to solve the problem in many cases and, at the same time, identify subtle difficulties in the remaining cases. As a by-product of our analysis, we deduce results for the corresponding problem for the type of a numerical monoid.

Combinatorics,Commutative Algebra

On the Possible Monoid Structures of the Natural Numbers N, or Finding All Associative Binary Operations on N

Associative ideals in monoids

On algebraic properties of power monoids of numerical monoids

Notions of computation as monoids

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

On power monoids and their automorphisms

Existence of monoids compatible with a family of mappings

The catenary and tame degree of numerical monoids generated by generalized arithmetic sequences

Associativity and Commutativity of Partially Ordered Rings

The Inverse Semigroup Theory of Elementary Arithmetic

Combinatorial $N_\infty$ operads

Associative spectra of binary operations

Minimal counting systems and commutative monoids

Monotone Catenary Degree in Numerical Monoids

On the free commutative monoid over a positive operad

A monoid-theoretical approach to infinite direct-sum decompositions of modules

Towards an Enumeration of Finite Common Meadows

The associative-commutative spectrum of a binary operation

Atomicity of positive monoids

A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings

On minimal presentations of numerical monoids