We study properties of a group, abelian group, ring, or monoid
which
(a) guarantee that every homomorphism from an infinite direct product
of objects of the
same sort onto
factors through the direct product of finitely many ultraproducts of the
(possibly after composition with the natural map
or
some variant), and/or (b) guarantee that when a map does so factor (and
the index set has reasonable cardinality), the ultrafilters involved must be
principal.
A number of open questions and topics for further investigation are noted.
Keywords
homomorphism on an infinite direct product, ultraproduct,
slender group, algebraically compact group, cotorsion
abelian group