MHB Exact Sequences - extending or lifting homomorphisms

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
Dummit and Foote open their section (part of section 10.5) on projective modules as follows:View attachment 2463D&F then deal with the issue of obtaining a homomorphism from D to M given a homomorphism from D to L and then move to the more problematic issue of obtaining a homomorphism from D to M given a homomorphism from D to N. (Strangely they refer to N as "the quotient N?). The relevant text reads as follows:

View attachment 2464
D&F then give an example ... and my question pertains to this example ... the example reads as follows:
View attachment 2465In this example, D&F make the following statement:

"Any homomorphism $$F$$ of $$D$$ into $$M = \mathbb{Z} $$must map $$D$$ to $$0$$ (since $$D$$ has no elements of order $$2$$)"

Can someone please explain why this statement is true?

I am aware that isomorphisms map elements of a given order onto elements of the same order, but here we are only dealing with a homomorphism.

Also $$0$$ does not have order $$2$$ anyway!

Can someone please clarify these issues?

Peter
 
Physics news on Phys.org
It appears that when D&F say "order" they mean "additive order".

Now, while it is true that homomorphisms of additive groups do not PRESERVE order, the image's order always DIVIDES the order of any pre-image. Since 2 is prime, if an image of an element of order 2 from $\Bbb Z/2 \Bbb Z$ (that is to say 1, the only element which HAS order 2) does not have order 2, it must have order 1 (that is, is the additive identity).

So the only possible abelian group homomorphism (that is, $\Bbb Z$-module homomorphism) $\Bbb Z/2 \Bbb Z \to \Bbb Z$ is the 0-map (the integers under addition only contains ONE finite cyclic subgroup, the trivial one).

Try to keep in mind that modules are "mostly abelian groups" with a little ring action mixed in for spice. The addition is the DOMINANT operation (we'll pretend we don't know about tensor products for this discussion, where the scalar multiplication makes a BIG difference).
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top