A semigroup is nilpotent of degree 3 if it has a zero, every product of 3 elements equals the zero, and some product of 2 elements is non-zero. It is part of the folklore of semigroup theory that almost all finite semigroups are nilpotent of degree 3. We give formulae for the number of nilpotent semigroups of degree 3 on a set with n ∈ N elements up to equality, isomorphism, and isomorphism or ...

In this paper an algorithm is presented that can be used to calculate the automorphism group of a finite transformation semigroup. The general algorithm employs a special method to compute the automorphism group of a finite simple semigroup. As an application of the algorithm, all the automorphism groups of semigroup of order at most 7 and of the multiplicative semigroups of some group rings ar...

This is a survey of results of the profinite approach to decidability problems in the theory of finite semigroups.

We study numerical semigroups S with the property that ifm is the multiplicity of S and w(i) is the least element of S congruent with i modulo m, then 0 < w(1) < . . . < w(m − 1). The set of numerical semigroups with this property and fixed multiplicity is bijective with an affine semigroup and consequently it can be described by a finite set of parameters. Invariants like the gender, type, emb...

We consider wreath product decompositions for semigroups of triangular matrices. We exhibit an explicit wreath product decomposition for the semigroup of all n× n upper triangular matrices over a given field k, in terms of aperiodic semigroups and affine groups over k. In the case that k is finite this decomposition is optimal, in the sense that the number of group terms is equal to the group c...

For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to absolute norms. The semigroups under consideration may be generated by discrete-time systems, continuous-time systems or continuous-time systems with jumps. T...

The algebraic study of formal languages shows thatω-rational languages are exactly the sets recognizable by finite ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first define a red...

This paper provides a new generalization of fuzzy finite state machines, fuzzy transformation semigroups and their relationship. Consider a cubic structure, we introduce cubic finite state machines, cubic transformation semigroups, cubic successor, cubic exchange properties cubic subsystems, cubic submachines, cubic q-twins, cubic retrievable and study fundamental properties of them. We provide...

In this paper we combine the algebraic properties of Mealy machines generating self-similar groups and the combinatorial properties of the corresponding deterministic finite automata (DFA). In particular, we relate bounded automata to finitely generated synchronizing automata and characterize finite automata groups in terms of nilpotency of the corresponding DFA. Moreover, we present a decidabl...

We prove that every semigroup S in which the idempotents form a sub-semigroup has an E-unitary cover with the same property. Furthermore, if S is E-dense or orthodox, then its cover can be chosen with the same property. Then we describe the structure of E-unitary dense semigroups. Our results generalize Fountain's results on semigroups in which the idempotents commute, and are analogous to thos...