cp's OEIS Frontend

A343001 Square roots of discriminants of cyclic cubic fields.

%I A343001 #20 Nov 20 2021 20:47:14
%S A343001 7,9,13,19,31,37,43,61,63,67,73,79,91,97,103,109,117,127,133,139,151,
%T A343001 157,163,171,181,193,199,211,217,223,229,241,247,259,271,277,279,283,
%U A343001 301,307,313,331,333,337,349,367,373,379,387,397,403,409,421,427
%N A343001 Square roots of discriminants of cyclic cubic fields.
%C A343001 Numbers k such that k^2 is in A006832.
%C A343001 Numbers k such that A160498(k) >= 2.
%C A343001 Each term k is associated with A343003(k) cyclic cubic fields.
%C A343001 Let D be a discriminant of a cubic field F, then F is a cyclic cubic field if and only if D is a square. For D = k^2, k must be of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3), in which case there are exactly 2^(t-1) = 2^(omega(k)-1) (cyclic) cubic fields with discriminant D. See Page 17, Theorem 2.7 of the Ka Lun Wong link.
%H A343001 Jianing Song, <a href="/A343001/b343001.txt">Table of n, a(n) for n = 1..3200</a>
%H A343001 LMFDB, <a href="https://www.lmfdb.org/NumberField/?degree=3">Cubic fields</a>
%H A343001 Wikipedia, <a href="https://en.m.wikipedia.org/wiki/Cubic_field">Cubic field</a>
%H A343001 Ka Lun Wong, <a href="https://scholarsarchive.byu.edu/etd/2781">Maximal Unramified Extensions of Cyclic Cubic Fields</a>, (2011), Theses and Dissertations, 2781.
%F A343001 a(n) = sqrt(A343001(n)).
%e A343001 7 is a term since 7^2 = 49 is the discriminant of the cyclic cubic field Q[x]/(x^3 - x^2 - 2*x + 1).
%e A343001 9 is a term since 9^2 = 81 is the discriminant of the cyclic cubic field Q[x]/(x^3 - 3*x - 1).
%o A343001 (PARI) isA343001(n) = my(L=factor(n), w=omega(n)); for(i=1, w, if(!((L[i,1]%3==1 && L[i,2]==1) || L[i,1]^L[i,2] == 9), return(0))); (n>1)
%Y A343001 Discriminants and their square roots of cyclic cubic fields:
%Y A343001 At least 1 associated cyclic cubic field: A343000, this sequence.
%Y A343001 Exactly 1 associated cyclic cubic field: A343022, A002476 U {9}.
%Y A343001 At least 2 associated cyclic cubic fields: A343024, A343025.
%Y A343001 Exactly 2 associated cyclic cubic fields: A343002, A343003.
%Y A343001 Cf. A006832, A160498, A343023.
%K A343001 nonn,easy
%O A343001 1,1
%A A343001 _Jianing Song_, Apr 02 2021