Skip to main content
1 of 2
Makoto Kato
  • 1.2k
  • 8
  • 19

On a minimal algebraic number field which satisfies the principal ideal theorem

By an algebraic number field, we mean a finite extension field of the field of rational numbers. Let $k$ be an algebraic number field, we denote by $\mathcal{O}_k$ the ring of algebraic integers in $k$. Let $K$ be a finite extension field of an algebraic number field $k$. Suppose for every ideal $I$ of $\mathcal{O}_k$, $I\mathcal{O}_K$ is principal. Then $K$ is called a PIT(Principal Ideal Theorem) field over $k$. Let $K$ be a PIT field over $k$. We say $K$ is a minimal PIT field over $k$ if $L/k$ is not PIT for every proper subextension $L/k$ of $K/k$.

(1) Let $k$ be an algebraic number field and $K/k$ be a finite extension. Is $K/k$ a minimal PIT if and only if $K/k$ is the Hilbert class field?

(2) Let $k$ be an algebraic number field and $K/k$ and $L/k$ be minimal PITs. Are $K/k$ and $L/k$ isomorphic?

Makoto Kato
  • 1.2k
  • 8
  • 19