Natural Monoids and Non-commutative Arithmetics

TL;DR

This paper develops a theory of non-commutative arithmetics within certain monoids, introducing concepts like castling, primes, and multiplicative functions, and explores their algebraic and analytical properties, including examples and complexity measures.

Contribution

It introduces the concept of natural monoids satisfying multiple axioms, defines primes via castling, and analyzes their algebraic and analytical structures, including examples and complexity metrics.

Findings

The natural monoid $N$ has a castling complexity of 1/2.

The monoid $S$ in Thompson's group has a castling complexity of 1.

Finitely prime monoids are shown to be amenable.

Abstract

We introduce several classes of monoids satisfying up to five axioms and establish basic theories on their arithmetics. The one satisfying all the axioms is named natural monoid. Two typical examples are 1) the monoid $\mathbb{N}$ of natural numbers in the group of positive rationals and 2) a certain monoid $\mathbb{S}$ in one of Thompson's groups. The latter one is non-abelian, which serves as an important example for non-commutative arithmetics. Defining primes in a non-abelian monoid $S$ is highly non-trivial, which relies on a concept we called `castling'. Three types of castlings are essential to grasp the arithmetics on $S$. Multiplicative and completely multiplicative functions are defined. In particular, M\"obius function is multiplicative, and Liouville function on a natural monoid is completely multiplicative. The divisor function has a sub-multiplicative property, which induces a non-trivial quantity $\tau_0(u)=\lim\nolimits_{n\rightarrow \infty}(\tau(u^n))^{1/n}$ in a non-abelian monoid $S$. Moreover, the quantity $\c{C}(S)=\sup\nolimits_{1\neq u\in S}\tau_0(u)/\tau(u)$ describes the complexity for castlings in $S$. We show that $\c{C}(\mathbb{N})=1/2$ and $\c{C}(\mathbb{S})=1$. The reduced $C^\ast$-algebra of $S$, on which a particular trace can be defined, is also studied. Furthermore, we prove that a natural monoid having finitely many primes is amenable.