Citat:
Ursprungligen postat av spudwish
"Any homomorphism f : Z/n -> Z/k is completely determined by f(1), and this must be an element m of Z/k whose order is a divisor of n. If a is in the group (M,+) and has finite order, then o(a)|n iff na=0. Applying this result to m in Z/k, we have o(m+kZ)|n iff n(m+kZ) = 0+kZ, which happens iff k|nm."
Jag förstår inte resonemangen här. f(1) är ett element m i Z/k, ja. Jag vet inte varför det kategoriserar Hom(Z/n,Z/k) att konstatera när o(m+kZ) delar n?
Delar upp det där:
a) Any homomorphism f : Z/n -> Z/k is completely determined by f(1),
b) and this must be an element m of Z/k whose order is a divisor of n.
Jag är inte helt säker på din fråga, men som jag tolkar det så är du med på a), men undrar om varför b) är sann?
Då kan man tänka såhär: Antag att f är en homomorfi. Då är
f(0) = f(n*1).
Men då är
f(0) = f(n*1) = n*f(1) = nm.
Eftersom f(0) = 0 också måste gälla så har vi alltså nm = 0 i Z/k, eller med andra ord k | nm.