1: \begin{definition}

2: Let $G$ be a finite abelian group. A {\it quadratic form} on $G$ is a map $$q:G\longrightarrow \Q/2\Z$$ together with a symmetric bilinear form $$b:G\times G\longrightarrow \Q/\Z$$ such that: 

3: 

4: 1) $q(nx)=n^2q(x)$ for all $n\in \Z$ and $x\in G$, and 

5: 

6: 2) $q(x+x^\prime)-q(x)-q(x^\prime)\equiv 2b(x,x^\prime) \;{\rm mod}\; 2\Z$ for all $x,x^\prime\in G.$ 

7: 

8: Note that,  a quadratic form $q$ on $G$ is uniquely determined by its restriction to the Sylow subgroups $G_p$ of $G$ (see \cite[Proposition 1.2.2]{Ni80}).

9: 

10: \medskip

11: 

12: The {\it length} of $G$, denoted by $l(G)$, is the minimum number of generators of $G$.

13: 

14: \medskip

15: 

16: Let $L$ be a non-degenerate even lattice. The bilinear form of $L$ determines a canonical embedding $L\hookrightarrow L^*={\rm Hom}(L, \Z)$, and we may view $L^*$ as a subset of $L\otimes \Q$. The quotient group $G(L):=L^*/L$ is finite abelian, and we call $G(L)$ the {\it glue group} of $L$, following \cite{Mc16}. For any $x\in L^*$, we use $\overline{x}$ to denote the image of $x$ in $L^*/L$ under the natural quotient map. The ($\Q$-valued) bilinear form on $L^*$ induced by $(*,**)_L$ gives a bilinear form $b_L$ and a quadratic form $q_L$ on $G(L)$ as follows $$ b_L: G(L)\times G(L)\longrightarrow \Q/\Z, \;\; b_L(\overline{x},\overline{y})\equiv (x,y)\; {\rm mod}\; \Z,$$ and $$q_L: G(L)\longrightarrow \Q/2\Z, \;\; q_L(\overline{x})\equiv (x,x)\; {\rm mod}\; 2\Z .$$ We call $q_L$ the {\it discriminant form}  of $L$. For any prime $p$, we use $q_{L,p}$ to denote the restriction of $q_L$ to the Sylow $p$-subgroup $G(L)_p$. Existence of an even lattice with given discriminant form and signature is characterized by \cite[Theorem 1.10.1]{Ni80}.

17: 

18: \medskip

19: 

20: If the glue group $G(L)$ is a $p$-elementary abelian group for some prime $p$, then we say $L$ is a {\it $p$-elementary} lattice (See \cite{RS89} for classification.)

21: 

22: \end{definition}

23: