cp's OEIS Frontend

A097374 Perfect 4-composites: a perfect 4-composite is a natural number that can be represented in the form a^(a^(a^........(a^(a) ) ) ) for some natural number a and some number b>=1 of up-arrows.

%I A097374 #28 Sep 08 2022 08:45:14
%S A097374 4,16,27,256,3125,46656,65536,823543,16777216,387420489,10000000000,
%T A097374 285311670611,7625597484987,8916100448256,302875106592253,
%U A097374 11112006825558016,437893890380859375,18446744073709551616,827240261886336764177,39346408075296537575424,1978419655660313589123979,104857600000000000000000000
%N A097374 Perfect 4-composites: a perfect 4-composite is a natural number that can be represented in the form a^(a^(a^........(a^(a) ) ) ) for some natural number a and some number b>=1 of up-arrows.
%C A097374 From _Natan Arie Consigli_, Jan 17 2016: (Start)
%C A097374 Also, natural numbers of the form H_4(a,b) with a,b > 1. See A054871 for definitions and key links.
%C A097374 Let a and b be positive. a is a unit if there exist b such that a*b=1. The only unit is 1 because only 1*1=1.
%C A097374 x = a*b is composite (in hyper-2) if a,b are nonunits.
%C A097374 In hyper-4 context the only unit is 1 since a[4]b = 1 if and only if a=1.
%C A097374 Hyper 4-composites are numbers of the form H_4(a,b) where a,b are nonunits. This is why for 4-composites we have a,b > 1.
%C A097374 1 and 0 are non-4-composites since H_4(a,b) > 1 if a,b are positive nonunits. (End)
%F A097374 a(n) = A257309(n+2).
%e A097374 4-composites include:
%e A097374 H_4(5,2)= 5^5 = 3125;
%e A097374 H_4(3,3) = 3^3^3 = 3^27 = 7625597484987;
%e A097374 H_4(2,4) = 2^2^2^2 = 2^2^4 = 2^16 = 65536;
%t A097374 Join[{4, 16}, Table[n^n, {n, 3, 20}]] (* _Vincenzo Librandi_, Jan 18 2016 *)
%o A097374 (Magma) [4,16] cat [n^n: n in [3..20]]; // _Vincenzo Librandi_, Jan 18 2016
%Y A097374 Cf. A257309 (nontrivial hyper-4 powers H_4(a,b) with b<>1).
%K A097374 nonn
%O A097374 1,1
%A A097374 Ashutosh (ashu(AT)iitk.ac.in), Sep 18 2004
%E A097374 Corrected by _Natan Arie Consigli_, Jan 17 2016