The Analytical and Topological Theory of Semigroups