1: \begin{definition}[nucleus]

2: Let $C$ be a minimal $\sps(k,d)$ identity. The linear subspace $K$ given by Theorem

3: \ref{thm-nucleus} is called the {\em nucleus of $C$}. By Lemma~\ref{lem-nucleus}, the subspace $K$

4: induces an identity $C'=\sum_{i\in[k]} \alpha_i K_i$ which we call the {\em nucleus identity}.

5: \end{definition}

6: