login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A324084 One of the four successive approximations up to 13^n for 13-adic integer 3^(1/4).This is the 11 (mod 13) case (except for n = 0). 13
0, 11, 141, 986, 25153, 25153, 2252911, 2252911, 504241047, 3767163931, 67394160169, 1583837570508, 5168158358582, 191552839338430, 2008803478891948, 21695685407388393, 226439257463751421, 1557272475830111103, 96711847589024828366, 96711847589024828366 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,2

COMMENTS

For n > 0, a(n) is the unique number k in [1, 13^n] and congruent to 11 mod 13 such that k^4 - 3 is divisible by 13^n.

For k not divisible by 13, k is a fourth power in 13-adic field if and only if k == 1, 3, 9 (mod 13). If k is a fourth power in 13-adic field, then k has exactly 4 fourth-power roots.

LINKS

Table of n, a(n) for n=0..19.

Wikipedia, p-adic number

FORMULA

a(n) = A324082(n)*A286841(n) mod 13^n = A324083(n)*A286840(n) mod 13^n.

For n > 0, a(n) = 13^n - A324077(n).

a(n)^2 == A322085(n) (mod 13^n).

EXAMPLE

The unique number k in [1, 13^2] and congruent to 11 modulo 13 such that k^4 - 3 is divisible by 13^2 is k = 141, so a(2) = 141.

The unique number k in [1, 13^3] and congruent to 11 modulo 13 such that k^4 - 3 is divisible by 13^3 is k = 986, so a(3) = 986.

PROG

(PARI) a(n) = lift(-sqrtn(3+O(13^n), 4) * sqrt(-1+O(13^n)))

CROSSREFS

Cf. A286840, A286841, A322085, A324077, A324082, A324083, A324085, A324086, A324087, A324153.

Sequence in context: A142930 A024142 A024296 * A141907 A205084 A083078

Adjacent sequences:  A324081 A324082 A324083 * A324085 A324086 A324087

KEYWORD

nonn

AUTHOR

Jianing Song, Sep 01 2019

STATUS

approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 20 19:33 EDT 2021. Contains 343137 sequences. (Running on oeis4.)