1: \begin{definition}[Theorem \ref{Defn:alg(1)solvable}]

2: We say that an element $(H,\Y,\xi) \in \ac2$ with image $0 \in \mathcal{AC}_1$ is \emph{algebraically $(1)$-solvable} if the following holds.  There exists a metaboliser $$P = P^{\bot} \subseteq H_1(\Q[\Z] \otimes_{\zh} N)$$ for the rational Blanchfield form such that for any $p \in H$ satisfying $\xi(p) \in P$, we obtain an element:

3: \[\Q\G \otimes_{\zh} N \in \ker(L^4(\Q\G,\Q\G -\{0\}) \to L^3(\Q\G)),\]

4: via a symmetric Poincar\'{e} pair over $\Q\G$: \[(j \colon (\Q\G \otimes_{\zh} N)_p \to V_p, (\Theta_p,\theta_p)),\] with

5: \[P = \ker(j_* \colon H_1(\Q[\Z] \otimes_{\zh} N) \to H_1(\Q[\Z] \otimes_{\Q\G} V_p)),\]

6: and such that:

7: \[j_*\colon H_1(\Q \otimes_{\zh} N) \xrightarrow{\simeq} H_1(\Q \otimes_{\Q\G} V_p)\]

8: is an isomorphism.  We call each such $(V_p,\Theta_p)$ an \emph{algebraic $(1)$-solution}.

9: \qed\end{definition}

10: