Morphisms and invariance lemmas

Stable entry point for isomorphism lemmas connecting Ulm subgroups, filtered p-socle layers, and the classical P_α / P_{α+1} Ulm invariants.