Consecutive integers divisible by a set of Primes

axelmorack
Messages
10
Reaction score
0
I am having more than a little fun with this sequence of numbers and am looking for a better algorithm to find the next numbers in the sequence.

Let Z be the set of the first n odd primes. Find two integers j and k that are relatively prime to all members of Z where every integer between j and k is not relatively prime to all members of Z. The absolute value of j-k must be the maximum value possible. This maximum value I call frg(n).

So, for the set with only {3} |4-2| = 2 4 and 2 are relatively prime to 3, but 3 is not.
For the set {3,5} |7-4| = 3 7 and 4 are relatively prime to 3 and 5, but 5 and 6 are not.

frg(1) = 2, frg(2) = 3, frg(3) = 5, frg(4) = 11, ... frg(8) = 20

I initially thought this would just be the sequence of primes but it is not. Now I wonder how weird it gets as we go out the sequence.

I can get to frg(15) with my desktop. I know someone can do better!
 
Physics news on Phys.org
I calculated the first 8 and put them into OEIS, and got: oeis.org/A072752.

What you're after is not the gaps, but the difference, so it's one more than the terms in the sequence I linked to.

I'm not sure about an efficient algorithm, my jumbled together program could only do 8 before taking > 20 seconds.
 
Thanks for the link. Same sequence +1 because I'm using the difference. I will see if I can add one more number to the sequence. One thing for sure, since I have been playing with prime numbers, nothing I have ever done hasn't already been done by someone and usually 100 to 300 years ago. Thanks again. However, I would like the seen the program that got those numbers.
 
axelmorack said:
Thanks for the link. Same sequence +1 because I'm using the difference. I will see if I can add one more number to the sequence. One thing for sure, since I have been playing with prime numbers, nothing I have ever done hasn't already been done by someone and usually 100 to 300 years ago. Thanks again. However, I would like the seen the program that got those numbers.

I'll try to come up with a better one, mine's terrible. How on Earth did you work out frg(15)?
 
I ask a very similar question here:

https://www.physicsforums.com/showthread.php?t=632458

What was your motivation for excluding 2?

I would be interested in what language and algorithm you used. I'm useing purebasic. I generated permutations of the prime list and constructed a gap by fitting them in the first empty slot and seiving in the order they occurred in the permutation.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
Back
Top