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

2: The algebraic concordance group, first defined in \cite{Levine} and which we denote $\mathcal{AC}_1$, is defined as follows.  A Blanchfield form \cite{Blanchfield} is an Alexander $\Z[\Z]$-module $H$ (Theorem \ref{Thm:Levinemodule}) with a $\Z[\Z]$-module isomorphism:

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

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

5: We define the Witt group of equivalence classes of Blanchfield forms, with addition by direct sum and the inverse of $(H,\Bl)$ given by $(H,-\Bl)$. We call an element $(H,\Bl)$ metabolic if there exists a metaboliser $P \subseteq H$ such that $P = P^{\bot}$ with respect to $\Bl$.  We say that $(H,\Bl)$ is equivalent to $(H',\Bl')$ if $(H \oplus H',\Bl \oplus -\Bl')$ is metabolic.

6: Lemma \ref{Lemma:Cancellation_Blanchfield} states the rational version of the fact that this is transitive and is therefore an equivalence relation.  The integral version is harder, but follows from the proof (see e.g. \cite[Theorems~3.10~and~4.2]{Ranicki4}) of the fact that the Witt group of Seifert forms and the Witt group of Blanchfield forms are isomorphic.

7: \qed\end{definition}