In number theory, the class number formula relates many important invariants of an algebraic number field to a special value of its Dedekind zeta function.