# Math Help - Divisibility (gcd) 15

1. ## Divisibility (gcd) 15

Show that:

$n \in \mathbb{N},$

$(a,b)=1 \Rightarrow (a^{n},b^{n})=1$

2. Let the prime factoirzations be: $a = p_1^{e_1}p_2^{e_2}\cdots p_n^{e_n}$ and $b = q_1^{f_1}q_2^{f_2}\cdots q_m^{f_m}$ .

Since $(a,b)=1$, there are no common factors between them, i.e. $p_i \neq q_j$ for any $1 \leq i \leq n$, $1 \leq j \leq m$.

What can you say about $a^n$ and $b^n$?

3. $a^n = (p_1^{e_1})^{n}(p_2^{e_2})^{n}\cdots (p_n^{e_n})^{n}$

$b ^n= (q_1^{f_1})^{n}(q_2^{f_2})^{n}\cdots (q_m^{f_m})^{n}$

and

I think...

$(a,b)=(p_1^{e_1}p_2^{e_2}\cdots p_n^{e_n},q_1^{f_1}q_2^{f_2}\cdots q_m^{f_m})=1 \Rightarrow (p_i,q_j)=1, \hspace{0.3cm}p_i \neq q_j ,\hspace{0.3cm}1 \leq i \leq n$, $1 \leq j \leq m$.

4. Suppose $(a^n,b^n)>1$ then there is a prime $p$ such that $p|a^n$ and $p|b^n$

You can check by Euclid's Lemma that we must have $p|a$ and $p|b$ thus $(a,b)\geq{p}>1$ CONTRADICTION!

5. I understand......

Thanks a million......
{"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, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.995598554611206, "perplexity": 635.6950272741084}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-35/segments/1408500959239.73/warc/CC-MAIN-20140820021559-00160-ip-10-180-136-8.ec2.internal.warc.gz"}