Related papers: Increasing positive monoids of ordered fields are …

A numerical monoid is an additive submonoid of the non-negative integers. Given a numerical monoid $S$, consider the family of "shifted" monoids $M_n$ obtained by adding $n$ to each generator of $S$. In this paper, we characterize the…

A commutative monoid $M$ is called a linearly orderable monoid if there exists a total order on $M$ that is compatible with the monoid operation. The finitary power monoid of a commutative monoid $M$ is the monoid consisting of all nonempty…

A number field $K$ is called \emph{monogenic} if its ring of integers $\mathbb{Z}_K$ can be expressed as a simple ring extension $\mathbb{Z}[\alpha]$ for some $\alpha \in \mathbb{Z}_K$. A monic irreducible polynomial $f(x)\in\mathbb{Z}[x]$…

Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…

A Puiseux monoid is a submonoid of $(\mathbb{Q},+)$ consisting of nonnegative rational numbers. Although the operation of addition is continuous with respect to the standard topology, the set of irreducibles of a Puiseux monoid is, in…

We analyze the set of increasingly enumerable additive submonoids of R, for instance, the set of logarithms of the positive integers with respect to a given base. We call them $\omega$-monoids. The $\omega$-monoids for which consecutive…

Let $H$ be a multiplicatively written monoid with identity $1_H$ (in particular, a group). We denote by $\mathcal P_{\rm fin,\times}(H)$ the monoid obtained by endowing the collection of all finite subsets of $H$ containing a unit with the…

A commutative cancellative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral domain is atomic if its multiplicative monoid is atomic. Back in the eighties, Gilmer posed the…

It is shown that an ordered vector space $X$ is Archimedean if and only if $\inf\limits_{\tau\in\{\tau\}, y\in L}(x_\tau -y) \ = 0$ for any bounded decreasing net $x_\tau\downarrow$ in $X$, where $L$ is the collection of all lower bounds of…

In this paper we study the system of sets of lengths of non-finitely generated atomic Puiseux monoids (a Puiseux monoid is an additive submonoid of $\mathbb{Q}_{\ge 0}$). We begin by presenting a BF-monoid $M$ with full system of sets of…

We give a new simple example of an atomic domain which is not ACCP. Our example is a monoid domain $F[X;M]$, where $F$ is a field and $M$ is a submonoid of the additive monoid of nonnegative rational numbers.

Let $M$ be a Puiseux monoid, that is, a monoid consisting of nonnegative rationals (under addition). A nonzero element of $M$ is called an atom if its only decomposition as a sum of two elements in $M$ is the trivial decomposition (i.e.,…

We prove that the basis of cluster monomials of a skew-symmetric cluster algebra A of finite type is the atomic basis of A. This means that an element of A is positive if and only if it has a non-negative expansion in the basis of cluster…

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…

We discuss the role of additive polynomials and $p$-polynomials in the theory of valued fields of positive characteristic and in their model theory. We outline the basic properties of rings of additive polynomials and discuss properties of…

We call a polynomial monogenic if a root $\theta$ has the property that $\mathbb{Z}[\theta]$ is the full ring of integers in $\mathbb{Q}(\theta)$. Consider the two families of trinomials $x^n + ax + b$ and $x^n + cx^{n-1} + d$. For any…

For an integral domain $R$ and a commutative cancellative monoid $M$, the ring consisting of all polynomial expressions with coefficients in $R$ and exponents in $M$ is called the monoid ring of $M$ over $R$. An integral domain is called…

Let $S$ be a numerical monoid, i.e., a submonoid of the additive monoid $(\mathbb N, +)$ of non-negative integers such that $\mathbb N \setminus S$ is finite. Endowed with the operation of set addition, the family of all finite subsets of…

The non-empty finite subsets of a multiplicatively written monoid form a monoid under setwise multiplication. The same holds for finite subsets containing the identity element. Partly due to their unusual arithmetic properties, these…

A cancellative and commutative monoid $M$ is atomic if every non-invertible element of $M$ factors into irreducibles (also called atoms), and $M$ is hereditarily atomic if every submonoid of $M$ is atomic. In addition, $M$ is hereditary…