Section 4

Finished Section 4 except for references, citations and a
simplification of the proof of Prop. 4.8 (which should make use of a
modified block-wise definition of invariance on the algebraic
level).

Need to insert a prove of strong invariance of \phi on the
algebraic level.