1: \begin{definition}\label{Defn:COTobstructionset_1}

2: %A Blanchfield form is an Alexander $\Z[\Z]$-module $H$ (Theorem \ref{Thm:Levinemodule}) with a $\Z[\Z]$-module isomorphism:

3: %\[\Bl \colon H \to H^{\wedge}:= \ol{\Hom_{\Q[\Z]}(H, \Q(\Z)/\Q[\Z])},\]

4: %which satisfies $\Bl = \Bl^{\wedge}$.

5: %We define the Witt group of Blanchfield forms with addition by direct sum, the inverse of $V$ given by $-\Bl$, and an element $(H,\Bl)$ is zero if there exists a %metaboliser $P \subseteq H$ such that $P = P^{\bot}$.

6: %The Witt group of Blanchfield forms is called the algebraic concordance group $\mathcal{AC}_1 = \mathcal{COT}_{(\C/0.5)} \cong \C/\mathcal{F}_{(0.5)}$.  We denote the class of metabolic Blanchfield forms by $U_1$.  See Definition \ref{Defn:AC1} for more details.

7: %\qed\end{definition}

8: