login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A089072 Triangle read by rows: T(n,k) = k^n, n >= 1, 1 <= k <= n. 21

%I #56 Nov 06 2022 07:47:23

%S 1,1,4,1,8,27,1,16,81,256,1,32,243,1024,3125,1,64,729,4096,15625,

%T 46656,1,128,2187,16384,78125,279936,823543,1,256,6561,65536,390625,

%U 1679616,5764801,16777216,1,512,19683,262144,1953125,10077696,40353607,134217728,387420489

%N Triangle read by rows: T(n,k) = k^n, n >= 1, 1 <= k <= n.

%C T(n, k) = number of mappings from an n-element set into a k-element set. - _Clark Kimberling_, Nov 26 2004

%C Let S be the semigroup of (full) transformations on [n]. Let a be in S with rank(a) = k. Then T(n,k) = |a S|, the number of elements in the right principal ideal generated by a. - _Geoffrey Critzer_, Dec 30 2021

%H Reinhard Zumkeller, <a href="/A089072/b089072.txt">Rows n = 1..100 of triangle, flattened</a>

%H Mohammad K. Azarian, <a href="https://doi.org/10.12988/imf.2022.912321">Remarks and Conjectures Regarding Combinatorics of Discrete Partial Functions</a>, Int'l Math. Forum (2022) Vol. 17, No. 3, 129-141. See Theorem 2.1(ii).

%F Sum_{k=1..n} T(n, k) = A031971(n).

%F T(n, n) = A000312(n).

%F T(2*n, n) = A062206(n).

%F a(n) = (n + T*(1-T)/2)^T, where T = round(sqrt(2*n),0). - _Gerald Hillier_, Apr 12 2015

%F T(n,k) = A051129(n,k). - _R. J. Mathar_, Dec 10 2015

%F T(n,k) = Sum_{i=0..k} Stirling2(n,i)*binomial(k,i)*i!. - _Geoffrey Critzer_, Dec 30 2021

%F From _G. C. Greubel_, Nov 01 2022: (Start)

%F T(n, n-1) = A007778(n-1), n >= 2.

%F T(n, n-2) = A008788(n-2), n >= 3.

%F T(2*n+1, n) = A085526(n).

%F T(2*n-1, n) = A085524(n).

%F T(2*n-1, n-1) = A085526(n-1), n >= 2.

%F T(3*n, n) = A083282(n).

%F Sum_{k=1..n} (-1)^k * T(n, k) = (-1)^n * A120485(n).

%F Sum_{k=1..floor(n/2)} T(n-k, k) = A226065(n).

%F Sum_{k=1..floor(n/2)} T(n, k) = A352981(n).

%F Sum_{k=1..floor(n/3)} T(n, k) = A352982(n). (End)

%e Triangle begins:

%e 1;

%e 1, 4;

%e 1, 8, 27;

%e 1, 16, 81, 256;

%e 1, 32, 243, 1024, 3125;

%e 1, 64, 729, 4096, 15625, 46656;

%e ...

%t Column[Table[k^n, {n, 8}, {k, n}], Center] (* _Alonso del Arte_, Nov 14 2011 *)

%o (Haskell)

%o a089072 = flip (^)

%o a089072_row n = map (a089072 n) [1..n]

%o a089072_tabl = map a089072_row [1..] -- _Reinhard Zumkeller_, Mar 18 2013

%o (Magma) [k^n: k in [1..n], n in [1..12]]; // _G. C. Greubel_, Nov 01 2022

%o (SageMath) flatten([[k^n for k in range(1,n+1)] for n in range(1,12)]) # _G. C. Greubel_, Nov 01 2022

%Y Related to triangle of Eulerian numbers A008292.

%Y Cf. A000312, A007778, A008788, A031971 (row sums), A062206, A083282.

%Y Cf. A085524, A085526, A120485, A226065, A352981, A252982.

%K easy,nonn,tabl

%O 1,3

%A _Alford Arnold_, Dec 04 2003

%E More terms and better definition from Herman Jamke (hermanjamke(AT)fastmail.fm), Jul 10 2004

%E Offset corrected by _Reinhard Zumkeller_, Mar 18 2013

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 29 05:43 EDT 2024. Contains 371264 sequences. (Running on oeis4.)