Disk chain complex
= Disk chain complex
{title2=$D^n(R)$}
= Disk complex
{synonym}
For $n\geq1$, the <chain complex> with copies of $R$ in degrees $n,n-1$ and identity differential. It is acyclic; a map from it chooses an arbitrary degree-$n$ element and its boundary.