06f0f40a09ebdc5d.tex
1: \begin{definition}
2: \label{def:Split}
3: A linking form \((M,\lambda)\) over $\LF$ is \emph{weakly split} if \(M\) decomposes into a direct sum $M_1 \oplus \cdots \oplus M_n$ of cyclic modules in such a way that
4: %\begin{enumerate
5: %\item each summand \(M_{i}\) is invariant under the involution,
6: %\item 
7: the decomposition is orthogonal with respect to $\lambda$. A linking form is \emph{split} if it decomposes into an orthogonal sum of cyclic modules $M_1\oplus\dots\oplus M_n$
8: and each of the $M_i$ is of the form $\LF/f_i$ and  $f_i^\#\doteq f_i$.
9: %Please do not delete this second condition immediately. Also see Remark~\ref{rem:SplitInvolution} and the proof Theorem~\ref{thm:MainLinkingForm}.
10: %\end{enumerate}
11: \end{definition}
12: