# Ultrafilters on measurable semigroups

## TL;DR

This paper explores the structure of ultrafilters on measurable semigroups, demonstrating that the collection of ultrafilters forms a compact right topological semigroup with certain algebraic properties.

## Contribution

It introduces the concept of ultrafilters on measurable semigroups and proves their structure as a compact right topological semigroup.

## Key findings

- m^eta is a compact right topological semigroup.
- Ultrafilters on measurable semigroups have specific algebraic properties.
- The paper establishes foundational properties of m^eta.

## Abstract

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