Let A be a commutative
noetherian ring, E a finite A-module and let M be an arbitrary A-module. Let
φ : E → M be a homomorphisn of A-modules.
In this note we prove in an elementary way that an M-sequence x= (x1,⋯,xn)
being taken to lie in the (Jacobson-) radical rad(A) of A, is also an E-sequence if xE
is the contraction φ−1(xM) of xM in E.