cp's OEIS Frontend

This is a multiplicative self-inverse permutation of the integers.

A225547 gives the fixed points.

From Antti Karttunen and Peter Munn, Feb 02 2020: (Start)

This sequence operates on the Fermi-Dirac factors of a number. As arranged in array form, in A329050, this sequence reflects these factors about the main diagonal of the array, substituting A329050[j,i] for A329050[i,j], and this results in many relationships including significant homomorphisms.

This sequence provides a relationship between the operations of squaring and prime shift (A003961) because each successive column of the A329050 array is the square of the previous column, and each successive row is the prime shift of the previous row.

A329050 gives examples of how significant sets of numbers can be formed by choosing their factors in relation to rows and/or columns. This sequence therefore maps equivalent derived sets by exchanging rows and columns. Thus odd numbers are exchanged for squares, squarefree numbers for powers of 2 etc.

Alternative construction: For n > 1, form a vector v of length A299090(n), where each element v[i] for i=1..A299090(n) is a product of those distinct prime factors p(i) of n whose exponent e(i) has the bit (i-1) "on", or 1 (as an empty product) if no such exponents are present. a(n) is then Product_{i=1..A299090(n)} A000040(i)^A048675(v[i]). Note that because each element of vector v is squarefree, it means that each exponent A048675(v[i]) present in the product is a "submask" (not all necessarily proper) of the binary string A087207(n).

This permutation effects the following mappings:

A000035(a(n)) = A010052(n), A010052(a(n)) = A000035(n). [Odd numbers <-> Squares]

A008966(a(n)) = A209229(n), A209229(a(n)) = A008966(n). [Squarefree numbers <-> Powers of 2]

(End)

From Antti Karttunen, Jul 08 2020: (Start)

Moreover, we see also that this sequence maps between A016825 (Numbers of the form 4k+2) and A001105 (2*squares) as well as between A008586 (Multiples of 4) and A028983 (Numbers with even sum of the divisors).

(End)

This sequence is a permutation of A050376, so every positive integer is the product of a unique subset, S_factors, of its terms. If we restrict S_factors to be chosen from a subset, S_0, consisting of numbers from specified rows and/or columns of this array, there are notable sequences among those that may be generated. See the examples. Other notable sequences can be generated if we restrict the intersection of S_factors with specific rows/columns to have even cardinality. In any of the foregoing cases, the numbers in the resulting sequence form a group under the binary operation A059897(.,.).

Shares with array A246278 the property that columns grow downward by iterating A003961, and indeed, this array can be obtained from A246278 by selecting its columns 1, 2, 8, 128, ..., 2^((2^k)-1), for k >= 0.

A(n,k) is the image of the lattice point with coordinates X=n and Y=k under the inverse of the bijection f defined in the first comment of A306697. This geometric relationship can be used to construct an isomorphism from the polynomial ring GF(2)[x,y] to a ring over the positive integers, using methods similar to those for constructing A297845 and A306697. See A329329, the ring's multiplicative operator, for details.

Generalized Fermat numbers (Ribenboim (1996))

F_n(a) := F_n(a,1) = a^(2^n) + 1, a >= 2, n >= 0, can't be prime if a is odd (as is the case for this sequence). - Daniel Forgues, Jun 19-20 2011

Let M(n) denote the n X n matrix m(i,j)=0 if n divides ij-1, m(i,j) = 1 otherwise then det(M(n))=+1 if and only if n is prime ==3 (mod 4).

a(A002145(n)) = 1; a(A145395(n)) = 0. [From Reinhard Zumkeller, Oct 12 2008]

a(n) * A151763(n) = - a(n).

Also the hypotenuse of primitive Pythagorean triangles obtained by repeated application of basic formula c(n)=p(n)^2+q(n)^2 starting p(0)=2, q(0)=1, see A100686, A098122. Example: a(2)=25 since starting (2,1) gives Pythagorean triple (3,4,5) using (3,4) as new generators gives triple (7,24,25) hypotenuse 25=a(2). - Carmine Suriano, Feb 04 2011

A225546 and A122111 are both self-inverse permutations of the positive integers based on prime factorizations, and they share further common properties. For instance, they map the prime numbers to powers of 2: A225546 maps the k-th prime to 2^2^(k-1), whereas A122111 maps it to 2^k.

In composing these permutations, this sequence maps the list of prime numbers to the squarefree numbers, as listed in A019565; and the "normal" numbers (A055932), as listed in A057335, to ascending powers of 2.

Average of first 2^(n+1) powers of 3 divided by average of first 2^n powers of 3.

Numerator of b(n) where b(n) = (1/2)*(b(n-1) + 1/b(n-1)), b(0)=2. - Vladeta Jovovic, Aug 15 2002

From Daniel Forgues, Jun 22 2011: (Start)

Since for the generalized Fermat numbers 3^(2^n)+1 (A059919), we have a(n) = 2*a(n-1)*a(n-2)*...*a(1)*a(0) + 2, n >= 0, where for n = 0, we get 2*(empty product, i.e., 1) + 2 = 4 = a(0). This formula implies that the GCD of any pair of terms of A059919 is 2, which means that the terms of (3^(2^n)+1)/2 (A059917) are pairwise coprime.

2, 5, 41, 21523361, 926510094425921 are prime. 3281 = 17*193. (End)

a(0), a(1), a(2), a(4), a(5), and a(6) are prime. Conjecture: a(n) is composite for all n > 6. - Thomas Ordowski, Dec 26 2012

This may be a primality test for Mersenne numbers. a(2) = 41 == -1 mod 7 (=M3), a(4) = 21523361 == 30 == -1 mod 31 (=M5). However, a(10) is not == -1 mod M11. - Nobuyuki Fujita, May 16 2015