A study of the algebraic properties of compact right topological semigroups in general and the Stone-Cech compactification of a discrete semigroup in particular. Several powerful applications to combinatorics are given, and connections with topological dynamics and ergodic theory are presented.