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)$.
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...