A056534 -id:A056534 - cp's OEIS frontend

A056535 Mapping from the ordering by sum to the ordering by product of the ordered pairs. Inverse permutation to A056534.

1, 2, 3, 4, 7, 5, 6, 12, 13, 8, 9, 18, 22, 19, 10, 11, 25, 32, 33, 26, 14, 15, 31, 43, 48, 44, 34, 16, 17, 39, 55, 63, 64, 56, 40, 20, 21, 47, 68, 80, 86, 81, 69, 49, 23, 24, 54, 79, 98, 107, 108, 99, 82, 57, 27, 28, 62, 93, 116, 129, 136, 130, 117, 94, 65, 29, 30, 72, 106

Offset: 1

Antti Karttunen, Jun 20 2000

The last term of the each row r of the triangle is the first term of that row + (tau(r)-1).

As an array, T(n,k) is the index of the k-th term of A027750 whose value is n. - Michel Marcus, Oct 15 2015

			As a triangle, sequence begins:
1;
2, 3;
4, 7, 5;
6, 12, 13, 8;
9, 18, 22, 19, 10;
...
As an array, sequence begins:
1,   2,  4,  6,  9,  11,  15, ...
3,   7, 12, 18, 25,  31,  39, ...
5,  13, 22, 32, 43,  55,  68, ...
8,  19, 33, 48, 63,  80,  98, ...
10, 26, 44, 64, 86, 107, 129, ...
...

Index entries for sequences that are permutations of the natural numbers

A056535[A000217[i]] = A056535[A000217[i-1]+1]+A000005[i]-1, for all i >= 1.

Left edge: A054519, Right edge: A006218.

Maple procedure nthmember given in A054426.

a[n_] := If[p = Position[A056534, n]; p != {}, p[[1, 1]], 0]; (* Jean-François Alcover, Aug 20 2013 *)

[seq(nthmember(j, A056534), j=1..105)];

A027750 Triangle read by rows in which row n lists the divisors of n.

Original entry on oeis.org

1, 1, 2, 1, 3, 1, 2, 4, 1, 5, 1, 2, 3, 6, 1, 7, 1, 2, 4, 8, 1, 3, 9, 1, 2, 5, 10, 1, 11, 1, 2, 3, 4, 6, 12, 1, 13, 1, 2, 7, 14, 1, 3, 5, 15, 1, 2, 4, 8, 16, 1, 17, 1, 2, 3, 6, 9, 18, 1, 19, 1, 2, 4, 5, 10, 20, 1, 3, 7, 21, 1, 2, 11, 22, 1, 23, 1, 2, 3, 4, 6, 8, 12, 24, 1, 5, 25, 1, 2, 13, 26, 1, 3, 9, 27, 1, 2, 4, 7, 14, 28, 1, 29

Offset: 1

N. J. A. Sloane

Or, in the list of natural numbers (A000027), replace n with its divisors.
This gives the first elements of the ordered pairs (a,b) a >= 1, b >= 1 ordered by their product ab.
Also, row n lists the largest parts of the partitions of n whose parts are not distinct. - Omar E. Pol, Sep 17 2008
Concatenation of n-th row gives A037278(n). - Reinhard Zumkeller, Aug 07 2011
{A210208(n,k): k=1..A073093(n)} subset of {T(n,k): k=1..A000005(n)} for all n. - Reinhard Zumkeller, Mar 18 2012
Row sums give A000203. Right border gives A000027. - Omar E. Pol, Jul 29 2012
Indices of records are in A006218. - Irina Gerasimova, Feb 27 2013
The number of primes in the n-th row is omega(n) = A001221(n). - Michel Marcus, Oct 21 2015
The row polynomials P(n,x) = Sum_{k=1..A000005(n)} T(n,k)*x^k with composite n which are irreducible over the integers are given in A292226. - Wolfdieter Lang, Nov 09 2017
T(n,k) is also the number of parts in the k-th partition of n into equal parts (see example). - Omar E. Pol, Nov 20 2019
Let there be an infinite number of tiles, each labeled with a positive integer m, initially placed on square m of an infinite 1D board. At step n, the leftmost unblocked tile (i.e., the top tile of the leftmost nonempty stack) moves forward exactly m squares, where m is its label. Tiles that land on the same square form a stack, and only the top tile of any stack may move. This sequence records the label m of the tile that moves at step n. - Ali Sada, May 23 2025
All divisors of a positive integer n form a finite set. Extending divisibility to n = 0 by using the definition (k|n <=> exists m such that m*k = n) makes the set of divisors infinite, suggesting the definition was not intended for zero, as arithmetic functions typically apply to n >= 1. So to preserve a core property when generalizing (cardinality), one can define divisors of n >= 0 as the fixed points of the greatest common divisor on the set [n] = {0, 1, 2, ..., n}. By this definition, the divisors of 0 are {0}, since 0|0 and gcd(0, 0) = 0. This definition is not circular because the gcd can be effectively calculated using the Euclidean algorithm. (Cf. links.) - Peter Luschny, Jun 02 2025

			Triangle begins:
  1;
  1, 2;
  1, 3;
  1, 2, 4;
  1, 5;
  1, 2, 3, 6;
  1, 7;
  1, 2, 4, 8;
  1, 3, 9;
  1, 2, 5, 10;
  1, 11;
  1, 2, 3, 4, 6, 12;
  ...
For n = 6 the partitions of 6 into equal parts are [6], [3,3], [2,2,2], [1,1,1,1,1,1], so the number of parts are [1, 2, 3, 6] respectively, the same as the divisors of 6. - _Omar E. Pol_, Nov 20 2019

Franklin T. Adams-Watters, Rows 1..1000, flattened
Franklin T. Adams-Watters, Rows 1..10000
Peter Luschny, A Python program using gcd for n >= 0.
Omar E. Pol, Illustration of initial terms, (2009).
Eric Weisstein's World of Mathematics, Divisor
Wikipedia, Table of divisors
Index entries for sequences related to divisors of numbers

Cf. A000005 (row length), A001221, A027749, A027751, A056534, A056538, A127093, A135010, A161700, A163280, A240698 (partial sums of rows), A240694 (partial products of rows), A247795 (parities), A292226, A244051.

a027750 n k = a027750_row n !! (k-1)
a027750_row n = filter ((== 0) . (mod n)) [1..n]
a027750_tabf = map a027750_row [1..]
-- Reinhard Zumkeller, Jan 15 2011, Oct 21 2010

Magma
```
[Divisors(n) : n in [1..20]];
```

seq(op(numtheory:-divisors(a)), a = 1 .. 20) # Matt C. Anderson, May 15 2017

Flatten[ Table[ Flatten [ Divisors[ n ] ], {n, 1, 30} ] ]

v=List();for(n=1,20,fordiv(n,d,listput(v,d)));Vec(v) \\ Charles R Greathouse IV, Apr 28 2011

from sympy import divisors
for n in range(1, 16):
    print(divisors(n)) # Indranil Ghosh, Mar 30 2017

a(A006218(n-1) + k) = k-divisor of n, 1 <= k <= A000005(n). - Reinhard Zumkeller, May 10 2006

T(n,k) = n / A056538(n,k) = A056538(n,n-k+1), 1 <= k <= A000005(n). - Reinhard Zumkeller, Sep 28 2014

More terms from Scott Lindhurst (ScottL(AT)alumni.princeton.edu)

A002260 Triangle read by rows: T(n,k) = k for n >= 1, k = 1..n.

Original entry on oeis.org

1, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 6, 1, 2, 3, 4, 5, 6, 7, 1, 2, 3, 4, 5, 6, 7, 8, 1, 2, 3, 4, 5, 6, 7, 8, 9, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14

Offset: 1

Angele Hamel (amh(AT)maths.soton.ac.uk)

Old name: integers 1 to k followed by integers 1 to k+1 etc. (a fractal sequence).
Start counting again and again.
This is a "doubly fractal sequence" - see the Franklin T. Adams-Watters link.
The PARI functions t1, t2 can be used to read a square array T(n,k) (n >= 1, k >= 1) by antidiagonals downwards: n -> T(t1(n), t2(n)). - Michael Somos, Aug 23 2002
Reading this sequence as the antidiagonals of a rectangular array, row n is (n,n,n,...); this is the weight array (Cf. A144112) of the array A127779 (rectangular). - Clark Kimberling, Sep 16 2008
The upper trim of an arbitrary fractal sequence s is s, but the lower trim of s, although a fractal sequence, need not be s itself. However, the lower trim of A002260 is A002260. (The upper trim of s is what remains after the first occurrence of each term is deleted; the lower trim of s is what remains after all 0's are deleted from the sequence s-1.) - Clark Kimberling, Nov 02 2009
Eigensequence of the triangle = A001710 starting (1, 3, 12, 60, 360, ...). - Gary W. Adamson, Aug 02 2010
The triangle sums, see A180662 for their definitions, link this triangle of natural numbers with twenty-three different sequences, see the crossrefs. The mirror image of this triangle is A004736. - Johannes W. Meijer, Sep 22 2010
A002260 is the self-fission of the polynomial sequence (q(n,x)), where q(n,x) = x^n + x^(n-1) + ... + x + 1. See A193842 for the definition of fission. - Clark Kimberling, Aug 07 2011
Sequence B is called a reluctant sequence of sequence A, if B is triangle array read by rows: row number k coincides with first k elements of the sequence A. Sequence A002260 is reluctant sequence of sequence 1,2,3,... (A000027). - Boris Putievskiy, Dec 12 2012
This is the maximal sequence of positive integers, such that once an integer k has occurred, the number of k's always exceeds the number of (k+1)'s for the remainder of the sequence, with the first occurrence of the integers being in order. - Franklin T. Adams-Watters, Oct 23 2013
A002260 are the k antidiagonal numerators of rationals in Cantor's proof of 1-to-1 correspondence between rationals and naturals; the denominators are k-numerator+1. - Adriano Caroli, Mar 24 2015
T(n,k) gives the distance to the largest triangular number < n. - Ctibor O. Zizka, Apr 09 2020

			First six rows:
  1
  1   2
  1   2   3
  1   2   3   4
  1   2   3   4   5
  1   2   3   4   5   6

Clark Kimberling, "Fractal sequences and interspersions," Ars Combinatoria 45 (1997) 157-168. (Introduces upper trimming, lower trimming, and signature sequences.)
M. Myers, Smarandache Crescendo Subsequences, R. H. Wilde, An Anthology in Memoriam, Bristol Banner Books, Bristol, 1998, p. 19.
F. Smarandache, Sequences of Numbers Involved in Unsolved Problems, Hexis, Phoenix, 2006.

N. J. A. Sloane, Table of n, a(n) for n = 1..11325
Franklin T. Adams-Watters, Doubly Fractal Sequences
Matin Amini and Majid Jahangiri, A Novel Proof for Kimberling's Conjecture on Doubly Fractal Sequences, arXiv:1612.09481 [math.NT], 2017.
Bruno Berselli, Illustration of the initial terms
Jerry Brown et al., Problem 4619, School Science and Mathematics (USA), Vol. 97(4), 1997, pp. 221-222.
Glen Joyce C. Dulatre, Jamilah V. Alarcon, Vhenedict M. Florida, and Daisy Ann A. Disu, On Fractal Sequences, DMMMSU-CAS Science Monitor (2016-2017) Vol. 15 No. 2, 109-113.
Clark Kimberling, Fractal sequences
Clark Kimberling, Numeration systems and fractal sequences, Acta Arithmetica 73 (1995) 103-117.
Boris Putievskiy, Transformations Integer Sequences And Pairing Functions arXiv:1212.2732 [math.CO], 2012.
F. Smarandache, Sequences of Numbers Involved in Unsolved Problems.
Aaron Snook, Augmented Integer Linear Recurrences, 2012. - _N. J. A. Sloane_, Dec 19 2012
Michael Somos, Sequences used for indexing triangular or square arrays
Eric Weisstein's World of Mathematics, Smarandache Sequences
Eric Weisstein's World of Mathematics, Unit Fraction

Cf. A000217, A001710, A002262, A003056, A004736 (ordinal transform), A025581, A056534, A094727, A127779.
Cf. A140756 (alternating signs).
Triangle sums (see the comments): A000217 (Row1, Kn11); A004526 (Row2); A000096 (Kn12); A055998 (Kn13); A055999 (Kn14); A056000 (Kn15); A056115 (Kn16); A056119 (Kn17); A056121 (Kn18); A056126 (Kn19); A051942 (Kn110); A101859 (Kn111); A132754 (Kn112); A132755 (Kn113); A132756 (Kn114); A132757 (Kn115); A132758 (Kn116); A002620 (Kn21); A000290 (Kn3); A001840 (Ca2); A000326 (Ca3); A001972 (Gi2); A000384 (Gi3).
Cf. A108872.

a002260 n k = k
a002260_row n = [1..n]
a002260_tabl = iterate (\row -> map (+ 1) (0 : row)) [1]
-- Reinhard Zumkeller, Aug 04 2014, Jul 03 2012

at:=0; for n from 1 to 150 do for i from 1 to n do at:=at+1; lprint(at,i); od: od: # N. J. A. Sloane, Nov 01 2006
seq(seq(i,i=1..k),k=1..13); # Peter Luschny, Jul 06 2009

FoldList[{#1, #2} &, 1, Range[2, 13]] // Flatten (* Robert G. Wilson v, May 10 2011 *)
Flatten[Table[Range[n],{n,20}]] (* Harvey P. Dale, Jun 20 2013 *)

T(n,k):=sum((i+k)*binomial(i+k-1,i)*binomial(k,n-i-k+1)*(-1)^(n-i-k+1),i,max(0,n+1-2*k),n-k+1); /* Vladimir Kruchinin, Oct 18 2013 */

t1(n)=n-binomial(floor(1/2+sqrt(2*n)),2) /* this sequence */

A002260(n)=n-binomial((sqrtint(8*n)+1)\2,2) \\ M. F. Hasler, Mar 10 2014

from math import isqrt, comb
def A002260(n): return n-comb((m:=isqrt(k:=n<<1))+(k>m*(m+1)),2) # Chai Wah Wu, Nov 08 2024

a(n) = 1 + A002262(n).
n-th term is n - m*(m+1)/2 + 1, where m = floor((sqrt(8*n+1) - 1) / 2).
The above formula is for offset 0; for offset 1, use a(n) = n-m*(m+1)/2 where m = floor((-1+sqrt(8*n-7))/2). - Clark Kimberling, Jun 14 2011
a(k * (k + 1) / 2 + i) = i for k >= 0 and 0 < i <= k + 1. - Reinhard Zumkeller, Aug 14 2001
a(n) = (2*n + round(sqrt(2*n)) - round(sqrt(2*n))^2)/2. - Brian Tenneson, Oct 11 2003
a(n) = n - binomial(floor((1+sqrt(8*n))/2), 2). - Paul Barry, May 25 2004
T(n,k) = A001511(A118413(n,k)); T(n,k) = A003602(A118416(n,k)). - Reinhard Zumkeller, Apr 27 2006
a(A000217(n)) = A000217(n) - A000217(n-1), a(A000217(n-1) + 1) = 1, a(A000217(n) - 1) = A000217(n) - A000217(n-1) - 1. - Alexander R. Povolotsky, May 28 2008
a(A169581(n)) = A038566(n). - Reinhard Zumkeller, Dec 02 2009
T(n,k) = Sum_{i=1..k} i*binomial(k,i)*binomial(n-k,n-i) (regarded as triangle, see the example). - Mircea Merca, Apr 11 2012
T(n,k) = Sum_{i=max(0,n+1-2*k)..n-k+1} (i+k)*binomial(i+k-1,i)*binomial(k,n-i-k+1)*(-1)^(n-i-k+1). - Vladimir Kruchinin, Oct 18 2013
G.f.: x*y / ((1 - x) * (1 - x*y)^2) = Sum_{n,k>0} T(n,k) * x^n * y^k. - Michael Somos, Sep 17 2014
a(n) = n - S(n) where S(n) = sum of distinct terms in {a(1), a(2), ..., a(n-1)}. - David James Sycamore, Mar 10 2025

More terms from Reinhard Zumkeller, Apr 27 2006
Incorrect program removed by Franklin T. Adams-Watters, Mar 19 2010
New name from Omar E. Pol, Jul 15 2012

A056538 Irregular triangle read by rows: row n lists the divisors of n in decreasing order.

Original entry on oeis.org

1, 2, 1, 3, 1, 4, 2, 1, 5, 1, 6, 3, 2, 1, 7, 1, 8, 4, 2, 1, 9, 3, 1, 10, 5, 2, 1, 11, 1, 12, 6, 4, 3, 2, 1, 13, 1, 14, 7, 2, 1, 15, 5, 3, 1, 16, 8, 4, 2, 1, 17, 1, 18, 9, 6, 3, 2, 1, 19, 1, 20, 10, 5, 4, 2, 1, 21, 7, 3, 1, 22, 11, 2, 1, 23, 1, 24, 12, 8, 6, 4, 3, 2, 1, 25, 5, 1, 26, 13, 2, 1, 27, 9

Offset: 1

Antti Karttunen, Jun 20 2000

Old name was "Replace n by its divisors in reverse order."
This gives the second elements of the ordered pairs (a,b), a >= 1, b >= 1, ordered by their product ab.
T(n,k) = n / A027750(n,k) = A027750(n,n-k+1), 1 <= k <= A000005(n). - Reinhard Zumkeller, Sep 28 2014
The 2nd column of the triangle is the largest proper divisor (A032742). - Charles Kusniec, Jan 30 2021

			Triangle begins:
1;
2, 1;
3, 1;
4, 2, 1;
5, 1;
6, 3, 2, 1;
7, 1;
8, 4, 2, 1;
9, 3, 1;
10, 5, 2, 1;
11, 1;
12, 6, 4, 3, 2, 1;
13, 1;
14, 7, 2, 1;
15, 5, 3, 1;
16, 8, 4, 2, 1;
17, 1;
18, 9, 6, 3, 2, 1;
19, 1;
20, 10, 5, 4, 2, 1;

Reinhard Zumkeller, Rows n = 1..1000 of triangle, flattened
Omar E. Pol, Illustration of the divisors of n - _Omar E. Pol_, Nov 22 2009

Cf. A027750 for the first elements, A056534, A168017, A000005 (row lengths), A000203 (row sums), A032742 (largest proper divisor).

a056538 n k = a056538_tabf !! (n-1) !! (k-1)
a056538_row n = a056538_tabf !! (n-1)
a056538_tabf = map reverse a027750_tabf
-- Reinhard Zumkeller, Sep 28 2014

Magma
```
[Reverse(Divisors(n)) : n in [1..30]];
```

map(op,[seq(reverse(sort(divisors(j))),j=1..30)]);
cdr := proc(l) if 0 = nops(l) then ([]) else (l[2..nops(l)]): fi: end:
reverse := proc(l) if 0 = nops(l) then ([]) else [op(reverse(cdr(l))), l[1]]; fi: end:

Table[Reverse@ Divisors@ n, {n, 27}] // Flatten (* Michael De Vlieger, Jul 27 2016 *)

row(n)=Vecrev(divisors(n)) \\ Charles R Greathouse IV, Sep 02 2015

a(n) = A064894(A064896(n)).

Definition revised by N. J. A. Sloane, Jul 27 2016

cp's OEIS Frontend

A056535 Mapping from the ordering by sum to the ordering by product of the ordered pairs. Inverse permutation to A056534.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A027750 Triangle read by rows in which row n lists the divisors of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

Python

Formula

Extensions

A002260 Triangle read by rows: T(n,k) = k for n >= 1, k = 1..n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

Maxima

PARI

PARI

Python

Formula

Extensions

A056538 Irregular triangle read by rows: row n lists the divisors of n in decreasing order.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

Formula

Extensions