Results 21 to 30 of about 2,525 (93)
Eilenberg Theorems for Free [PDF]
Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebraic language theory.
Adámek, Jiří +3 more
core +2 more sources
Hypersurface singularities with monomial Jacobian ideal
Abstract We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom–Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of Jacobian semigroup ideal involving a transversal matroid.
Raul Epure, Mathias Schulze
wiley +1 more source
Monoids with tests and the algebra of possibly non-halting programs [PDF]
We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in ...
Jackson, Marcel, Stokes, Tim E.
core +4 more sources
Completions of monoids with applications to the Cuntz semigroup [PDF]
We provide an abstract categorical framework that relates the Cuntz semigroups of the C$^*$-algebras $A$ and $A\otimes \mathcal{K}$. This is done through a certain completion of ordered monoids by adding suprema of countable ascending sequences.
Ramon Antoine, J. Bosa, F. Perera
semanticscholar +1 more source
The Finite Basis Problem for Kiselman Monoids [PDF]
In an earlier paper, the second-named author has described the identities holding in the so-called Catalan monoids. Here we extend this description to a certain family of Hecke--Kiselman monoids including the Kiselman monoids $\mathcal{K}_n$.
Ashikhmin, D. N. +2 more
core +2 more sources
Reaching the minimum ideal in a finite semigroup [PDF]
We introduce the depth parameters of a finite semigroup, which measure how hard it is to produce an element in the minimum ideal when we consider generating sets satisfying some minimality conditions.
Karimi, Nasim
core +2 more sources
Locally countable pseudovarieties [PDF]
The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also call
J. Almeida, O. Kl'ima
semanticscholar +1 more source
In algebraic terms, the insertion of $n$-powers in words may be modelled at the language level by considering the pseudovariety of ordered monoids defined by the inequality $1\le x^n$.
Almeida, J., Klíma, O.
core +1 more source
An ordered monoid S in which every principal left ideal, regarded as an S-poset, is projective is called an ordered left PP monoid, for short, an ordered lpp monoid.
Xiaoping Shi
semanticscholar +1 more source
Invariant means on Boolean inverse monoids [PDF]
The classical theory of invariant means, which plays an important role in the theory of paradoxical decompositions, is based upon what are usually termed `pseudogroups'. Such pseudogroups are in fact concrete examples of the Boolean inverse monoids which
Kudryavtseva, Ganna +3 more
core +2 more sources

