Fixed layout, clarified group presentations, refactored, changed the not...

...ation for the Schwartz inner product to avoid ambiguities.