What does a class number of one mean?

It means the ideal class group is trivial, so every ideal is principal and the ring of integers has unique factorization of elements, just like the ordinary integers.

What is a fundamental unit?

It is a generator of the infinite part of the unit group; for a real quadratic field it is the smallest unit greater than one, and its powers (with sign) give all units up to roots of unity.

Ideal Class Groups and Units

The ideal class group measures how badly unique factorization fails in a ring of integers, while the unit group describes its invertible elements; both are controlled by the geometry of numbers.

Definition

The ideal class group of a number field is the group of fractional ideals modulo principal ideals; its order is the class number. The units are the invertible elements of the ring of integers, forming a finitely generated abelian group.

Scope

This topic covers fractional ideals and the ideal class group, the finiteness of the class number, Minkowski's convex-body theorem and the Minkowski bound used to compute class groups, the structure of the unit group, Dirichlet's unit theorem giving its rank, fundamental units and regulators, and the analytic class number formula linking these invariants to the Dedekind zeta function.

Core questions

How is the ideal class group defined, and why is it trivial exactly when factorization is unique?
How does Minkowski's geometry of numbers prove the class number is finite and bound representatives?
What is the rank of the unit group, and how do real and complex embeddings determine it?
How does the analytic class number formula tie the class number, regulator, and units to the zeta function?

Key theories

Finiteness of the class number: Every ideal class contains an ideal of bounded norm (the Minkowski bound), and there are finitely many such ideals, so the class group is finite — a foundational result for computation and theory.
Dirichlet's unit theorem: The unit group is the product of the finite group of roots of unity and a free abelian group of rank equal to the number of real embeddings plus complex embedding pairs minus one, realized by fundamental units.
Analytic class number formula: The residue of the Dedekind zeta function at the point one is expressed in terms of the class number, regulator, number of roots of unity, and discriminant, linking algebra to analysis.

Clinical relevance

Class group and unit computations are central to algorithmic number theory and to the security analysis of ideal-lattice and class-group-based cryptosystems, where the hardness of computing class groups underpins proposed schemes.

History

Gauss studied the equivalent theory of binary quadratic forms and their composition, effectively the class groups of quadratic fields. Dirichlet proved his unit theorem in 1846, and Minkowski's geometry of numbers around 1896 gave the clean convex-body proofs of finiteness and the unit rank.

Key figures

Peter Gustav Lejeune Dirichlet
Hermann Minkowski
Carl Friedrich Gauss

Seminal works

neukirch1999

Frequently asked questions

What does a class number of one mean?: It means the ideal class group is trivial, so every ideal is principal and the ring of integers has unique factorization of elements, just like the ordinary integers.
What is a fundamental unit?: It is a generator of the infinite part of the unit group; for a real quadratic field it is the smallest unit greater than one, and its powers (with sign) give all units up to roots of unity.