We prove the following two results announced by Rhodes: The Type II subsemigroup of a finite semigroup can fall arbitrarily in complexity; the complexity pseudovarieties Cn (n 1) ...
Self-similar inverse semigroups are defined using automata theory. Adjacency semigroups of s-resolved Markov partitions of Smale spaces are introduced. It is proved that a Smale s...
By the fundamental theorem of symmetric polynomials, if P Q[X1, . . . , Xn] is symmetric, then it can be written P = Q(1, . . . , n), where 1, . . . , n are the elementary symmet...
: It is given a structural conjugacy invariant in the set of pseudowords whose finite factors are factors of a given subshift. Some profinite semigroup tools are developed for this...
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...