In algebraic K-theory, a branch of mathematics, Bloch's formula, introduced by Spencer Bloch for , states that the Chow group of a smooth variety X over a field is isomorphic to the cohomology of X with coefficients in the K-theory of the structure sheaf ; that is,