arXiv++ Combinatorics

Let $G$ be a group, $βG$ is the Stone-$\check{C}$ech compactification of $βG$ endowed with the structure of a right topological semigroup, $G^*=βG\setminus G$. Given any subset $A$ of $G$ and $p\in G^*$, we define the $p$-companion $\vt_p(A)=A^*\cap Gp$ of $A$, and characterize the subsets with finite and discrete ultracompanions.