Related papers: On maximal common divisors in Puiseux monoids

A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these…

Modular units are functions on modular curves whose divisors are supported on the cusps. They form a free abelian group of rank at most one less than the number of cusps. In this paper we study the group of modular units on $X_{1}( p )$,…

We describe how to compute for two polynomials $f(X), g(X) \in \mathbb{Z}[X]$ with integer coefficients the greatest common divisors of $f(z)$ and $g(z)$ for all integers $z \in \mathbb{Z}$. As an application we determine the structures…

Several authors have studied the question of when the monoid ring DM of a monoid M over a ring D is a right and/or left fir (free ideal ring), a semifir, or a 2-fir (definitions recalled in section 1). It is known that for M nontrivial, a…

The aim of this paper is to solve a problem proposed by Dominique Bourn: to provide a categorical-algebraic characterisation of groups amongst monoids and of rings amongst semirings. In the case of monoids, our solution is given by the…

We investigate the minimal number of generators $\mu$ and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the…

Let $M$ be a monoid that is embeddable in a group. We consider the topos $\mathbf{PSh}(M)$ of sets equipped with a right $M$-action, and we study the subtoposes that are of monoid type, i.e. the subtoposes that are again of the form…

The symmetric inverse monoid $I_X$ on a set $X$ consists of all bijective functions whose domain and range are subsets of $X$ under the usual composition and inversion of partial functions. For an arbitrary infinite set $X$, we classify all…

An inverse monoid $S$ is called $F$-inverse if each $\sigma$-class of $S$, where $\sigma$ is the minimum group congruence of $S$, has a maximum element with respect to the natural order of $S$. Since the property of an inverse monoid being…

Let $M^d$ denote the $d$-dimensional Euclidean, hyperbolic, or spherical space. The $r$-dual set of given set in $M^d$ is the intersection of balls of radii $r$ centered at the points of the given set. In this paper we prove that for any…

We present a new sufficient condition under which a maximal monotone operator $T:X\tos X^*$ admits a unique maximal monotone extension to the bidual $\widetilde T:X^{**} \rightrightarrows X^*$. For non-linear operators this condition is…

An integral domain $D$ is called a finite factorization domain (FFD) if every nonzero nonunit element of $D$ has only finitely many non-associate divisors. In 1998, for an integral domain $D$ and a cancellative torsion-free monoid $S$ such…

This paper investigates the maximal subgroups of a free projection-generated regular $*$-semigroup $PG(P)$ over a projection algebra $P$, and their relationship to the maximal subgroups of the free idempotent-generated semigroup $IG(E)$…

A set of $k$ orthonormal bases of $\mathbb C^d$ is called mutually unbiased if $|\langle e,f\rangle |^2 = 1/d$ whenever $e$ and $f$ are basis vectors in distinct bases. A natural question is for which pairs $(d,k)$ there exist~$k$ mutually…

Let $\mathbb{N}^{d}$ be the $d$-dimensional monoid of non-negative integers. A generalized numerical semigroup is a submonoid $ S\subseteq \mathbb{N}^d$ such that $H(S)=\mathbb{N}^d \setminus S$ is a finite set. We introduce irreducible…

Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the identity, then $g$ is called a generalized torsion element. The minimum number of conjugates in such a product is…

Let $M\ $be a module over a domain $R$ and $M^{\#}=\{0\neq m\in M:Rm\neq M\}$ be the set of all nonzero nongenerators of $M.\ $Consider following equivalence relation $\sim$ on $M^{\#}$ as follows: for every $m,n\in M^{\#},\ m\sim n$ if and…

This paper explores the study of $S$-prime and $S$-maximal ideals in the context of trivial ring extensions $A \ltimes M$. Through counterexamples, we demonstrate that $S$-prime (resp., $S$-maximal) ideals in $A \ltimes M$ are not…

In this paper, we will establish the best constants for certain classes of weighted Moser-Trudinger inequalities on the entire Euclidean spaces $\mathbb{R}^N$. We will also prove the existence of maximizers of these sharp weighted…

We give a classification of noncommutative algebraic monoid structures on normal affine varieties such that the group of invertible elements of the monoid is connected, solvable, and has a one-dimensional unipotent radical. We describe the…