Prime Factorization of $m^2$
$begingroup$
If $m$ is a positive integer, explain why each prime in the prime factorization of $m^2$ must occur an even number of times.
I did a small proof, I was wondering what's a nice way to explain it aside from my explanation below:
Proof:
let $m=p_1^{e_1} p_2^{e_2}p_3^{e_3}cdots p_k^{e_k}$
Then $m^2=(p_1^{e_1})^2 (p_2^{e_2})^2(p_3^{e_3})^2cdots (p_k^{e_k})^2 = p_1^{2e_1}p_2^{2e_2}p_3^{2e_3}cdots p_k^{2e_k}$
These $p_i^{e_i}$ occur an even number of times any suggestions to make a more solid answer?
number-theory proof-verification prime-factorization
$endgroup$
|
show 1 more comment
$begingroup$
If $m$ is a positive integer, explain why each prime in the prime factorization of $m^2$ must occur an even number of times.
I did a small proof, I was wondering what's a nice way to explain it aside from my explanation below:
Proof:
let $m=p_1^{e_1} p_2^{e_2}p_3^{e_3}cdots p_k^{e_k}$
Then $m^2=(p_1^{e_1})^2 (p_2^{e_2})^2(p_3^{e_3})^2cdots (p_k^{e_k})^2 = p_1^{2e_1}p_2^{2e_2}p_3^{2e_3}cdots p_k^{2e_k}$
These $p_i^{e_i}$ occur an even number of times any suggestions to make a more solid answer?
number-theory proof-verification prime-factorization
$endgroup$
$begingroup$
I would not put both formulas for $m^2$ on the same line, but otherwise it's the right proof. Maybe say explicitly that raising to a power distributes over multiplication $(ab)^n=a^nb^n$ because multiplication is commutative. Otherwise, I think it's good.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:01
1
$begingroup$
One suggestion: you also need to explicitly invoke the uniqueness of prime factorizations to conclude that is the only such factorization of $m^2$ (else it might have another factorization where some prime has odd exponent).
$endgroup$
– Bill Dubuque
Jul 27 '17 at 2:02
$begingroup$
Actually don't say "These $p_i^{e_i}$ occur an even number of times. Say $p_i$ occurs $2e_i$ times which is even.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:02
$begingroup$
@GregoryGrant yeah thanks my issue was that explanation it did not sit well with me either.
$endgroup$
– OLE
Jul 27 '17 at 2:04
$begingroup$
@BillDubuque is their a nicer more stronger way of proving this?
$endgroup$
– OLE
Jul 27 '17 at 2:06
|
show 1 more comment
$begingroup$
If $m$ is a positive integer, explain why each prime in the prime factorization of $m^2$ must occur an even number of times.
I did a small proof, I was wondering what's a nice way to explain it aside from my explanation below:
Proof:
let $m=p_1^{e_1} p_2^{e_2}p_3^{e_3}cdots p_k^{e_k}$
Then $m^2=(p_1^{e_1})^2 (p_2^{e_2})^2(p_3^{e_3})^2cdots (p_k^{e_k})^2 = p_1^{2e_1}p_2^{2e_2}p_3^{2e_3}cdots p_k^{2e_k}$
These $p_i^{e_i}$ occur an even number of times any suggestions to make a more solid answer?
number-theory proof-verification prime-factorization
$endgroup$
If $m$ is a positive integer, explain why each prime in the prime factorization of $m^2$ must occur an even number of times.
I did a small proof, I was wondering what's a nice way to explain it aside from my explanation below:
Proof:
let $m=p_1^{e_1} p_2^{e_2}p_3^{e_3}cdots p_k^{e_k}$
Then $m^2=(p_1^{e_1})^2 (p_2^{e_2})^2(p_3^{e_3})^2cdots (p_k^{e_k})^2 = p_1^{2e_1}p_2^{2e_2}p_3^{2e_3}cdots p_k^{2e_k}$
These $p_i^{e_i}$ occur an even number of times any suggestions to make a more solid answer?
number-theory proof-verification prime-factorization
number-theory proof-verification prime-factorization
edited Jul 27 '17 at 2:07
Bill Dubuque
213k29196654
213k29196654
asked Jul 27 '17 at 1:59
OLEOLE
463419
463419
$begingroup$
I would not put both formulas for $m^2$ on the same line, but otherwise it's the right proof. Maybe say explicitly that raising to a power distributes over multiplication $(ab)^n=a^nb^n$ because multiplication is commutative. Otherwise, I think it's good.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:01
1
$begingroup$
One suggestion: you also need to explicitly invoke the uniqueness of prime factorizations to conclude that is the only such factorization of $m^2$ (else it might have another factorization where some prime has odd exponent).
$endgroup$
– Bill Dubuque
Jul 27 '17 at 2:02
$begingroup$
Actually don't say "These $p_i^{e_i}$ occur an even number of times. Say $p_i$ occurs $2e_i$ times which is even.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:02
$begingroup$
@GregoryGrant yeah thanks my issue was that explanation it did not sit well with me either.
$endgroup$
– OLE
Jul 27 '17 at 2:04
$begingroup$
@BillDubuque is their a nicer more stronger way of proving this?
$endgroup$
– OLE
Jul 27 '17 at 2:06
|
show 1 more comment
$begingroup$
I would not put both formulas for $m^2$ on the same line, but otherwise it's the right proof. Maybe say explicitly that raising to a power distributes over multiplication $(ab)^n=a^nb^n$ because multiplication is commutative. Otherwise, I think it's good.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:01
1
$begingroup$
One suggestion: you also need to explicitly invoke the uniqueness of prime factorizations to conclude that is the only such factorization of $m^2$ (else it might have another factorization where some prime has odd exponent).
$endgroup$
– Bill Dubuque
Jul 27 '17 at 2:02
$begingroup$
Actually don't say "These $p_i^{e_i}$ occur an even number of times. Say $p_i$ occurs $2e_i$ times which is even.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:02
$begingroup$
@GregoryGrant yeah thanks my issue was that explanation it did not sit well with me either.
$endgroup$
– OLE
Jul 27 '17 at 2:04
$begingroup$
@BillDubuque is their a nicer more stronger way of proving this?
$endgroup$
– OLE
Jul 27 '17 at 2:06
$begingroup$
I would not put both formulas for $m^2$ on the same line, but otherwise it's the right proof. Maybe say explicitly that raising to a power distributes over multiplication $(ab)^n=a^nb^n$ because multiplication is commutative. Otherwise, I think it's good.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:01
$begingroup$
I would not put both formulas for $m^2$ on the same line, but otherwise it's the right proof. Maybe say explicitly that raising to a power distributes over multiplication $(ab)^n=a^nb^n$ because multiplication is commutative. Otherwise, I think it's good.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:01
1
1
$begingroup$
One suggestion: you also need to explicitly invoke the uniqueness of prime factorizations to conclude that is the only such factorization of $m^2$ (else it might have another factorization where some prime has odd exponent).
$endgroup$
– Bill Dubuque
Jul 27 '17 at 2:02
$begingroup$
One suggestion: you also need to explicitly invoke the uniqueness of prime factorizations to conclude that is the only such factorization of $m^2$ (else it might have another factorization where some prime has odd exponent).
$endgroup$
– Bill Dubuque
Jul 27 '17 at 2:02
$begingroup$
Actually don't say "These $p_i^{e_i}$ occur an even number of times. Say $p_i$ occurs $2e_i$ times which is even.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:02
$begingroup$
Actually don't say "These $p_i^{e_i}$ occur an even number of times. Say $p_i$ occurs $2e_i$ times which is even.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:02
$begingroup$
@GregoryGrant yeah thanks my issue was that explanation it did not sit well with me either.
$endgroup$
– OLE
Jul 27 '17 at 2:04
$begingroup$
@GregoryGrant yeah thanks my issue was that explanation it did not sit well with me either.
$endgroup$
– OLE
Jul 27 '17 at 2:04
$begingroup$
@BillDubuque is their a nicer more stronger way of proving this?
$endgroup$
– OLE
Jul 27 '17 at 2:06
$begingroup$
@BillDubuque is their a nicer more stronger way of proving this?
$endgroup$
– OLE
Jul 27 '17 at 2:06
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
It's in fact an if and only if :
Each prime in "the" (due to uniqueness of p.f up to multiplication by units) prime factorization of $k$ occurs an even number of times, if and only if $k$ is a perfect square.
Suppose each prime in the prime factorization of $k$ occurs an even number of times, say $k = prod p_i^{r_i}$, where each $r_i$ is even. Then, you can see that if $b = prod p_i^{frac {r_i} 2}$, then $b$ is a well defined integer, and $b^2 = k$.
Conversely, note that if $k = m^2$ is a perfect square, then the prime factorization of $m = prod p_i^{r_i}$ suggests the prime factorization for $k = prod p_i^{2r_i}$. Since prime factorization is unique, it follows that $k$ can indeed only be prime factorized in the above form, and hence every prime appears evenly many times in the rime factorization.
Alternately, we can also go by this way : Suppose $p^r$ divides $m^2$, where $r$ is maximal. Suppose $r$ is even, then we are done. Otherwise, note that $r = 2k+1$, and we can write $p mid frac {m^2}{p^{2k}}$, so that $p$ divides a perfect square.
Hence, from here, using Euclid's lemma, that $p$ divides $ab$ implies $p$ divides $a$ or $p$ divides $b$, we get that taking $a=b=frac m{p^k}$, $p^{k+1} mid m$, or that $p^{2k+2} mid m^2$, a contradiction by uniqueness of prime factorization.
On a little inspection,the second proof is just a longer winded version of the first proof, but two is better than one, I suppose.
EXTENSION : If $m$ is a perfect $k$th power, then every prime that appears in the factorization does so, with multiplicity a multiple of $k$.
$endgroup$
add a comment |
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2373053%2fprime-factorization-of-m2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
It's in fact an if and only if :
Each prime in "the" (due to uniqueness of p.f up to multiplication by units) prime factorization of $k$ occurs an even number of times, if and only if $k$ is a perfect square.
Suppose each prime in the prime factorization of $k$ occurs an even number of times, say $k = prod p_i^{r_i}$, where each $r_i$ is even. Then, you can see that if $b = prod p_i^{frac {r_i} 2}$, then $b$ is a well defined integer, and $b^2 = k$.
Conversely, note that if $k = m^2$ is a perfect square, then the prime factorization of $m = prod p_i^{r_i}$ suggests the prime factorization for $k = prod p_i^{2r_i}$. Since prime factorization is unique, it follows that $k$ can indeed only be prime factorized in the above form, and hence every prime appears evenly many times in the rime factorization.
Alternately, we can also go by this way : Suppose $p^r$ divides $m^2$, where $r$ is maximal. Suppose $r$ is even, then we are done. Otherwise, note that $r = 2k+1$, and we can write $p mid frac {m^2}{p^{2k}}$, so that $p$ divides a perfect square.
Hence, from here, using Euclid's lemma, that $p$ divides $ab$ implies $p$ divides $a$ or $p$ divides $b$, we get that taking $a=b=frac m{p^k}$, $p^{k+1} mid m$, or that $p^{2k+2} mid m^2$, a contradiction by uniqueness of prime factorization.
On a little inspection,the second proof is just a longer winded version of the first proof, but two is better than one, I suppose.
EXTENSION : If $m$ is a perfect $k$th power, then every prime that appears in the factorization does so, with multiplicity a multiple of $k$.
$endgroup$
add a comment |
$begingroup$
It's in fact an if and only if :
Each prime in "the" (due to uniqueness of p.f up to multiplication by units) prime factorization of $k$ occurs an even number of times, if and only if $k$ is a perfect square.
Suppose each prime in the prime factorization of $k$ occurs an even number of times, say $k = prod p_i^{r_i}$, where each $r_i$ is even. Then, you can see that if $b = prod p_i^{frac {r_i} 2}$, then $b$ is a well defined integer, and $b^2 = k$.
Conversely, note that if $k = m^2$ is a perfect square, then the prime factorization of $m = prod p_i^{r_i}$ suggests the prime factorization for $k = prod p_i^{2r_i}$. Since prime factorization is unique, it follows that $k$ can indeed only be prime factorized in the above form, and hence every prime appears evenly many times in the rime factorization.
Alternately, we can also go by this way : Suppose $p^r$ divides $m^2$, where $r$ is maximal. Suppose $r$ is even, then we are done. Otherwise, note that $r = 2k+1$, and we can write $p mid frac {m^2}{p^{2k}}$, so that $p$ divides a perfect square.
Hence, from here, using Euclid's lemma, that $p$ divides $ab$ implies $p$ divides $a$ or $p$ divides $b$, we get that taking $a=b=frac m{p^k}$, $p^{k+1} mid m$, or that $p^{2k+2} mid m^2$, a contradiction by uniqueness of prime factorization.
On a little inspection,the second proof is just a longer winded version of the first proof, but two is better than one, I suppose.
EXTENSION : If $m$ is a perfect $k$th power, then every prime that appears in the factorization does so, with multiplicity a multiple of $k$.
$endgroup$
add a comment |
$begingroup$
It's in fact an if and only if :
Each prime in "the" (due to uniqueness of p.f up to multiplication by units) prime factorization of $k$ occurs an even number of times, if and only if $k$ is a perfect square.
Suppose each prime in the prime factorization of $k$ occurs an even number of times, say $k = prod p_i^{r_i}$, where each $r_i$ is even. Then, you can see that if $b = prod p_i^{frac {r_i} 2}$, then $b$ is a well defined integer, and $b^2 = k$.
Conversely, note that if $k = m^2$ is a perfect square, then the prime factorization of $m = prod p_i^{r_i}$ suggests the prime factorization for $k = prod p_i^{2r_i}$. Since prime factorization is unique, it follows that $k$ can indeed only be prime factorized in the above form, and hence every prime appears evenly many times in the rime factorization.
Alternately, we can also go by this way : Suppose $p^r$ divides $m^2$, where $r$ is maximal. Suppose $r$ is even, then we are done. Otherwise, note that $r = 2k+1$, and we can write $p mid frac {m^2}{p^{2k}}$, so that $p$ divides a perfect square.
Hence, from here, using Euclid's lemma, that $p$ divides $ab$ implies $p$ divides $a$ or $p$ divides $b$, we get that taking $a=b=frac m{p^k}$, $p^{k+1} mid m$, or that $p^{2k+2} mid m^2$, a contradiction by uniqueness of prime factorization.
On a little inspection,the second proof is just a longer winded version of the first proof, but two is better than one, I suppose.
EXTENSION : If $m$ is a perfect $k$th power, then every prime that appears in the factorization does so, with multiplicity a multiple of $k$.
$endgroup$
It's in fact an if and only if :
Each prime in "the" (due to uniqueness of p.f up to multiplication by units) prime factorization of $k$ occurs an even number of times, if and only if $k$ is a perfect square.
Suppose each prime in the prime factorization of $k$ occurs an even number of times, say $k = prod p_i^{r_i}$, where each $r_i$ is even. Then, you can see that if $b = prod p_i^{frac {r_i} 2}$, then $b$ is a well defined integer, and $b^2 = k$.
Conversely, note that if $k = m^2$ is a perfect square, then the prime factorization of $m = prod p_i^{r_i}$ suggests the prime factorization for $k = prod p_i^{2r_i}$. Since prime factorization is unique, it follows that $k$ can indeed only be prime factorized in the above form, and hence every prime appears evenly many times in the rime factorization.
Alternately, we can also go by this way : Suppose $p^r$ divides $m^2$, where $r$ is maximal. Suppose $r$ is even, then we are done. Otherwise, note that $r = 2k+1$, and we can write $p mid frac {m^2}{p^{2k}}$, so that $p$ divides a perfect square.
Hence, from here, using Euclid's lemma, that $p$ divides $ab$ implies $p$ divides $a$ or $p$ divides $b$, we get that taking $a=b=frac m{p^k}$, $p^{k+1} mid m$, or that $p^{2k+2} mid m^2$, a contradiction by uniqueness of prime factorization.
On a little inspection,the second proof is just a longer winded version of the first proof, but two is better than one, I suppose.
EXTENSION : If $m$ is a perfect $k$th power, then every prime that appears in the factorization does so, with multiplicity a multiple of $k$.
edited Jan 8 at 16:36
answered Jul 27 '17 at 2:59
астон вілла олоф мэллбэргастон вілла олоф мэллбэрг
40.1k33577
40.1k33577
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2373053%2fprime-factorization-of-m2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown

$begingroup$
I would not put both formulas for $m^2$ on the same line, but otherwise it's the right proof. Maybe say explicitly that raising to a power distributes over multiplication $(ab)^n=a^nb^n$ because multiplication is commutative. Otherwise, I think it's good.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:01
1
$begingroup$
One suggestion: you also need to explicitly invoke the uniqueness of prime factorizations to conclude that is the only such factorization of $m^2$ (else it might have another factorization where some prime has odd exponent).
$endgroup$
– Bill Dubuque
Jul 27 '17 at 2:02
$begingroup$
Actually don't say "These $p_i^{e_i}$ occur an even number of times. Say $p_i$ occurs $2e_i$ times which is even.
$endgroup$
– Gregory Grant
Jul 27 '17 at 2:02
$begingroup$
@GregoryGrant yeah thanks my issue was that explanation it did not sit well with me either.
$endgroup$
– OLE
Jul 27 '17 at 2:04
$begingroup$
@BillDubuque is their a nicer more stronger way of proving this?
$endgroup$
– OLE
Jul 27 '17 at 2:06