# Section 2.2: Problem 22 Solution

Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.

James R. Munkres

Assume that
is a structure and
is a function with
. Show that there is a structure
such that
is a homomorphism of
onto
.

*Suggestion*: We need to take . In general, the axiom of choice will be needed to define the functions in , unless is one-to-one.*Remark*: The result yields an “upward Löwenheim–Skolem theorem without equality” (cf. Section 2.6). That is, any structure has an extension to a structure of any higher cardinality such that and are elementarily equivalent, except for equality. There is nothing deep about this. Not until you add equality.

As suggested, let
, and we define the structure
having the universe
. Note that
and is onto. For any
, let
be any point from the non-empty set
(here we use the Axiom of Choice). For any predicate symbol
, let
iff
. For any constant symbol
, let
. Similarly, for any function symbol
, let
. Then, the homomorphism property holds for any predicate parameter by definition. For any constant parameter,
. And for every function parameter,
. Therefore,
is a homomorphism of
onto
.