login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A289691 List of composite numbers n such that the prime decomposition of n contains an initial product of prime powers greater than a later prime, but in which no proper divisor of n is in the sequence. 1
12, 30, 40, 45, 56, 63, 70, 105, 154, 165, 175, 176, 182, 195, 198, 208, 220, 231, 234, 260, 273, 275, 286, 297, 306, 325, 340, 351, 357, 374, 380, 385, 399, 418, 425 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

From Richard Locke Peterson, Aug 29 2017: (Start)

Definition: Let the prime factorization of n be n = p1^e1*...*pj^ej*p(j+1)^e(j+1)*...*pm^em, with the primes in ascending order and the ej > 0. If in n there exists a partial product p1^e1*...*pk^ek > p(k+1) for some p(k+1) in the factorization, and also such that no proper divisor of n is also in the sequence, then n is in the sequence.

Context: This sequence is a subsequence of A289484, and might be called "A289484 primes," although not primes in the usual sense (nor do they obey a unique factorization law). Every number in A289484 is a multiple of at least one number in this sequence, and if n is in this sequence, then n and every multiple of n is in A289484 although no multiple of n(except n itself) will be in this sequence.

Properties: If n is in the sequence, then no multiple of n is in it, except n itself. No primes or prime powers, nor any composite powers, are in the sequence. A number in the sequence that is squarefree must have at least three prime divisors. Rather than being closed under multiplication, this sequence is anticlosed: No product or power of numbers in it are in the sequence. This causes it to be the minimal sequence that generates A289484. (End)

LINKS

Charles R Greathouse IV, Table of n, a(n) for n = 1..10000

EXAMPLE

30 = 2*3*5 is in the sequence since 2*3 > 5 and no proper divisor of 30 satisfies having an initial product greater than a later prime. Counterexamples: 42 = 2*3*7 is not in the sequence because 2*3 < 7. 60 = 2^2*3*5 is also not in the sequence, because although 2^2 > 3 (and 2^2*3 > 5, for that matter), the proper divisor 30 is already in the sequence.

MATHEMATICA

With[{S = Select[Range[10^3], Function[f, AnyTrue[Range[Length@ f - 1], Times @@ Map[#1^#2 & @@ # &, #1] > #2[[1, 1]] & @@ TakeDrop[f, #] &]]@ FactorInteger@ # &]}, Select[#, # > 0 &] &@ Table[Function[{d, n}, First[n] Boole@ NoneTrue[d, Divisible[First@ n, #] &]] @@ TakeDrop[Take[S, n], n - 1], {n, Length@ S}]] (* Michael De Vlieger, Aug 17 2017 *)

CROSSREFS

Cf. A289484.

Sequence in context: A115912 A083096 A307348 * A145469 A024364 A093507

Adjacent sequences:  A289688 A289689 A289690 * A289692 A289693 A289694

KEYWORD

nonn

AUTHOR

Richard Locke Peterson, Jul 09 2017

EXTENSIONS

New name from Richard Locke Peterson, Aug 29 2017

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified July 5 21:00 EDT 2020. Contains 335473 sequences. (Running on oeis4.)