Ultrafilters on measurable semigroups
Let $(S,\cdot)$ be a semigroup and $\mathfrak{m}$ be a $σ$-algebra on $S$. We say $(S,\cdot,\mathfrak{m})$ is a measurable semigroup if $π:S\times S\longrightarrow S$ by $π(x,y)=x\cdot y$ is a measurable function. In this paper , we consider to $\mathfrak{m}^β$ as the collection of all ultrafilters on $\mathfrak{m}$. We show that $\mathfrak{m}^β$ is a compact right topological semigroup respect to generated topology by $σ$-algebra $\mathfrak{m}$ on $\mathfrak{m}^β$. Also we study some elementary properties of the algebraic structure of $\mathfrak{m}^β$.
math.FA↗