$L^1$-algebras on groups, semigroups, etc. Harmonic analysis on groups and semigroups mathematics