cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A089233 Number of coprime pairs of divisors > 1 of n.

This page as a plain text file.
%I A089233 #33 Sep 08 2022 08:45:12
%S A089233 0,0,0,0,0,1,0,0,0,1,0,2,0,1,1,0,0,2,0,2,1,1,0,3,0,1,0,2,0,6,0,0,1,1,
%T A089233 1,4,0,1,1,3,0,6,0,2,2,1,0,4,0,2,1,2,0,3,1,3,1,1,0,11,0,1,2,0,1,6,0,2,
%U A089233 1,6,0,6,0,1,2,2,1,6,0,4,0,1,0,11,1,1,1,3,0,11,1,2,1,1,1,5,0,2,2,4,0,6,0,3,6
%N A089233 Number of coprime pairs of divisors > 1 of n.
%C A089233 Also the number of divisors of n^2 which do not divide n and which are less than n. See link for proof. - _Andrew Weimholt_, Dec 06 2009
%C A089233 a(A000961(n)) = 0; a(A006881(n)) = 1; a(A054753(n)) = 2; a(A065036(n)) = 3. - _Robert G. Wilson v_, Dec 16 2009
%C A089233 First occurrence of k beginning with 0: 1, 6, 12, 24, 36, 96, 30, 384, 144, 216, 288, 60, 432, 24576, 1152, 864, 120, 393216, 1728, 1572864, 180, 240, 18432, 25165824, 5184, 210, 480, 13824, 10368, 360, 15552, 960, 20736, 55296, 1179648, 31104, 900, ..., . Except for 1, each is divisible by 6. Also the first occurrence of k must occur at or before 6*2^(n-1). - _Robert G. Wilson v_, Dec 16 2009
%C A089233 a(3*2^n) = n; if x = 2^n, then a(x) = a(2*x); and if x is not a power of two, then a(x) = y then a(2*x) > y. - _Robert G. Wilson v_, Dec 16 2009
%C A089233 a(n) = 0 iff n is a prime power. - _Franklin T. Adams-Watters_, Aug 20 2013
%H A089233 Reinhard Zumkeller, <a href="/A089233/b089233.txt">Table of n, a(n) for n = 1..10000</a>
%H A089233 Andrew Weimholt, <a href="/A089233/a089233.txt">Proof of an alternative characterization</a>
%F A089233 a(n) = #{(x,y): 1 < x < y, x|n, y|n and gcd(x, y) = 1}.
%F A089233 a(n) = A063647(n) - A000005(n) + 1.
%F A089233 a(n) = A018892(n) - A000005(n). - _Franklin T. Adams-Watters_, Aug 20 2013
%t A089233 a[n_] := (DivisorSigma[0, n^2] - 1)/2 - DivisorSigma[0, n] + 1; Array[a, 104] (* _Robert G. Wilson v_, Dec 16 2009 *)
%o A089233 (Haskell)
%o A089233 a089233 n = sum $ [a063524 $ gcd u v | let ds = tail $ a027750_row n,
%o A089233                                        u <- ds, v <- dropWhile (<= u) ds]
%o A089233 -- _Reinhard Zumkeller_, Sep 04 2013
%o A089233 (PARI) a(n) = (numdiv(n^2)-1)/2 - numdiv(n) + 1; \\ _Michel Marcus_, Feb 17 2016
%o A089233 (Magma) [(NumberOfDivisors(n^2)-1)/2 - NumberOfDivisors(n)+1: n in [1..100]]; // _Vincenzo Librandi_, Dec 23 2018
%K A089233 nonn
%O A089233 1,12
%A A089233 _Reinhard Zumkeller_, Dec 11 2003