Related papers: Increasing positive monoids of ordered fields are …

Let $A$ be a $g$-dimensional abelian variety defined over a number field $F$. It is conjectured that the set of ordinary primes of $A$ over $F$ has positive density, and this is known to be true when $g=1, 2$, or for certain abelian…

In this paper, we study the atomic structure of the family of Puiseux monoids. Puiseux monoids are a natural generalization of numerical semigroups, which have been actively studied since mid-nineteenth century. Unlike numerical semigroups,…

Let $F_p$ be the field of a prime order $p$. Then for any positive integer $n>1$, for any $\epsilon>0$, and for any subset $A$ of $F_p$, every element of $F_p$ can be represented as a sum of $N$ elements, each of them is a product of $n$…

Arithmetical congruence monoids, which arise in non-unique factorization theory, are multiplicative monoids $M_{a,b}$ consisting of all positive integers $n$ satsfying $n \equiv a \bmod b$. In this paper, we examine the asymptotic behavior…

An ample groupoid is said to be AF if it is a directed union of compact open principal subgroupoids. In this paper, we provide a complete homological characterization of these groupoids. Specifically, we prove that an ample groupoid is AF…

We prove that if $f$ is a polynomial over a number field $K$ with a finite superattracting periodic point and a non-archimedean place of bad reduction, then there is an $\epsilon>0$ such that only finitely many $P\in K^{\text{ab}}$ have…

We show that any normal algebraic monoid is an extension of an abelian variety by a normal affine algebraic monoid. This extends (and builds on) Chevalley's structure theorem for algebraic groups.

The ascending chain condition on principal ideals (ACCP) is almost always complementary to atomicity within integral domains: in fact, Cohn initially stated that these two conditions were equivalent. This assertion has been shown to be…

In this paper, we investigate the internal (finite) sum of submonoids of rank-$1$ torsion-free abelian groups. These submonoids, when not groups, are isomorphic to nontrivial submonoids of the nonnegative cone of $\mathbb Q$, known as…

A submonoid A of N^d has a natural order defined by a <= a + b for elements a and b of A. The Frobenius complex is the order complex of an open interval of A with respect to this order. In this paper, the homotopy type of the Frobenius…

If $\mathbb{F}$ is an ordered field and $M$ is a finite-rank torsion-free monoid, then one can embed $M$ into a finite-dimensional vector space over $\mathbb{F}$ via the inclusion $M \hookrightarrow \text{gp}(M) \hookrightarrow \mathbb{F}…

An integral domain (or a commutative cancellative monoid) is atomic if every nonzero nonunit element is the product of irreducibles, and it satisfies the ACCP if every ascending chain of principal ideals eventually stabilizes. The interplay…

We present a system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK…

Let $M$ be a commutative cancellative monoid, and let $R$ be an integral domain. The question of whether the monoid ring $R[x;M]$ is atomic provided that both $M$ and $R$ are atomic dates back to the 1980s. In 1993, Roitman gave a negative…

Let $K$ be a field. We attach to each finite poset $\mathbb P$ a von Neumann regular $K$-algebra $Q_K(\mathbb P)$ in a functorial way. We show that the monoid of isomorphism classes of finitely generated projective $Q_K(\mathbb P)$-modules…

For a positive real $\alpha$, we can consider the additive submonoid $M$ of the real line that is generated by the nonnegative powers of $\alpha$. When $\alpha$ is transcendental, $M$ is a unique factorization monoid. However, when $\alpha$…

A family of partial orders in the free monoid of words, induced from a partial order in alphabet, is presented. The induced orders generalize the chronological posets that have been defined for the two-letter alphabet only, and the…

We show that the generic automorphism is axiomatisable in the green field of Poizat (once Morleyised) as well as in the bad fields which are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain "bad…

Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be any linearly independent polynomials with zero constant term. We show that there exists a $\gamma>0$ such that any subset of $\mathbb{F}_q$ of size at least $q^{1-\gamma}$ contains a nontrivial…

We introduce new partial orders on the set $S^+_n$ of positive-definite matrices of dimension $n$ derived from the homogeneous geometry of $S^+_n$ induced by the natural transitive action of the general linear group $GL(n)$. The orders are…