homomorphisms cleanup
more product-related homomorphisms
splitting lemma