Related papers: Bases for counting functions on free monoids and g…
We consider finite sums of counting functions on the free group $F_n$ and the free monoid $M_n$ for $n \geq 2$. Two such sums are considered equivalent if they differ by a bounded function. We find the complete set of linear relations…
The construction of bases for quotients is an important problem. In this paper, applying the method of rewriting systems, we give a unified approach to construct sections---an alternative name for bases in semigroup theory---for quotients…
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.
We generalize free monoids by defining $k$-monoids. These are nothing other than the one-vertex higher-rank graphs used in $C^{\ast}$-algebra theory with the cardinality requirement waived. The $1$-monoids are precisely the free monoids. We…
The goal of this work is to develop, in a systematic way and in a full natural generality, the foundations of a theory of functions of (free) noncommuting variables.
Given a set of endomorphisms on $\mathbb{P}^N$, we establish an upper bound on the number of points of bounded height in the associated monoid orbits. Moreover, we give a more refined estimate with an associated lower bound when the monoid…
We obtain an estimate for the main term of the counting function for numerical monoids.
The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…
We present efficient algorithms to decide whether two given counting functions on non-abelian free groups or monoids are at bounded distance from each other and to decide whether two given counting quasimorphisms on non-abelian free groups…
We define a counting function that is related to the binomial coefficients. An explicit formula for this function is proved. In some particular cases, simpler explicit formuls are derived. We also derive a formula for the number of…
The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier…
We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains.
In ancient Greek mathematics, magnitudes such as lengths were strictly distinguished from numbers. In modern quantity calculus, a distinction is made between quantities and scalars that serve as measures of quantities. It can be argued that…
We develop a theory of holomorphic functions in several noncommuting (free) variables and thus provide a framework for the study of arbitrary n-tuples of operators. The main topics are the following: Free holomorphic functions and Hausdorff…
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 monoids in a monoidal category. We demonstrate that at this level…
We reformulate base point free theorems. Our formulation is flexible and has some important applications. One of the main purposes of this paper is to prove a generalization of the base point free theorem in Fukuda's paper: On numerically…
We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…
In this paper, we mainly discuss some generalized metric properties and the character of the free paratopological groups, and extend several results valid for free topological groups to free paratopological groups.
Motivated by a recent work of Balcerzak and Kania [Proc. Amer. Math. Soc. 151 (2023) 3737--3742], we show that every countable monoid has a universal action on the free object over a countable infinite set. This is a general result…
The paper presents a Fock space model suitable for constructions of c-free algebras. Immediate applications are direct proofs for the properties of the c-free R- and S-transforms.