Class number formula¶

A number-theoretic identity relating a Dedekind zeta function’s special behavior to a field’s class number, regulator, roots of unity, embeddings, and discriminant.

Version: v2 · 2026-09-19 · History
Domain-specific #: 3693
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Algebraic Number Theory → Mathematics

Core Idea¶

For a number field, the analytic class number formula gives the residue of its Dedekind zeta function at one as an explicit product of arithmetic invariants with conventional powers of two and pi. Euler-product analytic continuation concentrates global prime-ideal distribution into a pole, while unit-lattice volume and ideal-class count supply the algebraic residue factors. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

No faithful explanation at this level. Two of three generators agree: any five-year-old story reduces the formula to 'a way of counting something about numbers', dropping the defining identity between the residue of the Dedekind zeta function at 1 and a product of arithmetic invariants; B's lone attempt is a minority.

Zeta Meets Class Number

In advanced math, there are 'number fields,' number systems bigger than ordinary whole numbers. Each one has important features: for example, the class number, which counts how many different kinds of ideal-groups it has, and measurements of its special units. There's also a function, called the Dedekind zeta function, built from all the prime pieces of that number system. The class number formula says that how this function behaves near the number 1 equals those features multiplied together, with some powers of 2 and π. It connects counting primes with the algebra of the number system.

Zeta Residue Class Number Identity

For a number field K, the analytic class number formula links two very different kinds of information. On one side is the Dedekind zeta function of K, a function made by combining contributions from all of K's prime ideals; it blows up at s = 1, and the formula gives the exact size of that blow-up (the residue). On the other side is a product of arithmetic invariants of K: the class number h (how many ideal classes there are), the regulator (a volume measuring the unit group), the number of roots of unity in K, the discriminant, and counts of real and complex embeddings, together with conventional powers of 2 and π. So the analytic behavior of the zeta function encodes algebraic facts about K. Getting the formula right depends on using consistent conventions for each of these quantities.

For a number field K, the Dedekind zeta function ζ_K(s) is defined by a sum over ideals or an Euler product over prime ideals and continues analytically with a simple pole at s = 1. The analytic class number formula expresses its residue there as an explicit product of arithmetic invariants: the class number h_K, the regulator R_K, the number w_K of roots of unity in K, the absolute discriminant d_K, and the numbers r_1 and r_2 of real and pairs of complex embeddings, which govern conventional powers of 2 and π. In the standard normalization, the residue equals 2^{r_1}(2π)^{r_2} h_K R_K divided by w_K √|d_K|. Conceptually, the Euler product concentrates global information about how prime ideals are distributed into the pole, while the volume of the unit lattice (via the regulator) and the count of ideal classes supply the algebraic factors. Getting the constants right requires consistent conventions for embedding counts, regulator normalization, discriminant, zeta normalization, and the special point used.

Scope of Application¶

Class number formula belongs to algebraic number theory and is useful where the analyst can specify the typed algebraic number theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the number field, embedding counts, regulator normalization, root-of-unity count, discriminant convention, zeta normalization, and special point are explicit. The scope is broad within that domain but bounded by the need for the number field, embedding counts, regulator normalization, root-of-unity count, discriminant convention, zeta normalization, and special point are explicit. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the number field, embedding counts, regulator normalization, root-of-unity count, discriminant convention, zeta normalization, and special point are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Class number formula can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Class number formula. Class number formula compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed algebraic number theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the number field, embedding counts, regulator normalization, root-of-unity count, discriminant convention, zeta normalization, and special point are explicit independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of algebraic number theory because they reuse the typed algebraic number theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, Euler-product analytic continuation concentrates global prime-ideal distribution into a pole, while unit-lattice volume and ideal-class count supply the algebraic residue factors., and type the carrier, state every parameter and convention in the definition, test that the number field, embedding counts, regulator normalization, root-of-unity count, discriminant convention, zeta normalization, and special point are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Class number formula Domain-specific

Parents (1) — outgoing typed relations

Class number formula is a kind of Correspondence Principle Prime

It remains its own entry because its identity is fixed by the number field, embedding counts, regulator normalization, root-of-unity count, discriminant convention, zeta normalization, and special point.

Hierarchy paths (2) — routes to 2 parentless roots

Class number formula → is a kind of Correspondence Principle → is a kind of Compatibility

Show alternative path (1)

Neighborhood in Abstraction Space¶

Class number formula sits in a crowded region of the domain-specific corpus (5^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Integer & Divisor Number Theory (45 abstractions)

Nearest neighbors

Eisenstein reciprocity — 0.93
Mahler measure — 0.93
Modulus (algebraic number theory) — 0.93
Algebraic number field — 0.92
Faulhaber's formula — 0.92

Computed from structural-signature embeddings · 2026-10-25