OFFSET
1,2
COMMENTS
This is another version of A272831: here we only consider cyclotomic fields of even order since Q(zeta_n) = Q(zeta_(2n)) for odd n.
a(n) is the number of subgroups of the multiplicative group of integers modulo 2n.
LINKS
FORMULA
a(n) = A272831(2n).
EXAMPLE
a(1) = 1: Q(zeta_2) = Q, which has itself as the only subfield.
a(2) = 2: Q(zeta_4) = Q(i) has 2 subfields: Q and Q(i).
a(3) = 2: Q(zeta_6) = Q(sqrt(-3)) has 2 subfields: Q and Q(sqrt(-3)).
a(4) = 5: Q(zeta_8) = Q(i, sqrt(2)) has 5 subfields: Q, Q(i), Q(sqrt(2)), Q(sqrt(-2)) and Q(zeta_8).
a(5) = 3: Q(zeta_10) = Q(zeta_5) has 3 subfields: Q, Q(sqrt(5)), Q(zeta_5).
a(6) = 5: Q(zeta_12) = Q(i, sqrt(-3)) has 5 subfields: Q, Q(i), Q(sqrt(-3)), Q(sqrt(3)) and Q(zeta_12).
a(7) = 4: Q(zeta_14) = Q(zeta_7) has 4 subfields: Q, Q(sqrt(-7)), Q((zeta_7)+(zeta_7)^(-1)) and Q(zeta_7).
PROG
(GAP) List([1..80], n->Sum( ConjugacyClassesSubgroups( LatticeSubgroups( GL(1, ZmodnZ(2*n)))), Size));
CROSSREFS
KEYWORD
nonn
AUTHOR
Jianing Song, Feb 12 2021
STATUS
approved