product projection maps for abelian groups, etc.