8561bd75d347a244.tex
1: \begin{definition}\label{def:epsilonform}
2:   If $(B,\spair)$ is a $p^k$-from of rank $n$,
3:   the \emph{index} $\epsilon(B,\spair)$ (written also $\epsilon(B)$ if no risk of confusion arises)
4:   is defined as $\epsilon_1\epsilon_2$, where $\epsilon_1=1$ if the form is standard (using the terminology of
5:   Theorem~\ref{thm:class}) and $\epsilon_1=-1$ otherwise. We set $\epsilon_2=-1$ if $p\equiv 3\bmod 4$ and $n\equiv 2\bmod 4$, otherwise $\epsilon_2=1$.
6: 
7:   If $M$ is a free $\Z_{p^k}$-module and $\lpair\colon M\times M\to\Q/\Z$ is a linking form, then the index $\epsilon(M)$ is
8:   the index of the $p^k$-form associated with $(M,\lpair)$ via Lemma~\ref{lem:linkingtoortho}.
9: \end{definition}
10: