scientific article; zbMATH DE number 5490488

zbMath1186.20043MaRDI QIDQ5302760

Publication date: 13 January 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

quantales pseudoidentities idempotent semirings relational morphisms complexity hierarchies complete algebraic lattices triangular products pseudovarieties, finite semigroups spectral theory of lattices

Mathematics Subject Classification ID

Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Geometric group theory (20F65) Free semigroups, generators and relations, word problems (20M05) Equational logic, Mal'tsev conditions (08B05) Semigroups in automata theory, linguistics, etc. (20M35) Stone spaces (Boolean spaces) and related structures (06E15) Semirings (16Y60) Continuous lattices and posets, applications (06B35) Mappings of semigroups (20M15) Quasivarieties (08C15) Quantales (06F07) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Research exposition (monographs, survey articles) pertaining to group theory (20-02)

Related Items

Sandy Green: his impact on semigroup theory ⋮ Reducibility of pointlike problems ⋮ Reaching the minimum ideal in a finite semigroup ⋮ Pointlike sets and separation: a personal perspective ⋮ The global dimension of the full transformation monoid (with an appendix by V. Mazorchuk and B. Steinberg) ⋮ Topologically congruence-free compact semigroups ⋮ Characterization of the pseudovariety generated by finite monoids satisfying \(\mathcal R=\mathcal H\). ⋮ Pointlike sets for varieties determined by groups ⋮ Factoring the Dedekind-Frobenius determinant of a semigroup ⋮ Representations and identities of plactic-like monoids ⋮ Fuzzy \(\varepsilon\)-subgroups. ⋮ Semigroups of rectangular matrices under a sandwich operation ⋮ Maximal subsemigroups of finite transformation and diagram monoids ⋮ Computing maximal subsemigroups of a finite semigroup ⋮ Congruence lattices of finite diagram monoids ⋮ Subgroups of free idempotent generated semigroups need not be free. ⋮ Motzkin monoids and partial Brauer monoids ⋮ Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals ⋮ Beyond wreath and block ⋮ Formations of inverse semigroups ⋮ The rank of variants of nilpotent pseudovarieties ⋮ Presentations of Schützenberger groups of minimal subshifts. ⋮ On the Dowling and Rhodes lattices and wreath products ⋮ On the group of a rational maximal bifix code ⋮ On a class of completely join prime \(J\)-trivial semigroups with unique involution ⋮ On the subsemigroup complex of an aperiodic Brandt semigroup ⋮ On formations of monoids ⋮ On the Wilson monoid of a pairwise balanced design ⋮ Convergence towards the end space for random walks on Schreier graphs ⋮ Different similarities ⋮ On the Malcev products of some classes of epigroups. I ⋮ Pseudovarieties of ordered completely regular semigroups ⋮ What makes a Stone topological algebra profinite ⋮ Idempotents and one-sided units: lattice invariants and a semigroup of functors on the category of monoids ⋮ On the irreducibility of pseudovarieties of semigroups. ⋮ Effective dimension of finite semigroups. ⋮ Locally countable pseudovarieties ⋮ The Schützenberger category of a semigroup. ⋮ Iterated periodicity over finite aperiodic semigroups ⋮ Finite state wreath powers of transformation semigroups. ⋮ Idempotent elements of the endomorphism semiring of a finite chain. ⋮ Some contributions to the theory of transformation monoids ⋮ Enumeration of idempotents in planar diagram monoids ⋮ Every finite semigroup is embeddable in a finite relatively free semigroup. ⋮ On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties. ⋮ Homological finiteness properties of monoids, their ideals and maximal subgroups. ⋮ John Rhodes and the theory of finite semigroups. ⋮ Closures of regular languages for profinite topologies. ⋮ The minimal number of generators of a finite semigroup. ⋮ Permutations of a semigroup that map to inverses. ⋮ Semigroups embeddable in hyperplane face monoids. ⋮ Representation theory of finite semigroups over semirings. ⋮ Turing machines and bimachines ⋮ Towards a pseudoequational proof theory ⋮ Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups ⋮ Densification via polynomials, languages, and frames ⋮ Locally \(E\)-solid epigroups ⋮ The dual equivalence of equations and coequations for automata ⋮ The word problem for \(\kappa \)-terms over the pseudovariety of local groups ⋮ Möbius functions and semigroup representation theory. II: Character formulas and multiplicities. ⋮ Toward homological structure theory of semimodules: on semirings all of whose cyclic semimodules are projective ⋮ The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages ⋮ Sandwich semigroups in locally small categories. I: Foundations ⋮ On the power pseudovariety \(\mathbf{PCS}\). ⋮ On non-commuting sets in finite soluble CC-groups. ⋮ The pro-nilpotent group topology on a free group ⋮ Generalized correspondence functors ⋮ Computing finite semigroups ⋮ Conjugacy in inverse semigroups ⋮ \(\mathsf E\)-local pseudovarieties. ⋮ A combinatorial property of ideals in free profinite monoids. ⋮ The quiver of an algebra associated to the Mantaci-Reutenauer descent algebra and the homology of regular semigroups. ⋮ A local structure theorem for stable, \(\mathcal{J}\)-simple semigroup biacts ⋮ On properties not inherited by monoids from their Schützenberger groups. ⋮ On the endomorphism monoid of a profinite semigroup ⋮ Chains of subsemigroups ⋮ Maximal subgroups of the minimal ideal of a free profinite monoid are free. ⋮ Ehresmann theory and partition monoids ⋮ Star-free languages are Church-Rosser congruential ⋮ Pro-aperiodic monoids via saturated models ⋮ \(\aleph_0\)-categoricity of semigroups. II. ⋮ On Kovács-Newman ordered semigroups ⋮ Inverse monoids of partial graph automorphisms ⋮ The structure of finite monoids satisfying the relation \(\mathcal R=\mathcal H\). ⋮ On the pseudovariety generated by all finite monoids satisfying \(\mathcal R=\mathcal H\). ⋮ Simplicity of augmentation submodules for transformation monoids ⋮ Ehresmann semigroups whose categories are EI and their representation theory ⋮ Recent developments in inverse semigroup theory ⋮ Cascade connections and triangular products of linear automata ⋮ Classification of congruences of twisted partition monoids ⋮ Free idempotent generated semigroups: the word problem and structure via gain graphs ⋮ Constructing divisions into power groups ⋮ Bases for pseudovarieties closed under bideterministic product ⋮ Green's relations and stability for subsemigroups ⋮ Directed nonabelian sandpile models on trees ⋮ Blocks of epigroups ⋮ Character theory of monoids over an arbitrary field. ⋮ The lattice of varieties of monoids ⋮ Partial transformation monoids preserving a uniform partition. ⋮ On separability properties in direct products of semigroups ⋮ On Decidability of Intermediate Levels of Concatenation Hierarchies ⋮ Reducibility vs. definability for pseudovarieties of semigroups ⋮ Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry ⋮ Variants of finite full transformation semigroups ⋮ Unnamed Item ⋮ Holonomy theorem for finite semigroups ⋮ Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups ⋮ Birecurrent sets ⋮ Characterizing classes of regular languages using prefix codes of bounded synchronization delay ⋮ Degree 2 transformation semigroups as continuous maps on graphs: Complexity and examples ⋮ Extensions of theorems of Gaschütz, Žmud\('\) and Rhodes on faithful representations ⋮ Equidivisibility and profinite coproduct ⋮ Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions ⋮ A profinite approach to complete bifix decodings of recurrent languages ⋮ Monoidal categories, representation gap and cryptography ⋮ On the transition monoid of the Stallings automaton of a subgroup of a free group ⋮ Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph ⋮ On the minimal faithful degree of Rhodes semisimple semigroups ⋮ Product decompositions of semigroups induced by action pairs ⋮ The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies ⋮ Derivations of skew Ore polynomial semirings ⋮ On κ-reducibility of pseudovarieties of the form V ∗D ⋮ On the atoms of algebraic lattices arising in 𝔮-theory ⋮ An effective lower bound for group complexity of finite semigroups and automata ⋮ Projective indecomposable modules and quivers for monoid algebras ⋮ The Karoubi envelope of the mirage of a subshift ⋮ Random walks on semaphore codes and delay de Bruijn semigroups ⋮ The semaphore codes attached to a Turing machine via resets and their various limits ⋮ Semidirect product with an order-computable pseudovariety and tameness. ⋮ Semigroup actions, covering spaces and Schützenberger groups. ⋮ Pointlike reducibility of pseudovarieties of the form V ∗D ⋮ Degree 2 transformation semigroups as continuous maps on graphs: Foundations and structure ⋮ Structure of principal one-sided ideals ⋮ Derivations of polynomial semirings ⋮ Representations of relatively free profinite semigroups, irreducibility, and order primitivity ⋮ Matrix Mortality and the Černý-Pin Conjecture ⋮ Low Growth Equational Complexity ⋮ On the irreducible representations of a finite semigroup ⋮ Linear Conjugacy ⋮ Join irreducible semigroups ⋮ On simple modules over twisted finite category algebras ⋮ Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes ⋮ The quiver of an affine monoid ⋮ Sandwich semigroups in diagram categories