Does this sequence of product of two primes always exist
$begingroup$
Consider a sequence $A: a_1, a_2, a_3 .. a_n$ such that each element of this sequence is product of two primes from $p_1, p_2 .. p_m$ so that:
Each $a_i$ is distinct.
$m$ is the least integer so that $frac{m(m-1)}{2} ge n$
Any three consecutive elements of sequence are coprime, but any two are not.
For example,
for $n = 3$, we have $m = 3$ and so taking the 3 primes as $a,b,c$, we can say the sequence $A$ is $ab, bc, ac$
For $n = 4$, $m = 4$ and $A: ab, bc, cd, da$
For $n = 6$, $m = 4$ and $A: ab, bd, da, ac, cd, db$
The question is to show that such a sequence exists for any $n$.
If this sequence exists for all $n$, is there a simple pattern for $A$ ?
Edit
There was an error in example 3, no such sequence exists for $n=6$.
sequences-and-series algebra-precalculus discrete-mathematics prime-numbers
$endgroup$
add a comment |
$begingroup$
Consider a sequence $A: a_1, a_2, a_3 .. a_n$ such that each element of this sequence is product of two primes from $p_1, p_2 .. p_m$ so that:
Each $a_i$ is distinct.
$m$ is the least integer so that $frac{m(m-1)}{2} ge n$
Any three consecutive elements of sequence are coprime, but any two are not.
For example,
for $n = 3$, we have $m = 3$ and so taking the 3 primes as $a,b,c$, we can say the sequence $A$ is $ab, bc, ac$
For $n = 4$, $m = 4$ and $A: ab, bc, cd, da$
For $n = 6$, $m = 4$ and $A: ab, bd, da, ac, cd, db$
The question is to show that such a sequence exists for any $n$.
If this sequence exists for all $n$, is there a simple pattern for $A$ ?
Edit
There was an error in example 3, no such sequence exists for $n=6$.
sequences-and-series algebra-precalculus discrete-mathematics prime-numbers
$endgroup$
1
$begingroup$
There is a problem in your example for $n=6$: $bd$ and $db$ are equal.
$endgroup$
– ajotatxe
Jan 8 at 15:13
$begingroup$
@ajotatxe sorry I overlooked this one!
$endgroup$
– jeea
Jan 8 at 15:23
add a comment |
$begingroup$
Consider a sequence $A: a_1, a_2, a_3 .. a_n$ such that each element of this sequence is product of two primes from $p_1, p_2 .. p_m$ so that:
Each $a_i$ is distinct.
$m$ is the least integer so that $frac{m(m-1)}{2} ge n$
Any three consecutive elements of sequence are coprime, but any two are not.
For example,
for $n = 3$, we have $m = 3$ and so taking the 3 primes as $a,b,c$, we can say the sequence $A$ is $ab, bc, ac$
For $n = 4$, $m = 4$ and $A: ab, bc, cd, da$
For $n = 6$, $m = 4$ and $A: ab, bd, da, ac, cd, db$
The question is to show that such a sequence exists for any $n$.
If this sequence exists for all $n$, is there a simple pattern for $A$ ?
Edit
There was an error in example 3, no such sequence exists for $n=6$.
sequences-and-series algebra-precalculus discrete-mathematics prime-numbers
$endgroup$
Consider a sequence $A: a_1, a_2, a_3 .. a_n$ such that each element of this sequence is product of two primes from $p_1, p_2 .. p_m$ so that:
Each $a_i$ is distinct.
$m$ is the least integer so that $frac{m(m-1)}{2} ge n$
Any three consecutive elements of sequence are coprime, but any two are not.
For example,
for $n = 3$, we have $m = 3$ and so taking the 3 primes as $a,b,c$, we can say the sequence $A$ is $ab, bc, ac$
For $n = 4$, $m = 4$ and $A: ab, bc, cd, da$
For $n = 6$, $m = 4$ and $A: ab, bd, da, ac, cd, db$
The question is to show that such a sequence exists for any $n$.
If this sequence exists for all $n$, is there a simple pattern for $A$ ?
Edit
There was an error in example 3, no such sequence exists for $n=6$.
sequences-and-series algebra-precalculus discrete-mathematics prime-numbers
sequences-and-series algebra-precalculus discrete-mathematics prime-numbers
edited Jan 8 at 15:22
jeea
asked Jan 8 at 15:01
jeeajeea
57314
57314
1
$begingroup$
There is a problem in your example for $n=6$: $bd$ and $db$ are equal.
$endgroup$
– ajotatxe
Jan 8 at 15:13
$begingroup$
@ajotatxe sorry I overlooked this one!
$endgroup$
– jeea
Jan 8 at 15:23
add a comment |
1
$begingroup$
There is a problem in your example for $n=6$: $bd$ and $db$ are equal.
$endgroup$
– ajotatxe
Jan 8 at 15:13
$begingroup$
@ajotatxe sorry I overlooked this one!
$endgroup$
– jeea
Jan 8 at 15:23
1
1
$begingroup$
There is a problem in your example for $n=6$: $bd$ and $db$ are equal.
$endgroup$
– ajotatxe
Jan 8 at 15:13
$begingroup$
There is a problem in your example for $n=6$: $bd$ and $db$ are equal.
$endgroup$
– ajotatxe
Jan 8 at 15:13
$begingroup$
@ajotatxe sorry I overlooked this one!
$endgroup$
– jeea
Jan 8 at 15:23
$begingroup$
@ajotatxe sorry I overlooked this one!
$endgroup$
– jeea
Jan 8 at 15:23
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Your example for $n=6$ doesn't work, because the terms $bd$ and $db$ are the same number, and in fact no valid sequence exists in this case.
This is really a graph theory question: terms of the sequence correspond to edges of the complete graph $K_m$ and the conditions require that two consecutive edges share a vertex but three consecutive edges don't. Equivalently, we are looking for a trail of length $n$. If $m$ is odd there will always be such a trail (because $K_m$ is Eulerian), but if $m$ is even and $n$ is close to the maximum value it won't exist.
$endgroup$
add a comment |
Your Answer
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%2f3066268%2fdoes-this-sequence-of-product-of-two-primes-always-exist%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$
Your example for $n=6$ doesn't work, because the terms $bd$ and $db$ are the same number, and in fact no valid sequence exists in this case.
This is really a graph theory question: terms of the sequence correspond to edges of the complete graph $K_m$ and the conditions require that two consecutive edges share a vertex but three consecutive edges don't. Equivalently, we are looking for a trail of length $n$. If $m$ is odd there will always be such a trail (because $K_m$ is Eulerian), but if $m$ is even and $n$ is close to the maximum value it won't exist.
$endgroup$
add a comment |
$begingroup$
Your example for $n=6$ doesn't work, because the terms $bd$ and $db$ are the same number, and in fact no valid sequence exists in this case.
This is really a graph theory question: terms of the sequence correspond to edges of the complete graph $K_m$ and the conditions require that two consecutive edges share a vertex but three consecutive edges don't. Equivalently, we are looking for a trail of length $n$. If $m$ is odd there will always be such a trail (because $K_m$ is Eulerian), but if $m$ is even and $n$ is close to the maximum value it won't exist.
$endgroup$
add a comment |
$begingroup$
Your example for $n=6$ doesn't work, because the terms $bd$ and $db$ are the same number, and in fact no valid sequence exists in this case.
This is really a graph theory question: terms of the sequence correspond to edges of the complete graph $K_m$ and the conditions require that two consecutive edges share a vertex but three consecutive edges don't. Equivalently, we are looking for a trail of length $n$. If $m$ is odd there will always be such a trail (because $K_m$ is Eulerian), but if $m$ is even and $n$ is close to the maximum value it won't exist.
$endgroup$
Your example for $n=6$ doesn't work, because the terms $bd$ and $db$ are the same number, and in fact no valid sequence exists in this case.
This is really a graph theory question: terms of the sequence correspond to edges of the complete graph $K_m$ and the conditions require that two consecutive edges share a vertex but three consecutive edges don't. Equivalently, we are looking for a trail of length $n$. If $m$ is odd there will always be such a trail (because $K_m$ is Eulerian), but if $m$ is even and $n$ is close to the maximum value it won't exist.
answered Jan 8 at 15:15
Especially LimeEspecially Lime
21.9k22858
21.9k22858
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%2f3066268%2fdoes-this-sequence-of-product-of-two-primes-always-exist%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
1
$begingroup$
There is a problem in your example for $n=6$: $bd$ and $db$ are equal.
$endgroup$
– ajotatxe
Jan 8 at 15:13
$begingroup$
@ajotatxe sorry I overlooked this one!
$endgroup$
– jeea
Jan 8 at 15:23