Analytical and Topological Theory of Semigroups