Skip to main content
2 of 2
deleted 78 characters in body
Vinteuil
  • 754
  • 3
  • 11

If $n=\text{dim}_{K}(H_1(\mathbf{x},A))$ then $\text{dim}_{K}(H_2(\mathbf{x},A))=\frac{n(n-1)}{2}$. This was proved by Assmus in 1958. In general, $H_*(\mathbf{x},A)$ is the exterior algebra over $H_1(\mathbf{x},A)$, even under weaker hypothesis (Corollary 3 in Blanco-Majadas-Rodicio).

Vinteuil
  • 754
  • 3
  • 11