I just wanted to make sure about an issue.
Let $m, p= \text{prime}∈ ℕ-\{0\}$
If $$m≤p^k,$$
does the following exist? $$\gcd(m,p)≠1⟺ \gcd(m,p^k)≠1$$ and does the restriction $$m≤p^k$$ matter to the existence?
Thanks in advance!!!
I just wanted to make sure about an issue.
Let $m, p= \text{prime}∈ ℕ-\{0\}$
If $$m≤p^k,$$
does the following exist? $$\gcd(m,p)≠1⟺ \gcd(m,p^k)≠1$$ and does the restriction $$m≤p^k$$ matter to the existence?
Thanks in advance!!!
$m \le p^k$ is not required. If gcd$(m,p) \neq1$ then $m$ and $p$ must share a common factor, because the only factor of $p$ is $p$ (and one, but we will not need to worry about that) then at least $p$ must be a factor of $m$. If we now look at gcd$(m,p^k)$ $p^k$ will have a factor of $p$ and we already know that $m$ has a factor of $p$ and therefore gcd$(m,p^k) \neq1$ as it must at least be equal to $p$. At no point have we required $m \le p^k$.