(Apparently) simple question rearding module homomorphisms

  • Context: MHB 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Homomorphisms module
Click For Summary
SUMMARY

The discussion centers on Proposition 27 from Dummit and Foote's "Abstract Algebra," specifically regarding the verification of a homomorphism in module theory. The proof demonstrates that if \( f, g \in \text{Hom}_R(D,L) \), then \( \psi'(f+g) = \psi'(f) + \psi'(g) \) holds true, confirming that \( \psi \) is indeed a homomorphism. The key step involves showing that the composition of \( \psi \) with the sum of functions \( f \) and \( g \) maintains the homomorphic property, thereby establishing the conclusion of the proposition as immediate.

PREREQUISITES
  • Understanding of module theory and homomorphisms
  • Familiarity with the notation and concepts in Dummit and Foote's "Abstract Algebra"
  • Basic knowledge of function composition in mathematics
  • Proficiency in algebraic structures, particularly modules over rings
NEXT STEPS
  • Study the properties of homomorphisms in module theory
  • Review Chapter 10 of Dummit and Foote for deeper insights into module homomorphisms
  • Explore examples of homomorphisms in different algebraic structures
  • Learn about the implications of Proposition 27 in broader algebraic contexts
USEFUL FOR

Students and educators in abstract algebra, particularly those studying module theory, as well as mathematicians seeking clarification on homomorphism properties and their applications in algebraic structures.

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)$.
 

Similar threads

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