 A simplicial complex Δ is Cohen–Macaulay over k if and only if for all simplices "σ" ∈ Δ, all reduced simplicial homology groups of the link of "σ" in Δ with coefficients in k are zero, except the top dimensional one