Hey, I'm a little stumped on this basic number theory question. The solution is probably staring me in the face, but for some reason it's eluding me...(adsbygoogle = window.adsbygoogle || []).push({});

If [tex]a^n | b^n[/tex], prove that [tex]a|b[/tex].

So, say that [tex]a^n \cdot x = b^n[/tex] for some integer [tex]x[/tex], there's not a lot I can go to from there. We do get that [tex]a | b^n[/tex] and that [tex]a^k | b^n[/tex] for all [tex] k \leq n[/tex], but I can't find a way in which that's useful.

I also tried using induction on [tex]n[/tex]. The base case is trivial. For the inductive case, assume that [tex]a^n | b^n[/tex] implies that [tex]a | b[/tex]. Then we must prove that [tex] a^{n+1} | b^{n+1} [/tex] implies that [tex] a|b[/tex]. So assume that [tex] a^{n+1} | b^{n+1}[/tex]. Then we get [tex]a^n | b^{n+1}[/tex], but I actually would need to show that [tex]a^n | b^{n} [/tex] and I can't figure out how to get there.

Am I totally missing something? I think I'm overthinking this. Nothing is coming. I'd appreciate any ideas on what to try next. Thanks.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A little stumped on a number theory question

Loading...

Similar Threads - little stumped number | Date |
---|---|

I Fermat's Little Theorem ... Anderson and Feil, Theorem 8.7 . | Feb 26, 2017 |

Simple fundamental subspaces problem stumping me | Dec 10, 2015 |

Little help with tensor antisymmetrization | Dec 20, 2014 |

Little question about eigenvalues | Dec 16, 2014 |

Complexity Big O, little o | Sep 9, 2012 |

**Physics Forums - The Fusion of Science and Community**