No Arabic abstract
Let $mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Yin mathcal C$ containing $X$ as a discrete subsemigroup; $X$ is $projectively$ $mathcal C$-$closed$ if for each congruence $approx$ on $X$ the quotient semigroup $X/_approx$ is $mathcal C$-closed. A semigroup $X$ is called $chain$-$finite$ if for any infinite set $Isubseteq X$ there are elements $x,yin I$ such that $xy otin{x,y}$. We prove that a semigroup $X$ is $mathcal C$-closed if it admits a homomorphism $h:Xto E$ to a chain-finite semilattice $E$ such that for every $ein E$ the semigroup $h^{-1}(e)$ is $mathcal C$-closed. Applying this theorem, we prove that a commutative semigroup $X$ is $mathcal C$-closed if and only if $X$ is periodic, chain-finite, all subgroups of $X$ are bounded, and for any infinite set $Asubseteq X$ the product $AA$ is not a singleton. A commutative semigroup $X$ is projectively $mathcal C$-closed if and only if $X$ is chain-finite, all subgroups of $X$ are bounded and the union $H(X)$ of all subgroups in $X$ has finite complement $Xsetminus H(X)$.
We study algebraic and topological properties of the convolution semigroups of probability measures on a topological groups and show that a compact Clifford topological semigroup $S$ embeds into the convolution semigroup $P(G)$ over some topological group $G$ if and only if $S$ embeds into the semigroup $exp(G)$ of compact subsets of $G$ if and only if $S$ is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup $S$ embeds into the functor-semigroup $F(G)$ over a suitable compact topological group $G$ for each weakly normal monadic functor $F$ in the category of compacta such that $F(G)$ contains a $G$-invariant element (which is an analogue of the Haar measure on $G$).
We characterize semigroups $X$ whose semigroups of filters $varphi(X)$, maximal linked systems $lambda(X)$, linked upfamilies $N_2(X)$, and upfamilies $upsilon(X)$ are commutative.
We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras. From the point of view of skew lattices, Leech showed early on that any strongly distributive skew lattice can be embedded in the skew lattice of partial functions on some set with the operations being given by restriction and so-called override. Our duality shows that there is a canonical choice for this embedding. Conversely, from the point of view of sheaves over Boolean spaces, our results show that skew lattices correspond to Priestley orders on these spaces and that skew lattice structures are naturally appropriate in any setting involving sheaves over Priestley spaces.
We find necessary and sufficient conditions on an (inverse) semigroup $X$ under which its semigroups of maximal linked systems $lambda(X)$, filters $phi(X)$, linked upfamilies $N_2(X)$, and upfamilies $upsilon(X)$ are inverse.
We study the notion of $Gamma$-graded commutative algebra for an arbitrary abelian group $Gamma$. The main examples are the Clifford algebras already treated by Albuquerque and Majid. We prove that the Clifford algebras are the only simple finite-dimensional associative graded commutative algebras over $mathbb{R}$ or $mathbb{C}$. Our approach also leads to non-associative graded commutative algebras extending the Clifford algebras.