Consider a semigroup action on a set. We derive conditions, in terms of the induced action of the semigroup on {0, 1}-valued probability charges, which ensure that all invariant probability charges are strongly continuous.

This paper determines all pseudovarieties of nite semigroups whose powers are contained in DA. As an application, it is shown that it is computable, for a decidable pseudovariety V of aperiodic semigroups, the least exponent n such that the iterated power P n V is the pseudovariety of all nite semigroups.

A ternary semigroup is a nonempty set together with a ternary multiplication which is associative. Any semigroup can be reduced to a ternary semigroup but a ternary semigroup does not necessarily reduce to a semigroup. The notion of fuzzy sets was introduced by Zadeh in 1965 and that of rough sets by Pawlak in 1982. Applications of the fuzzy set theory and rough set theory have been found in va...

A new max-plus fundamental solution semigroup is presented for a class of lossless wave equations. This new semigroup is developed by employing the action principle to encapsulate the propagation of all possible solutions of a given wave equation in the evolution of the value function of an associated optimal control problem. The max-plus fundamental solution semigroup for this optimal control ...

The syntactic complexity of a regular language is the size of its syntactic semigroup. This semigroup is isomorphic to the transition semigroup of the minimal deterministic finite automaton accepting the language, that is, to the semigroup generated by transformations induced by non-empty words on the set of states of the automaton. In this paper we search for the largest syntactic semigroup of...

A generalized Mehler semigroup (Ornstein-Uhlenbeck semigroup) associated with some strongly continuous semigroup of linear operators on a real separable Hilbert space may be defined by using a skew convolution semigroup. Under a mild moment assumption, it is proved that the characteristic functional of any centered skew convolution semigroup is absolutely continuous and characterizations are gi...

In this paper we characterize when a Cayley automaton semigroup is a group, is trivial, is finite, is free, is a left zero semigroup, or is a right zero semigroup.

In this paper we combine results from [1] and [3] in order to determine the relationship between the deficiency of a group G and the deficiency of a Rees matrix semigroup S over G; in particular, we investigate how the efficiency of S depends on the efficiency of G. We start by defining semigroup and group presentations. Let A be an alphabet. We denote by A the free semigroup on A consisting of...

That is, W0 is the set of all finite products of the generators, allowing repetitions. Let W signify the larger multiplicative semigroup generated by W0 together with {1/2}. We call W the wild semigroup and W0 the Wooley semigroup. The question we consider is: Which integers belong to these semigroups? The sets of integer elements W(Z) := W ∩ Z and W0(Z) := W0 ∩ Z themselves form multiplicative...

We introduce the notion of ideals in implicative semigroups, and then state the characterizations of the ideals. 2000 Mathematics Subject Classification. 20M12, 06F05, 06A06, 06A12.