# Thread:

1. ## Group Homomorphisms

I am trying to understand homomorphisms from $Z_n$ to $Z_k$ and despite some help from earlier posts am still struggling.

I am thus reading Beachy and Blair: Abstract Algebra on group homomorphisms and am trying to follow Example 3.7.7 on page 156 which seeks to determine all homomorphisms from $Z_n$ to $Z_k$ (see relevant page attached). I can follow this example but am having trouble with a particular step.

I will present their argument down to the problematic step - and I will make the example more concrete by seeking to determine all homomorphisms $\phi$: $Z_6$ $\rightarrow$ $Z_{10}$

In terms of my particular example the argument of Beachy and Blair is as follows:

================================================== ====
Consider $\phi$: $Z_6$ $\rightarrow$ $Z_{10}$

Any such homomorphism is completely determined by $\phi$ ( $[1]_6$), and this must be an element $[m]_{10}$ of $Z_{10}$ whose order is a divisor of 6.

In an abelian group with the operation denoted additively we have that if o(a) | n if and only if n.a = 0.

Applying this result to $[m]_{10}$ in $Z_{10}$ we have o( $[m]_{10}$) | 6 if and only if n. $[m]_{10}$ = $[0]_{10}$ which happens if and only if 10 | 6m (Beachy and Blair ask us to compare with Exercise 11 of Section 2.1 - see other attached sheet)

etc etc - see attached sheet
================================================== ==

My question is how does the step that concludes " which happens if and only if 10 | 6m" follow ie how does this last step of the argument follow?

I would be grateful for any help!

Peter
Attached Files
• Beachy & Blair - Group Homomorphisms - Page 156.pdf (61.0 KB, 11 views)
• Beachy & Blair - Exercise 11 - Section 2.1.pdf (57.6 KB, 10 views)
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 21, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9004425406455994, "perplexity_flag": "middle"}