  For a regular normal element in an arbitrary ring, we study the category of
its module factorizations. The cokernel functor relates module factorizations
with Gorenstein projective components to Gorenstein projective modules over the
quotient ring. The results are vast extensions of Eisenbud's matrix
factorization theorem.
