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 space can be reconstructed from the adjacency semigroup of its Markov partition, using the notion of the limit solenoid of a contracting self-similar semigroup. The notions of the limit solenoid and a contracting semigr...

Abstract. We derive pointwise a posteriori residual-based error estimates for finite element solutions to the Stokes equations in polyhedral domains. The estimates relies on the regularity of the of Stokes equations and provide an upper bound for the pointwise error in the velocity field on polyhedral domains. Whereas the estimates provide upper bounds for the pointwise error in the gradient of...

This note shows how iteration of the standard process of adjoining identities and zeros to semigroups gives rise naturally to the lexicographical ordering on the additive semigroups of n-tuples of nonnegative integers and n-tuples of integers. 1. Semigroups with identities and zeros A binary operation ∗ on a set S is associative if (a ∗ b) ∗ c = a ∗ (b ∗ c) for all a, b, c ∈ S. A semigroup is a...

Inverse semigroups form a variety of unary semigroups, that is, semigroups equipped with an additional unary operation, in this case a 7→ a−1. The theory of inverse semigroups is perhaps the best developed within semigroup theory, and relies on two factors: an inverse semigroup S is regular, and has semilattice of idempotents. Three major approaches to the structure of inverse semigroups have e...

Convolution semigroups of states on a quantum group form the natural noncommutative analogue of convolution semigroups of probability measures on a locally compact group. Here we initiate a theory of weakly continuous convolution semigroups of functionals on a C∗-bialgebra, the noncommutative counterpart of a locally compact semigroup. On locally compact quantum groups we obtain a bijective cor...

The setting of this research is Bishop’s constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving s...

In this paper, the class of weakly left C-wrpp semigroups which includes the class of weakly left C-rpp semigroups as a subclass is introduced. To particularly show that the spined product of a left C-wrpp semigroup and a right normal band which is a weakly left C-wrpp semifroup by virtue of left C-full Ehremann cyber groups recently obtained by authors Li-Shum, results obtained by Tang and Du-...

Let A be a finitely generated commutative algebra over a field K with a presentation A = K〈X1, . . . , Xn | R〉, where R is a set of monomial relations in the generators X1, . . . , Xn. So A = K[S], the semigroup algebra of the monoid S = 〈X1, . . . , Xn | R〉. We characterize, purely in terms of the defining relations, when A is an integrally closed domain, provided R contains at most two relati...

This paper studies algebras of operators associated to a semigroup algebra. The ring of differential operators is shown to be anti-isomorphic to the symmetry algebra and both are described explicitly in terms of the semigroup. As an application, we produce a criterion to determine the equivalence of A-hypergeometric systems. Conditions under which associated algebras are finitely generated are ...

Let R be a commutative ring and S a finite locally inverse semigroup. It is proved that the semigroup algebra R S is isomorphic to the direct product of Munn algebras M R GJ , mJ , nJ ;PJ with J ∈ S/J, where mJ is the number of R-classes in J , nJ the number of L-classes in J , and GJ a maximum subgroup of J . As applications, we obtain the sufficient and necessary conditions for the semigroup ...