A379524 -id:A379524 - cp's OEIS frontend

A380102 Minimal absolute discriminants |d| of imaginary quadratic number fields K = Q(sqrt(d)), d < 0, with elementary bicyclic 3-class group Cl_3(K)=(3,3) and second 3-class group M=Gal(F_3^2(K)/K) of assigned even coclass cc(M)=2,4,6,8,...

3896, 27156, 423640, 99888340

Offset: 1

Daniel Constantin Mayer, Jan 12 2025

The coclass cc(M) for the field K with discriminant d = -a(n) is 2*n, and for each field K with absolute discriminant |d| < a(n), the coclass cc(M) is less than 2*n.

			The coclass cannot be odd for imaginary quadratic fields. We have cc(M)=2 for d=-3896, cc(M)=4 for d=-27156, cc(M)=6 for d=-423640, cc(M)=8 for d=-99888340.

D. C. Mayer, The distribution of second p-class groups on coclass graphs, arXiv:1403.3833 [math.NT], 2014; J. Théor. Nombres Bordeaux 25 (2013), 401-456.
Daniel Constantin Mayer, Magma program "ImagCoClass.m" with endless loop

Cf. A242862, A242863 (supersequences). Analog of A379524 for real quadratic fields.

Magma
```
// See Links section.
```

According to Theorem 3.12 on page 435 of "The distribution of second p-class groups on coclass graphs", the coclass of the group M is given by cc(M)+1=log_3(h_3(L_2)), where h_3(L_2) is the second largest 3-class number among the four unramified cyclic cubic extensions L_1,..,L_4 of the quadratic field K, and log_3 denotes the logarithm with respect to the basis 3.

A380103 Minimal conductors c of cyclic cubic number fields K with elementary bicyclic 3-class group Cl_3(K)=(3,3) and second 3-class group M=Gal(F_3^2(K)/K) of assigned coclass cc(M)=0,1,2,3,...

Original entry on oeis.org

657, 2439, 7657, 41839, 231469

Offset: 1

Daniel Constantin Mayer, Jan 15 2025

The coclass cc(M) for one of the fields K with conductor c = a(n) is n-1, and for each field K with conductor c < a(n), the coclass cc(M) is less than n-1. Among the 3-groups M of coclass cc(M)=1, we distinguish the abelian 3-group A=(3,3) by formally putting cc(A)=0, in accordance with the FORMULA. This is a significant difference to quadratic fields, which are firstly uniquely determined by their discriminant, and secondly cannot have an abelian second 3-class group.

			We have M abelian for c=657=9*73 (two fields in a doublet), cc(M)=1 for c=2439=9*271 (two fields in a doublet), cc(M)=2 for c=7657=13*19*31 (three fields in a quartet), cc(M)=3 for c=41839=7*43*139 (two fields in a quartet), cc(M)=4 for c=231469=7*43*769 (four fields in a quartet). If the conductor c has two prime divisors, then cc(M)=1. For cc(M) > 1, exactly three prime divisors of the conductor c are required.

D. C. Mayer, The distribution of second p-class groups on coclass graphs, arXiv:1403.3833 [math.NT], 2014; J. Théor. Nombres Bordeaux 25 (2013), 401-456.
Daniel Constantin Mayer, Magma program "CyclCoClass.m" with endless loop

Analog of A379524 for real quadratic fields.

Magma
```
// See Links section.
```

According to Theorem 3.12 on page 435 of "The distribution of second p-class groups on coclass graphs", the coclass of the non-abelian 3-group M is given by cc(M)+1=log_3(h_3(E_2)), where h_3(E_2) is the second largest 3-class number among the four unramified cyclic cubic extensions E_1,..,E_4 of the cyclic cubic field K, and log_3 denotes the logarithm with respect to the basis 3. An exception is the abelian 3-group A=(3,3) with correct cc(A)=1, where the FORMULA yields cc(A)=0.

A380104 Minimal conductors c of complex dihedral normal closures K = L(zeta_3) of pure cubic number fields L = Q(d^1/3), d > 1 cubefree, with elementary bicyclic 3-class group Cl_3(K)=(3,3) and second 3-class group M=Gal(F_3^2(K)/K) of assigned coclass cc(M)=0,1,2,3,...

Original entry on oeis.org

30, 90, 418, 1626

Offset: 1

Daniel Constantin Mayer, Jan 15 2025

			We have M abelian for c=30=2*3*5 (a singlet), cc(M)=1 for c=90=2*3^2*5 (two fields in a quartet), cc(M)=2 for c=418=2*11*19, cc(M)=3 for c=1626=2*3*271.

D. C. Mayer, The distribution of second p-class groups on coclass graphs, arXiv:1403.3833 [math.NT], 2014; J. Théor. Nombres Bordeaux 25 (2013), 401-456.
Daniel Constantin Mayer, Magma program "PureCoClass.m" with endless loop

Analog of A379524 for real quadratic fields.

Magma
```
// See Links section.
```

According to Theorem 3.12 on page 435 of "The distribution of second p-class groups on coclass graphs", the coclass of the group M is given by cc(M)+1=log_3(h_3(E_2)), where h_3(E_2) is the second largest 3-class number among the four unramified cyclic cubic extensions E_1,..,E_4 of the complex dihedral field K, and log_3 denotes the logarithm with respect to the basis 3. An exception is the abelian 3-group A=(3,3) with correct cc(A)=1, where the FORMULA yields cc(A)=0.

cp's OEIS Frontend

A380102 Minimal absolute discriminants |d| of imaginary quadratic number fields K = Q(sqrt(d)), d < 0, with elementary bicyclic 3-class group Cl_3(K)=(3,3) and second 3-class group M=Gal(F_3^2(K)/K) of assigned even coclass cc(M)=2,4,6,8,...

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Formula

A380103 Minimal conductors c of cyclic cubic number fields K with elementary bicyclic 3-class group Cl_3(K)=(3,3) and second 3-class group M=Gal(F_3^2(K)/K) of assigned coclass cc(M)=0,1,2,3,...

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Formula

A380104 Minimal conductors c of complex dihedral normal closures K = L(zeta_3) of pure cubic number fields L = Q(d^1/3), d > 1 cubefree, with elementary bicyclic 3-class group Cl_3(K)=(3,3) and second 3-class group M=Gal(F_3^2(K)/K) of assigned coclass cc(M)=0,1,2,3,...

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Formula