Module factorizations

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.