Count of Distinct Homomorphisms between Additive Groups of Integers Modulo m

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $m, n \in \Z_{>0}$ be (strictly) positive integers.

Let $\struct {\Z_m, +}$ denote the additive group of integers modulo $m$.


The number of distinct homomorphisms $\phi: \struct {\Z_m, +} \to \struct {\Z_n, +}$ is $\gcd \set {m, n}$.


Proof


This article needs to be linked to other articles.
In particular: Missing a lot of links I think...especially the last step. The result should exist in $\mathsf{Pr} \infty \mathsf{fWiki}$, but I don't know where it is.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.


$\Z_m$ is isomorphic to the quotient group $\Z / m\Z$.

By Universal Property of Quotient Group, to give a group homomorphism from $\Z_m$ to $\Z_n$ is equivalent to give a homomorphism $\varphi$ from $\Z$ to $\Z_n$ with kernel including the subgroup $m\Z \subset \Z$.

$\Z$ is generated by the element $1$.

By Homomorphism of Generated Group, $\varphi$ is determined by $\map \varphi 1$.

The kernel condition means $\map \varphi m = m \map \varphi 1 = 0 \in \Z_n$.


Work In Progress
In particular: Links consisting completely of $\LaTeX$ are problematical, sorry, will address at some stage
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{WIP}} from the code.


Number of possible such $\map \varphi 1$ is exactly $\gcd \set {m, n}$.

$\blacksquare$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Count_of_Distinct_Homomorphisms_between_Additive_Groups_of_Integers_Modulo_m&oldid=736030"