Next:
Example 11.1:
Up:
Exercises
Previous:
Theorem 11.7:
Proof:
Let
be a retraction such that
id
. By (the proof of) theorem 11.6,
is injective. But the composition
id
shows that
is surjective. Hence
establishes an isomorphism between
and
.
nisha 2012-03-20