MHB (Apparently) simple question rearding module homomorphisms

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)$.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K