ブロッホ群
)このときブロッホ群 B 2 ( K ) {\displaystyle {\mathcal {B}}_{2}(K)} を
B 2 ( K ) = ker  d {\displaystyle {\mathcal {B}}_{2}(K)=\ker d}
と定義する (Bloch 1978)。松本の定理により K 2 ( K ) {\displaystyle {\mathcal {K}}_{2}(K)} を 2次の代数的K群として K 2 ( K ) = coker  d {\displaystyle {\mathcal {K}}_{2}(K)=\operatorname {coker} d} が知られている。 B 2 ( C ) {\displaystyle {\mathcal {B}}_{2}(\mathbb {C} )} は D2 の線形関係式を完全に記述する群である。すなわち次が成り立つ。
x ∈ B 2 ( C ) ⇔ D 2 ( x ) = 0. {\displaystyle x\in {\mathcal {B}}_{2}(\mathbb {C} )\Leftrightarrow D_{2}(x)=0.}