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!)
A342391 Odd numbers k such that the ring of integers of Q(5^(1/k)) is not Z[5^(1/k)]. 2
20771, 40487, 62313, 103855, 121461, 145397, 186939, 202435, 228481, 270023, 283409, 311565, 353107, 364383, 394649, 436191, 445357, 477733, 519275, 526331, 560817, 602359, 607305, 643901, 685443, 688279, 726985, 768527, 769253, 810069, 850227, 851611, 893153, 931201, 934695, 976237 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

For k > 1, a != 1 being a squarefree number (a != -1 unless k is a power of 2), then the ring of integers of Q(a^(1/k)) is Z[a^(1/k)] if and only if: for every p dividing k, we have a^(p-1) !== 1 (mod p^2). In other words, O_Q(a^(1/k)) = Z[a^(1/k)] if and only if none of the prime factors of k is a Wieferich prime of base a. See Theorem 5.3 of the paper of Keith Conrad.

In general, if a^d == 1 (mod p^2) for some d|(p-1), then it is easy to show that x = (1 + a^(d/p) + a^(2*d/p) + ... + a^((p-1)*d/p))/p is an algebraic integer not in Z[a^(1/p)].

Here a = 5. Since 2 is Wieferich prime of base 5, for all even k we have O_Q(a^(1/k)) != Z[a^(1/k)]. There are only 6 other known Wieferich primes of base 5 (A123692) up to 9.7*10^14.

LINKS

Jianing Song, Table of n, a(n) for n = 1..7286 (all terms up to 2*10^8).

Keith Conrad, The ring of integers in a radical extension

EXAMPLE

5^10385 == 1 (mod 20771^2), so x = (1 + 5^(10385/20771) + 5^(2*10385/20771) + ... + 5^(20770*10385/20771))/20771 is an algebraic integer not in Z[5^(1/20771)].

PROG

(PARI) Wieferich_up_to_n(lim) = my(v=[]); forprime(p=2, lim, if(Mod(5, p^2)^(p-1)==1, v=concat(v, p))); v

Up_to_n(lim) = my(pv=Wieferich_up_to_n(lim), list=[]); for(i=2, #pv, my(p=pv[i]); forstep(k=1, lim\p, 2, list=concat(list, k*p))); list=vecsort(list); list

CROSSREFS

Cf. A123692, A342390.

Sequence in context: A103282 A013865 A173572 * A048960 A252331 A104903

Adjacent sequences:  A342388 A342389 A342390 * A342392 A342393 A342394

KEYWORD

nonn

AUTHOR

Jianing Song, Mar 10 2021

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 January 22 01:28 EST 2022. Contains 350481 sequences. (Running on oeis4.)