cp's OEIS Frontend

The positive integers are partitioned between this sequence, A332821 and A332822, which list the integers in respective cosets of the subgroup.

As the sequence lists the integers in a multiplicative subgroup of the positive rationals, the sequence is closed under multiplication and, provided the result is an integer, under division.

It follows that for any n in this sequence, all powers n^k are present (k >= 0), as are all cubes.

If we take each odd term of this sequence and replace each prime in its factorization by the next smaller prime, the resulting numbers are a permutation of the full sequence; and if we take the square root of each square term we get the full sequence.

There are no primes in the sequence, therefore if k is present and p is a prime, k*p and k/p are absent (noting that k/p might not be an integer). This property extends from primes to all terms of A050376 (often called Fermi-Dirac primes), therefore to squares of primes, 4th powers of primes etc.

The terms are the even numbers in A332821 halved. The terms are also the numbers m such that 5m is in A332821, and so on for alternate primes: 11, 17, 23 etc. Likewise, the terms are the numbers m such that 3m is in A332822, and so on for alternate primes: 7, 13, 19 etc.

The numbers that are half of the even terms of this sequence are in A332822, which consists exactly of those numbers. The numbers that are one third of the terms that are multiples of 3 are in A332821, which consists exactly of those numbers. These properties extend in a pattern of alternating primes as described in the previous paragraph.

If k is an even number, exactly one of {k/2, k, 2k} is in the sequence (cf. A191257 / A067368 / A213258); and generally if k is a multiple of a prime p, exactly one of {k/p, k, k*p} is in the sequence.

If m and n are in this sequence then so is m*n (the definition of "multiplicative semigroup"), while if n is in this sequence, and x is in the complement A359830, then n*x is in A359830. This essentially follows from the fact that A048675 is totally additive sequence. Compare to A329609. - Antti Karttunen, Jan 17 2023

Completely additive modulo 3.

The equivalent sequence modulo 2 is A096268 (with offset 1), which produces the {A003159, A036554} classification.

Let H be the multiplicative subgroup of the positive rational numbers generated by the products of two consecutive primes and the cubes of primes. a(n) indicates the coset of H containing n. a(n) = 0 if n is in H. a(n) = 1 if n is in 2H. a(n) = -1 if n is in (1/2)H.

The properties of this classification can usefully be compared to two well-studied classifications. With the {A026424, A028260} classes, multiplying a member of one class by a prime gives a member of the other class. With the {A000028, A000379} classes, adding a factor to the Fermi-Dirac factorization of a member of one class gives a member of the other class. So, if 4 is not a Fermi-Dirac factor of k, k and 4k will be in different classes of the {A000028, A000379} set; but k and 4k will be in the same class of the {A026424, A028260} set. For two numbers to necessarily be in different classes when they differ in either of the 2 ways described above, 3 classes are needed.

With the classes defined by this sequence, no two of k, 2k and 4k are in the same class. This is a consequence of the following stronger property: if k is any positive integer and m is a member of A050376 (often called Fermi-Dirac primes), then no two of k, k * m, k * m^2 are in the same class. Also, if p and q are consecutive primes, then k * p and k * q are in different classes.

Further properties are given in the sequences that list the classes: A332820, A332821, A332822.

The scaled imaginary part of the Eisenstein integer-valued function, f, defined in A353445. - Peter Munn, Apr 27 2022

An equivalent definition is: a(1) = 1, a(2) = 2; and for n > 2, a(n) = least positive integer > a(n-1) and not of the form a(i)*a(j) for 1 <= i < j < n.

a(2) to a(29) match the initial terms of A000028. [corrected by Peter Munn, Mar 15 2019]

This has a simpler definition than A000028, but the resulting pair lacks the crucial property of the A000028/A000379 pair (see the comment in A000028). - N. J. A. Sloane, Sep 28 2007

Contains (for example) 180, so is different from A123193. - Max Alekseyev, Sep 20 2007

From Vladimir Shevelev, Apr 05 2013: (Start)

1) The sequence does not contain (for example) 140, so is different from A000028.

2) Representation of numbers which are absent in the sequence as a product of two different terms of the sequence is, generally speaking, not unique. For example, 210 = 2*105 = 3*70 = 5*42 = 7*30.

(End)

Excluding a(1) = 1, the lexicographically earliest sequence of distinct nonnegative integers such that no term is a product of 2 distinct terms. Removing the latter distinctness requirement, the sequence becomes A026424; and the equivalent sequence where the product is of 2 or more distinct terms is A050376. A000028 is similarly the equivalent sequence when A059897 is used as multiplicative operator in place of standard integer multiplication. - Peter Munn, Mar 15 2019

Liouville function lambda(n) (A008836) is positive.

From Peter Munn, Jan 16 2020: (Start)

The sequence is closed under the commutative binary operation A059897(.,.). As integers are self-inverse under A059897, it forms a subgroup of the positive integers considered as a group under A059897.

This sequence is the intersection of A000379 and A056911, which are also subgroups of the positive integers under A059897.

(End)

The asymptotic density of this sequence is 2/Pi^2 (A185197). - Amiram Eldar, Oct 06 2020

Old name: 'Positions of zeros in A268387: numbers n such that when the exponents e_1 .. e_k in their prime factorization n = p_1^e_1 * ... * p_k^e_k are bitwise-xored together, the result is zero.

From Peter Munn, Sep 14 2019 and Dec 01 2019: (Start)

When trailing zeros are removed from the terms written in base p, for any prime p, every positive integer not divisible by p appears exactly once. This is the lexicographically earliest sequence with this property.

The closure of A238748 with respect to the commutative binary operation A059897(.,.). As integers are self-inverse under A059897(.,.), the sequence thereby forms a subgroup, denoted H, of the positive integers under A059897(.,.). H is a subgroup of A000379.

(The symbol ^ can take on a meaning in relation to a group operation. However, in this comment ^ denotes the power operator for standard integer multiplication.) For any prime p, the subgroup {p^k : k >= 0} and H are each a (left and right) transversal of the other. For k >= 0 and primes p_1 and p_2, the cosets (p_1^k)H and (p_2^k)H are the same.

(End)

From Peter Munn, Dec 01 2021: (Start)

If we take the square root of the square terms we reproduce the sequence itself. The set of all products of a square term and a squarefree term is the sequence as a set.

The terms are the elements of the ideal generated by {6} in the ring defined in A329329. Similarly, the ideal generated by {8} gives A262675. 6 and 8 are images of each other under A225546(.), which is an automorphism of the ring. So this sequence and A262675, as sets, are images of each other under A225546(.). The elements of the ideal generated by {6,8} form the notable set A000379.

(End)

Apparently the (ordinary) Dirichlet inverse of A050377. - R. J. Mathar, Jul 15 2010

Also analog of Liouville's function (A008836) in Fermi-Dirac arithmetic, where the terms of A050376 play the role of primes (see examples). - Vladimir Shevelev, Oct 28 2013.

Values of n for which all numbers in row A238747(n) are even. Also, numbers n such that A000005(n^m) is a perfect square for all nonnegative integers m; numbers n such that A181819(n) is a perfect square; numbers n such that A182860(n) is odd.

The numbers of terms not exceeding 10^k, for k = 1, 2, ..., are 3, 33, 314, 3119, 31436, 315888, 3162042, 31626518, 316284320, 3162915907, ... . Apparently, the asymptotic density of this sequence exists and equals 0.3162... . - Amiram Eldar, Nov 28 2023

Let m be an odd positive number. Let S_m denote the sequence {Product_{i=1..r} q_(n+t_i)}A050376%20and%20Sum">{n>=1}, where {q_i} is sequence A050376 and Sum{i=1..r} 2^(t_1 - t_i) is the binary representation of m, such that t_1 > t_2 > ... > t_r = 0. Note that {S_1, S_3, S_5, ...} is a partition of all integers > 1. Then S_1=A050376, which is obtained when we set r=1, t_1 = 0. [Formula made compatible with A240535 data by Peter Munn, Aug 10 2021]

This present sequence is S_3 in this partition. It is obtained when we set r=2, t_1=1, t_2=0.

S_m(n) = A052330(A030101(m)*2^(n-1)) = A329330(A050376(n), A052330(A030101(m))). - Peter Munn, Aug 10 2021

A minimal set of generators for A000379 as a group under A059897(.,.). - Peter Munn, Aug 11 2019

The positive integers are partitioned between A332820, this sequence and A332822.

For each prime p, the terms include exactly one of p and p^2. The primes alternate between this sequence and A332822. This sequence has the primes with odd indexes, those in A031368.

The terms are the even numbers in A332822 halved. The terms are also the numbers m such that 5m is in A332822, and so on for alternate primes: 11, 17, 23 etc. Likewise, the terms are the numbers m such that 3m is in A332820, and so on for alternate primes: 7, 13, 19 etc.

The numbers that are half of the even terms of this sequence are in A332820, which consists exactly of those numbers. The numbers that are one third of the terms that are multiples of 3 are in A332822, which consists exactly of those numbers. For larger primes, an alternating pattern applies as described in the previous paragraph.

If we take each odd term of this sequence and replace each prime in its factorization by the next smaller prime, the resulting number is in A332822, which consists entirely of those numbers.

The product of any 2 terms of this sequence is in A332822, the product of any 3 terms is in A332820, and the product of a term of A332820 and a term of this sequence is in this sequence. So if a number k is present, k^2 is in A332822, k^3 is in A332820, and k^4 is in this sequence.

If k is an even number, exactly one of {k/2, k, 2k} is in the sequence (cf. A191257 / A067368 / A213258); and generally if k is a multiple of a prime p, exactly one of {k/p, k, k*p} is in the sequence.

The positive integers are partitioned between A332820, A332821 and this sequence.

For each prime p, the terms include exactly one of p and p^2. The primes alternate between this sequence and A332821. This sequence has the primes with even indexes, those in A031215.

The terms are the even numbers in A332820 halved. The terms are also the numbers m such that 5m is in A332820, and so on for alternate primes: 11, 17, 23 etc. Likewise, the terms are the numbers m such that 3m is in A332821, and so on for alternate primes: 7, 13, 19, 29 etc.

If we take each odd term of this sequence and replace each prime in its factorization by the next smaller prime, we get the same set of numbers as we get from halving the even terms of this sequence, and A332821 consists exactly of those numbers. The numbers that are one third of the terms that are multiples of 3 are in A332820, which consists exactly of those numbers. The numbers that are one fifth of the terms that are multiples of 5 constitute A332821, and for larger primes, an alternating pattern applies as described in the previous paragraph.

The product of any 2 terms of this sequence is in A332821, the product of any 3 terms is in A332820, and the product of a term of A332820 and a term of this sequence is in this sequence. So if a number k is present, k^2 is in A332821, k^3 is in A332820, and k^4 is in this sequence.

If k is an even number, exactly one of {k/2, k, 2k} is in the sequence (cf. A191257 / A067368 / A213258); and generally if k is a multiple of a prime p, exactly one of {k/p, k, k*p} is in the sequence.