Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).
%I #50 Aug 29 2019 11:39:23
%S 0,3,24,122,808,10412,111254,817148,1640691,24699895,186114323,
%T 186114323,6118094552,6118094552,490563146587,2525232365134,
%U 26263039914849,59495970484450,1222648540420485,6107889334151832,74501260446390690,234085793041614692,1351177521208182706,24810103812706111000,134285093173029776372
%N One of the three successive approximations up to 7^n for 7-adic integer 6^(1/3). This is the 3 (mod 7) case (except for n = 0).
%C For n > 0, a(n) is the unique number k in [1, 7^n] and congruent to 3 mod 7 such that k^3 - 6 is divisible by 7^n.
%C For k not divisible by 7, k is a cube in 7-adic field if and only if k == 1, 6 (mod 7). If k is a cube in 7-adic field, then k has exactly three cubic roots.
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/P-adic_number">p-adic number</a>
%F a(n) = A319098(n)*(A210852(n)-1) mod 7^n = A319098(n)*A210852(n)^2 mod 7^n.
%F a(n) = A319199(n)*(A212153(n)-1) mod 7^n = A319199(n)*A212153(n)^2 mod 7^n.
%e The unique number k in [1, 7^2] and congruent to 3 modulo 7 such that k^3 - 6 is divisible by 7^2 is k = 24, so a(2) = 24.
%e The unique number k in [1, 7^3] and congruent to 3 modulo 7 such that k^3 - 6 is divisible by 7^3 is k = 122, so a(3) = 122.
%o (PARI) a(n) = lift(sqrtn(6+O(7^n), 3) * (-1+sqrt(-3+O(7^n)))/2)
%Y Cf. A319297, A319305, A319555.
%Y Approximations of p-adic cubic roots:
%Y A290567 (5-adic, 2^(1/3));
%Y A290568 (5-adic, 3^(1/3));
%Y A309444 (5-adic, 4^(1/3));
%Y this sequence, A319098, A319199 (7-adic, 6^(1/3));
%Y A320914, A320915, A321105 (13-adic, 5^(1/3)).
%K nonn
%O 0,2
%A _Jianing Song_, Aug 27 2019