Related papers: Generating sets, presentations, and growth of trop…
We study finite semigroups of $n \times n$ matrices with rational entries. Such semigroups provide a rich generalization of transition monoids of unambiguous (and, in particular, deterministic) finite automata. In this paper we determine…
Let $\mathcal S \subseteq \mathbb Z^m \oplus T$ be a finitely generated and reduced monoid. In this paper we develop a general strategy to study the set of elements in $\mathcal S$ having at least two factorizations of the same length,…
The multiplicative semigroup $M_n(F)$ of $n\times n$ matrices over a field $F$ is well understood, in particular, it is a regular semigroup. This paper considers semigroups of the form $M_n(S)$, where $S$ is a semiring, and the…
We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank $n$ group $G$ and $H$ has index at least $n$ in $G$ then we can construct a left transversal for $H$ which…
Let $a, b$ and $n > 1$ be three positive integers such that $a$ and $\sum_{j=0}^{n-1} b^j$ are relatively prime. In this paper, we prove that the toric ideal $I$ associated to the submonoid of $\mathbb{N}$ generated by $\{\sum_{j=0}^{n-1}…
There is a well known correspondence between the triangle inequality for a distance function on a finite set, and idempotency of an associated matrix over the tropical semiring. Recent research has shed new light on the structure…
We show factorization of polynomials in one variable over the tropical semiring is in general NP-complete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization…
Let $G$ be a finite group. In order to determine the smallest cardinality $d(G)$ of a generating set of $G$ and a generating set with this cardinality, one should repeat many times the test whether a subset of $G$ of small cardinality…
Let $n$ be a positive integer and let $[n]=\{1,2,\ldots,n\}$. Let $\Gamma_n$ denote the group of permutations on $[n]$ whose restrictions to maximal proper subsets of $[n]$ are even, let $\Sigma_n$ denote the monoid of transformations on…
We study the question of finite generation of saturated multi-Rees algebras and investigate the asymptotic behaviour of related length functions. In the setup of excellent local domains, we show that the saturated multi-Rees algebra of a…
This paper studies the class of automaton semigroups from two perspectives: closure under constructions, and examples of semigroups that are not automaton semigroups. We prove that (semigroup) free products of finite semigroups always arise…
Let $\mathcal S$ be a set of monic degree $2$ polynomials over a finite field and let $C$ be the compositional semigroup generated by $\mathcal S$. In this paper we establish a necessary and sufficient condition for $C$ to be consisting…
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)$…
We prove that the generating function of the positive singular braid monoid is rational and we give the exact formula for such monoid on three strands.
We study graded rings of modular forms over congruence subgroups, with coefficients in a subring $A$ of $\mathbb{C}$, and specifically the highest weight needed to generate these rings as $A$-algebras. In particular, we determine upper…
Let $d(G)$ be the smallest cardinality of a generating set of a finite group $G.$ We give a complete classification of the finite groups with the property that, whenever $ \langle x_1, \dots, x_{d(G)} \rangle = \langle y_1, \dots, y_{d(G)}…
We show that the r-by-r minors of a d-by-n matrix of variables form a tropical basis of the ideal they generate if and only if r<4, or r=min(d,n), or else r=4 and min(d,n)<7. This answers a question asked by M. Chan, A. Jensen, and E.…
We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound…
We prove that generating subspaces of matrix rings over finite fields are counted by polynomials. We use this result to define and study two-variable versions of polynomials counting isomorphism classes of absolutely irreducible…
We consider the (pure) braid groups B_{n}(M) and P_{n}(M), where M is the 2-sphere S^2 or the real projective plane RP^2. We determine the minimal cardinality of (normal) generating sets X of these groups, first when there is no restriction…