An algebraic theory of graph factorization is introduced. For a factor h, a graph G(h) is constructed whose structure contains information about h-factorability. The 1-factorable and cycle factorable graphs over 2 are characterized, and properties of the corresponding graph G(h) are obtained.