I am reading Dummit and Foote, Chapter 10, Section 10.5, Exact Sequences - Projective, Injective and Flat Modules.(adsbygoogle = window.adsbygoogle || []).push({});

I need help with a minor step of D&F, Chapter 10, Theorem 28 on liftings of homomorphisms.

In the proof of the first part of the theorem (see image below) D&F make the following statement:

-------------------------------------------------------------------------------

Conversely, if F is in the image of [itex] \psi'[/itex] then [itex] F = \psi' (F') [/itex] for some [itex] F' \in Hom_R (D, L) [/itex] and so [itex] \phi ( F (d) )) = \phi ( \psi ( F' (d))) [/itex] for any [itex]d \in D[/itex]. ...

----------------------------------------------------------------------------

My problem is that surely [itex] F = \psi' (F') [/itex] implies that [itex] \phi ( F (d) )) = \phi ( \psi' ( F' (d))) [/itex] and NOT [itex] \phi ( F (d) )) = \phi ( \psi ( F' (d))) [/itex]?

Hoping someone can help>

Theorem 28 and the first part of the proof read as follows:

Peter

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Exact Sequences - Lifting Homomorphisms - D&F Ch 10 - Theorem 28

Loading...

Similar Threads - Exact Sequences Lifting | Date |
---|---|

I Prove the sequence is exact: 0 → ker(f) → V → im(f) → 0 | Dec 4, 2016 |

I Trouble with exact sequence | Sep 15, 2016 |

I Split Exact Sequences ... Bland, Proposition 3.2.7 | Aug 6, 2016 |

Short exact sequences | May 2, 2015 |

Short Exact Sequences and at Tensor Product | Jul 14, 2014 |

**Physics Forums - The Fusion of Science and Community**