prime numbers and expressing non-prime numbers
$begingroup$
My textbook says if $b$ is a non-prime number then it can be expressed as a product of prime numbers. But if $1$ isn't prime how it can be expressed as a product of prime numbers?
number-theory elementary-number-theory prime-numbers
$endgroup$
add a comment |
$begingroup$
My textbook says if $b$ is a non-prime number then it can be expressed as a product of prime numbers. But if $1$ isn't prime how it can be expressed as a product of prime numbers?
number-theory elementary-number-theory prime-numbers
$endgroup$
8
$begingroup$
An empty product is still a product.
$endgroup$
– lulu
Apr 16 at 20:09
3
$begingroup$
The standard modern day view is that the number 1 is neither prime nor composite.
$endgroup$
– Martin Hansen
Apr 16 at 20:11
add a comment |
$begingroup$
My textbook says if $b$ is a non-prime number then it can be expressed as a product of prime numbers. But if $1$ isn't prime how it can be expressed as a product of prime numbers?
number-theory elementary-number-theory prime-numbers
$endgroup$
My textbook says if $b$ is a non-prime number then it can be expressed as a product of prime numbers. But if $1$ isn't prime how it can be expressed as a product of prime numbers?
number-theory elementary-number-theory prime-numbers
number-theory elementary-number-theory prime-numbers
edited Apr 16 at 21:33
Mr. Brooks
27311339
27311339
asked Apr 16 at 20:08
Ahmed M. ElsonbatyAhmed M. Elsonbaty
744
744
8
$begingroup$
An empty product is still a product.
$endgroup$
– lulu
Apr 16 at 20:09
3
$begingroup$
The standard modern day view is that the number 1 is neither prime nor composite.
$endgroup$
– Martin Hansen
Apr 16 at 20:11
add a comment |
8
$begingroup$
An empty product is still a product.
$endgroup$
– lulu
Apr 16 at 20:09
3
$begingroup$
The standard modern day view is that the number 1 is neither prime nor composite.
$endgroup$
– Martin Hansen
Apr 16 at 20:11
8
8
$begingroup$
An empty product is still a product.
$endgroup$
– lulu
Apr 16 at 20:09
$begingroup$
An empty product is still a product.
$endgroup$
– lulu
Apr 16 at 20:09
3
3
$begingroup$
The standard modern day view is that the number 1 is neither prime nor composite.
$endgroup$
– Martin Hansen
Apr 16 at 20:11
$begingroup$
The standard modern day view is that the number 1 is neither prime nor composite.
$endgroup$
– Martin Hansen
Apr 16 at 20:11
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
What is the sum of no numbers at all? Zero, of course, since it is the additive identity: $x + 0 = 0$, where $x neq 0$, or even if it is.
Now, what is the product of no numbers at all? It can't be zero, since, maintaining the stipulation that $x neq 0$, we have $x times 0 = 0$, and we said $x neq 0$. The multiplicative identity is $1$, since $x times 1 = 1$.
Hence, the product of no primes at all is $1$. The fundamental theorem of arithmetic is a subtlety that's unnecessary for answering your question.
$endgroup$
add a comment |
$begingroup$
This is mainly just an extended comment on Peter Foreman's answer. The (relatively difficult) uniqueness aspect of the Fundamental Theorem of Arithmetic is not needed for the OP's question, just the (easier) existence aspect.
What's missing from the OP's textbook is the qualifier in the correct assertion that every non-prime number greater than $1$ can be expressed as a product of primes. This is the existence aspect of FTA, and it can be proved by strong induction: If $ngt1$ is not a prime, then $n=ab$ for some pair of integers with $1lt a,b$. Both $a$ and $b$ must be less than $n$ (otherwise their product would be more than $n$), so we can assume, by strong induction, that each of them can be written as a product of primes, hence so can their product, which is $n$.
Remark: "Strong" induction means that you don't just assume an assertion is true for $n-1$ and then prove it for $n$, you assume it's true for all positive integers $klt n$. In this case the assertion is "if $kgt1$ and $k$ is non-prime, then $k$ can be written as a product of primes." Note that the base case, $k=1$, is vacuously true, because $1$ is not greater than $1$.
$endgroup$
add a comment |
$begingroup$
An empty product is still a product.
Lulu's comment is sufficient to answer what you asked. Although you didn't state any constraints on $b$, I understand your question to be specifically about the case $b = 1$. And that's neatly addressed just by the concept of the empty product alone.
But then why is everyone talking about the fundamental theorem of arithmetic? Its overuse is part of the reason.
But also because it's kind of implied by the idea of $b$ being the product of primes. For, after all, if a number domain does not have unique factorization, then it probably has numbers that are divisible by irreducible non-primes but not by any primes.
However, even if we're only talking about $mathbb Z$, I think it's still more productive (pun fully intended) to say numbers in a unique factorization domain are divisible by units and primes: the units may vary in infinitely many ways, but the primes can only vary in regards to order.
And so we're not the least bit baffled about the number 1, since it's a product of units in several different ways (e.g., $(-1)^2 =$ $ (-1)^4 times 1 = $ $ldots$) and an empty product of primes.
Nor are we baffled by negative numbers, even if we stubbornly refuse the sensible idea that negative numbers can be prime. For example, $-14 = (-1) times 2 times 7$.
And $-1$ is the product of the unit $-1$ and an empty product of primes, which is, of course, 1.
This only leaves out the very special case of 0.
$endgroup$
add a comment |
Your Answer
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%2f3190287%2fprime-numbers-and-expressing-non-prime-numbers%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
What is the sum of no numbers at all? Zero, of course, since it is the additive identity: $x + 0 = 0$, where $x neq 0$, or even if it is.
Now, what is the product of no numbers at all? It can't be zero, since, maintaining the stipulation that $x neq 0$, we have $x times 0 = 0$, and we said $x neq 0$. The multiplicative identity is $1$, since $x times 1 = 1$.
Hence, the product of no primes at all is $1$. The fundamental theorem of arithmetic is a subtlety that's unnecessary for answering your question.
$endgroup$
add a comment |
$begingroup$
What is the sum of no numbers at all? Zero, of course, since it is the additive identity: $x + 0 = 0$, where $x neq 0$, or even if it is.
Now, what is the product of no numbers at all? It can't be zero, since, maintaining the stipulation that $x neq 0$, we have $x times 0 = 0$, and we said $x neq 0$. The multiplicative identity is $1$, since $x times 1 = 1$.
Hence, the product of no primes at all is $1$. The fundamental theorem of arithmetic is a subtlety that's unnecessary for answering your question.
$endgroup$
add a comment |
$begingroup$
What is the sum of no numbers at all? Zero, of course, since it is the additive identity: $x + 0 = 0$, where $x neq 0$, or even if it is.
Now, what is the product of no numbers at all? It can't be zero, since, maintaining the stipulation that $x neq 0$, we have $x times 0 = 0$, and we said $x neq 0$. The multiplicative identity is $1$, since $x times 1 = 1$.
Hence, the product of no primes at all is $1$. The fundamental theorem of arithmetic is a subtlety that's unnecessary for answering your question.
$endgroup$
What is the sum of no numbers at all? Zero, of course, since it is the additive identity: $x + 0 = 0$, where $x neq 0$, or even if it is.
Now, what is the product of no numbers at all? It can't be zero, since, maintaining the stipulation that $x neq 0$, we have $x times 0 = 0$, and we said $x neq 0$. The multiplicative identity is $1$, since $x times 1 = 1$.
Hence, the product of no primes at all is $1$. The fundamental theorem of arithmetic is a subtlety that's unnecessary for answering your question.
answered Apr 16 at 21:16
Mr. BrooksMr. Brooks
27311339
27311339
add a comment |
add a comment |
$begingroup$
This is mainly just an extended comment on Peter Foreman's answer. The (relatively difficult) uniqueness aspect of the Fundamental Theorem of Arithmetic is not needed for the OP's question, just the (easier) existence aspect.
What's missing from the OP's textbook is the qualifier in the correct assertion that every non-prime number greater than $1$ can be expressed as a product of primes. This is the existence aspect of FTA, and it can be proved by strong induction: If $ngt1$ is not a prime, then $n=ab$ for some pair of integers with $1lt a,b$. Both $a$ and $b$ must be less than $n$ (otherwise their product would be more than $n$), so we can assume, by strong induction, that each of them can be written as a product of primes, hence so can their product, which is $n$.
Remark: "Strong" induction means that you don't just assume an assertion is true for $n-1$ and then prove it for $n$, you assume it's true for all positive integers $klt n$. In this case the assertion is "if $kgt1$ and $k$ is non-prime, then $k$ can be written as a product of primes." Note that the base case, $k=1$, is vacuously true, because $1$ is not greater than $1$.
$endgroup$
add a comment |
$begingroup$
This is mainly just an extended comment on Peter Foreman's answer. The (relatively difficult) uniqueness aspect of the Fundamental Theorem of Arithmetic is not needed for the OP's question, just the (easier) existence aspect.
What's missing from the OP's textbook is the qualifier in the correct assertion that every non-prime number greater than $1$ can be expressed as a product of primes. This is the existence aspect of FTA, and it can be proved by strong induction: If $ngt1$ is not a prime, then $n=ab$ for some pair of integers with $1lt a,b$. Both $a$ and $b$ must be less than $n$ (otherwise their product would be more than $n$), so we can assume, by strong induction, that each of them can be written as a product of primes, hence so can their product, which is $n$.
Remark: "Strong" induction means that you don't just assume an assertion is true for $n-1$ and then prove it for $n$, you assume it's true for all positive integers $klt n$. In this case the assertion is "if $kgt1$ and $k$ is non-prime, then $k$ can be written as a product of primes." Note that the base case, $k=1$, is vacuously true, because $1$ is not greater than $1$.
$endgroup$
add a comment |
$begingroup$
This is mainly just an extended comment on Peter Foreman's answer. The (relatively difficult) uniqueness aspect of the Fundamental Theorem of Arithmetic is not needed for the OP's question, just the (easier) existence aspect.
What's missing from the OP's textbook is the qualifier in the correct assertion that every non-prime number greater than $1$ can be expressed as a product of primes. This is the existence aspect of FTA, and it can be proved by strong induction: If $ngt1$ is not a prime, then $n=ab$ for some pair of integers with $1lt a,b$. Both $a$ and $b$ must be less than $n$ (otherwise their product would be more than $n$), so we can assume, by strong induction, that each of them can be written as a product of primes, hence so can their product, which is $n$.
Remark: "Strong" induction means that you don't just assume an assertion is true for $n-1$ and then prove it for $n$, you assume it's true for all positive integers $klt n$. In this case the assertion is "if $kgt1$ and $k$ is non-prime, then $k$ can be written as a product of primes." Note that the base case, $k=1$, is vacuously true, because $1$ is not greater than $1$.
$endgroup$
This is mainly just an extended comment on Peter Foreman's answer. The (relatively difficult) uniqueness aspect of the Fundamental Theorem of Arithmetic is not needed for the OP's question, just the (easier) existence aspect.
What's missing from the OP's textbook is the qualifier in the correct assertion that every non-prime number greater than $1$ can be expressed as a product of primes. This is the existence aspect of FTA, and it can be proved by strong induction: If $ngt1$ is not a prime, then $n=ab$ for some pair of integers with $1lt a,b$. Both $a$ and $b$ must be less than $n$ (otherwise their product would be more than $n$), so we can assume, by strong induction, that each of them can be written as a product of primes, hence so can their product, which is $n$.
Remark: "Strong" induction means that you don't just assume an assertion is true for $n-1$ and then prove it for $n$, you assume it's true for all positive integers $klt n$. In this case the assertion is "if $kgt1$ and $k$ is non-prime, then $k$ can be written as a product of primes." Note that the base case, $k=1$, is vacuously true, because $1$ is not greater than $1$.
answered Apr 16 at 21:24
Barry CipraBarry Cipra
60.8k655129
60.8k655129
add a comment |
add a comment |
$begingroup$
An empty product is still a product.
Lulu's comment is sufficient to answer what you asked. Although you didn't state any constraints on $b$, I understand your question to be specifically about the case $b = 1$. And that's neatly addressed just by the concept of the empty product alone.
But then why is everyone talking about the fundamental theorem of arithmetic? Its overuse is part of the reason.
But also because it's kind of implied by the idea of $b$ being the product of primes. For, after all, if a number domain does not have unique factorization, then it probably has numbers that are divisible by irreducible non-primes but not by any primes.
However, even if we're only talking about $mathbb Z$, I think it's still more productive (pun fully intended) to say numbers in a unique factorization domain are divisible by units and primes: the units may vary in infinitely many ways, but the primes can only vary in regards to order.
And so we're not the least bit baffled about the number 1, since it's a product of units in several different ways (e.g., $(-1)^2 =$ $ (-1)^4 times 1 = $ $ldots$) and an empty product of primes.
Nor are we baffled by negative numbers, even if we stubbornly refuse the sensible idea that negative numbers can be prime. For example, $-14 = (-1) times 2 times 7$.
And $-1$ is the product of the unit $-1$ and an empty product of primes, which is, of course, 1.
This only leaves out the very special case of 0.
$endgroup$
add a comment |
$begingroup$
An empty product is still a product.
Lulu's comment is sufficient to answer what you asked. Although you didn't state any constraints on $b$, I understand your question to be specifically about the case $b = 1$. And that's neatly addressed just by the concept of the empty product alone.
But then why is everyone talking about the fundamental theorem of arithmetic? Its overuse is part of the reason.
But also because it's kind of implied by the idea of $b$ being the product of primes. For, after all, if a number domain does not have unique factorization, then it probably has numbers that are divisible by irreducible non-primes but not by any primes.
However, even if we're only talking about $mathbb Z$, I think it's still more productive (pun fully intended) to say numbers in a unique factorization domain are divisible by units and primes: the units may vary in infinitely many ways, but the primes can only vary in regards to order.
And so we're not the least bit baffled about the number 1, since it's a product of units in several different ways (e.g., $(-1)^2 =$ $ (-1)^4 times 1 = $ $ldots$) and an empty product of primes.
Nor are we baffled by negative numbers, even if we stubbornly refuse the sensible idea that negative numbers can be prime. For example, $-14 = (-1) times 2 times 7$.
And $-1$ is the product of the unit $-1$ and an empty product of primes, which is, of course, 1.
This only leaves out the very special case of 0.
$endgroup$
add a comment |
$begingroup$
An empty product is still a product.
Lulu's comment is sufficient to answer what you asked. Although you didn't state any constraints on $b$, I understand your question to be specifically about the case $b = 1$. And that's neatly addressed just by the concept of the empty product alone.
But then why is everyone talking about the fundamental theorem of arithmetic? Its overuse is part of the reason.
But also because it's kind of implied by the idea of $b$ being the product of primes. For, after all, if a number domain does not have unique factorization, then it probably has numbers that are divisible by irreducible non-primes but not by any primes.
However, even if we're only talking about $mathbb Z$, I think it's still more productive (pun fully intended) to say numbers in a unique factorization domain are divisible by units and primes: the units may vary in infinitely many ways, but the primes can only vary in regards to order.
And so we're not the least bit baffled about the number 1, since it's a product of units in several different ways (e.g., $(-1)^2 =$ $ (-1)^4 times 1 = $ $ldots$) and an empty product of primes.
Nor are we baffled by negative numbers, even if we stubbornly refuse the sensible idea that negative numbers can be prime. For example, $-14 = (-1) times 2 times 7$.
And $-1$ is the product of the unit $-1$ and an empty product of primes, which is, of course, 1.
This only leaves out the very special case of 0.
$endgroup$
An empty product is still a product.
Lulu's comment is sufficient to answer what you asked. Although you didn't state any constraints on $b$, I understand your question to be specifically about the case $b = 1$. And that's neatly addressed just by the concept of the empty product alone.
But then why is everyone talking about the fundamental theorem of arithmetic? Its overuse is part of the reason.
But also because it's kind of implied by the idea of $b$ being the product of primes. For, after all, if a number domain does not have unique factorization, then it probably has numbers that are divisible by irreducible non-primes but not by any primes.
However, even if we're only talking about $mathbb Z$, I think it's still more productive (pun fully intended) to say numbers in a unique factorization domain are divisible by units and primes: the units may vary in infinitely many ways, but the primes can only vary in regards to order.
And so we're not the least bit baffled about the number 1, since it's a product of units in several different ways (e.g., $(-1)^2 =$ $ (-1)^4 times 1 = $ $ldots$) and an empty product of primes.
Nor are we baffled by negative numbers, even if we stubbornly refuse the sensible idea that negative numbers can be prime. For example, $-14 = (-1) times 2 times 7$.
And $-1$ is the product of the unit $-1$ and an empty product of primes, which is, of course, 1.
This only leaves out the very special case of 0.
answered Apr 17 at 5:22
Robert SoupeRobert Soupe
11.5k21951
11.5k21951
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%2f3190287%2fprime-numbers-and-expressing-non-prime-numbers%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
8
$begingroup$
An empty product is still a product.
$endgroup$
– lulu
Apr 16 at 20:09
3
$begingroup$
The standard modern day view is that the number 1 is neither prime nor composite.
$endgroup$
– Martin Hansen
Apr 16 at 20:11