(Apparently) simple question rearding module homomorphisms

  • Context:
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Homomorphisms module
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Dummit and Foote Chapter 10: Introduction to Module Theory.

I am having difficulty seeing exactly why a conclusion to Proposition 27 that D&F claim is "immediate":

I hope someone can help.

Proposition 27 and its proof read as follows:

https://www.physicsforums.com/attachments/2461

In the first line of the proof (see above) D&F state the following:

"The fact that $$ \psi $$ is a homomorphism is immediate."

Can someone please explain exactly why $$ \psi $$ is a homomorphism?

Would appreciate some help.

Peter
 
Last edited:
Physics news on Phys.org
We have to verify that for:

$f,g \in \text{Hom}_R(D,L)$ that:

$\psi'(f+g) = \psi'(f) + \psi'(g)$ in $\text{Hom}_R(D,M)$.

To do this, let's take an arbitrary element $d \in D$.

Then:

$(\psi'(f+g))(d) = (\psi \circ (f+g))(d) = \psi((f+g)(d)) = \psi(f(d)+g(d)) = \psi(f(d)) + \psi(g(d))$ (since $\psi$ is a module homomorphism)

$= (\psi \circ f)(d) + (\psi \circ g)(d) = (\psi'(f))(d) + (\psi'(g))(d) = (\psi'(f) + \psi'(g))(d)$.

Since these two functions are equal for every $d \in D$, they are the same element of $\text{Hom}_R(D,M)$.