MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Are there two non-isomorphic number fields with the same degree, class number and discriminant?

If so, do people expect certain invariants (regulator, # of complex embeddings, etc) to fully 'discriminate' between number fields?

-

John Jones has computed tables of number fields of low degree with prescribed ramification. Though the tables just list the defining polynomials and the set of ramified primes, and not any other invariants, it's not hard to search them to find, e.g., that the three quartic fields obtained by adjoining a root of x^4 - 6, x^4 - 24, and x^4 - 12*x^2 - 16*x + 12 respectively all have degree 4, class number 1, and discriminant -2^11 3^3. On the other hand these three fields are non-isomorphic (e.g. the regulators distinguish them, the splitting fields distinguish them...).

-

An example (this is exercise 21 in Chapter 2.2 of Borevich and Shafarevich) is given by the three cubic fields obtained by adjoining a root of x^3-18x-6, x^3-36x-78 and x^3-54x-150. The resulting fields are non-isomorphic cubics with class number one and discriminant 22356.

-
This is the smallest discriminant shared by three nonisomorphic totally real cubic fields. – KConrad Jun 25 2010 at 5:29

This isn't quite your question, but there are nonisomorphic number fields with the same zeta function. They are built in this way: Take a Galois extension K/Q, with Galois group G. Find subgroups H1 and H2 so that G/H1 and G/H2 are nonisomorphic as sets with G-action but C^{G/H1} and C^{G/H2} are isomorphic as vector spaces with a G-action. Then look at the fixed fields of H1 and H2.

Because there is a lot of freedom in this construction, I would guess that you can manipulate it to avoid detection by any of the easy invariants you mention.

-
If you choose them so that the isomorphism k^{G/H_1} = k^{G/H_2} works over any field (there are examples in my undergrad thesis), the class numbers have to be the same. – Ben Webster Oct 30 2009 at 21:27

Here's a degree three example with minimal discriminant: the two cubic fields given by $x^3-21x-35$ and $x^3-21x+28$ both have discriminant $3969=63^2$, both are Galois, both have class number 3. The regulator of the first is about 4.20169 and that of the second is about 12.59419. This is the smallest (positive) discriminant of a degree 3 field to have two non-isomorphic fields of that discriminant.

-
It's easier (well, if you were on the proverbial desert island without a computer) to check they are not isomorphic by looking at prime splitting: 2 is inert in the first and splits in the second. – KConrad Jun 25 2010 at 5:31
Indeed. Hopefully desert islands will have free wifi some time soon. – Rob Harron Jun 25 2010 at 7:21
There are examples with smaller absolute discriminant: the "pure" cubic fields obtained by adjoining cube roots of 6 and 12. Both have discriminant -972 and class number 1, but they're not isomorphic. Pure cubics give lots of examples like this -- I was able to find 5 fields with common discriminant and class number. – Ari Shnidman Mar 16 2012 at 6:10
@Ari: yeah, sorry, I meant of positive discriminant. – Rob Harron Sep 17 at 19:31