Is it possible to generalize it?

sukyung

Denote Z_n=(0.1.2....n-1)

Then could I generalize the number of homomorphism H:Z_n -> Z_m as

gcd(n, m)=#(H:Z_n -> Z_m) ?

(Don't consider the case H:Z -> Z)

For example #(H: Z_4 -> Z_2)=2
#(H: Z_12 -> Z_5)= 1 (obviously the trivial one)

Tinyboss

Yes, and in fact [tex]Hom_\mathbb{Z}(Z_n,Z_m) \cong Z_{(n,m)}[/tex], that is, the homomorphisms from Z_n to Z_m form a cyclic group of order gcd(n,m).

Similar Threads for: Is it possible to generalize it?
Thread	Forum	Replies
How to generalize determinant and cross product	Linear & Abstract Algebra	16
how do i generalize this result to higher dimensions? (arc length, surface area)	Calculus	0
generalize? this proof?	Set Theory, Logic, Probability, Statistics	4
Def. Continuity in terms of sequences: How do I generalize to multivariate fcns?	Calculus	6

sukyung	Is it possible to generalize it? Tweet Denote Z_n=(0.1.2....n-1) Then could I generalize the number of homomorphism H:Z_n -> Z_m as gcd(n, m)=#(H:Z_n -> Z_m) ? (Don't consider the case H:Z -> Z) For example #(H: Z_4 -> Z_2)=2 #(H: Z_12 -> Z_5)= 1 (obviously the trivial one)

Tinyboss	Yes, and in fact [tex]Hom_\mathbb{Z}(Z_n,Z_m) \cong Z_{(n,m)}[/tex], that is, the homomorphisms from Z_n to Z_m form a cyclic group of order gcd(n,m).