Which Homomorphisms are Injective and Surjective between Z plus and Z plus?

  • Context: Graduate 
  • Thread starter Thread starter sleventh
  • Start date Start date
  • Tags Tags
    Properties
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
2 replies · 4K views
sleventh
Messages
61
Reaction score
0
I am wondering what are the possible homomorphisms
[itex]\tau[/itex] : [itex]Z[/itex][itex]\overline{+}[/itex] -> [itex]Z[/itex][itex]\overline{+}[/itex]

From this it should be possible to determine which is injective, surjective, and which are isomorphic.

Homomorphisms between Z plus to Z plus will all be of the form [itex]\tau[/itex](x) = nx
since [itex]\tau[/itex](x) = [itex]\tau[/itex](1)[itex]\underline{1}[/itex] + [itex]\tau[/itex](1)[itex]\underline{2}[/itex] + ... + [itex]\tau[/itex](1)[itex]\underline{x}[/itex]

since we have a homomorphism and x is one summed x times.

all are injective

now I am not sure how to tell which are surjective
 
Physics news on Phys.org
sleventh said:
I am wondering what are the possible homomorphisms
[itex]\tau[/itex] : [itex]Z[/itex][itex]\overline{+}[/itex] -> [itex]Z[/itex][itex]\overline{+}[/itex]

From this it should be possible to determine which is injective, surjective, and which are isomorphic.

Homomorphisms between Z plus to Z plus will all be of the form [itex]\tau[/itex](x) = nx
since [itex]\tau[/itex](x) = [itex]\tau[/itex](1)[itex]\underline{1}[/itex] + [itex]\tau[/itex](1)[itex]\underline{2}[/itex] + ... + [itex]\tau[/itex](1)[itex]\underline{x}[/itex]

since we have a homomorphism and x is one summed x times.

all are injective

now I am not sure how to tell which are surjective


What kind of algebraic structure and under what operation(s) you think "Z plus" (the natural numbers, I presume?) is for you to talk about "homomorphisms"? Perhaps a monoid?
Tonio
 
DonAntonio said:
What kind of algebraic structure and under what operation(s) you think "Z plus" (the natural numbers, I presume?) is for you to talk about "homomorphisms"? Perhaps a monoid?
Tonio

I'm guessing he means the group ##(\mathbb{Z},+)##, the group of integers under addition.

sleventh, you're right that each homomorphism can be written ##\tau_n(x) = nx## for an integer n. (Since ##\mathbb{Z}## is generated by 1, everything is determined by ##\tau_n(1)##.) Can you write out the range of the homomorphism for each n? There shouldn't be very many that are surjective.

Also, not all are injective. I can think of one homomorphism (a boring one, admittedly) that isn't.