Solvability by semigroup : Application to seismic imaging with complex decomposition of wave equations and migration operators with idempotents