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
Click For Summary
SUMMARY

The discussion focuses on the homomorphisms between the additive group of integers, denoted as \( \mathbb{Z} \), and itself. All homomorphisms can be expressed in the form \( \tau_n(x) = nx \) for an integer \( n \). While all homomorphisms are injective when \( n \neq 0 \), not all are surjective; specifically, only those where \( n \) is a positive integer yield a surjective mapping. The discussion also touches on the algebraic structure of \( \mathbb{Z} \) under addition, confirming it as a group.

PREREQUISITES
  • Understanding of group theory, specifically the properties of homomorphisms.
  • Familiarity with the additive group of integers, \( \mathbb{Z} \).
  • Knowledge of injective and surjective functions in mathematical contexts.
  • Basic algebraic structures, including monoids and groups.
NEXT STEPS
  • Explore the concept of group homomorphisms in detail, focusing on their properties and classifications.
  • Investigate the conditions under which a homomorphism is surjective, particularly in the context of \( \mathbb{Z} \).
  • Study examples of non-injective homomorphisms and their implications in group theory.
  • Learn about isomorphic groups and how to determine isomorphism between different algebraic structures.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in the properties of homomorphisms and group theory will benefit from this discussion.

sleventh
Messages
61
Reaction score
0
I am wondering what are the possible homomorphisms
\tau : Z\overline{+} -> Z\overline{+}

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 \tau(x) = nx
since \tau(x) = \tau(1)\underline{1} + \tau(1)\underline{2} + ... + \tau(1)\underline{x}

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
\tau : Z\overline{+} -> Z\overline{+}

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 \tau(x) = nx
since \tau(x) = \tau(1)\underline{1} + \tau(1)\underline{2} + ... + \tau(1)\underline{x}

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.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 9 ·
Replies
9
Views
27K