Fixed layout, clarified group presentations, refactored, changed the notation for the Schwartz inner product to avoid ambiguities.