Let $\mathbb{F}$ be a field of characteristic $2$ and define $S$ to be the set of all triples $(i,j,k)\in\lbrace 1,\dotsc,n\rbrace^3$ with $\left|i-j\right|=1$, $\left|i-k\right|>1$, and $\left|j-k\right|>1$. Define $V=\bigoplus\limits\_{(i,j)\in\lbrace 1,\dots,n\rbrace^2}\mathbb{F}\sigma\_{i,j}$ to be the vector space with basis the quotient of $\lbrace \sigma\_{i,j}\rbrace\_{(i,j)\in\lbrace 1,\dots,n\rbrace^2}$ by the relation $\sigma\_{i,j}=\sigma\_{j,i}~\forall~(i,j)\in\lbrace 1,\dots,n\rbrace^2$. We can consider the vector subspace $V\_S=\sum\_{(i,j,k)\in S}\mathbb{F}(\sigma\_{i,k}+\sigma\_{j,k})$ (I don't know if this is an standard notation, but I want to represent the sum of subspaces). It is obvious that the above sum is not direct, since for every tuple $(i-1,i,j,j+1)$ with $i<j$ and $\left|j-i\right|>1$ we have
$$(\sigma\_{i-1,j}+\sigma\_{i-1,j+1})+(\sigma\_{i,j}+\sigma\_{i,j+1})+(\sigma\_{i-1,j}+\sigma\_{i,j})+(\sigma\_{i-1,j+1}+\sigma\_{i,j+1})=0.$$
My question is if we can find the number of summands needed in $V\_S$ such that the vector space is represented as a direct sum, which is equivalent to finding $\dim(V\_S)$. It is easy to prove that $\left|S\right|=(n-2)(n-3)$ and with a bit of extra work one can see that the problem mentioned above can be solved by deleting $\frac{(n-3)^2}{4}$ summands in case $n$ is odd and $\frac{(n-2)(n-4)}{4}$ summands in case $n$ is even. However, this is not enough, for the case $n=6$ there is one extra summand to delete which does not correspond to the above situation. I guess there must be many more extra summands to delete for bigger $n$.


This problem appeared when trying to compute the homology of a certain family of groups, and I am not an expert on combinatorics, so I'm quite lost.


Any hints or help will be appreciated.



Counting the number of summands in a vector space over characteristic $2$ to get a direct sum
The dimension is $n(n-3)/2$. The argument is as follows. The set of pairs $(i,j)$ with $i$ and $j$ between $1$ and $n$, and $j-i \geqslant 2$ has cardinality $\binom{n-2}{2}=\frac{(n-1)(n-2)}{2}$. The $\sigma\_{i,j}$ with these indices are the only ones involved. So let $W$ be the vector space spanned by these. For each element of $S$, we get a vector in $W$ such that the sum of the coordinates is zero. This gives us a subspace of $W$ of codimension one, and dimension $n(n-3)/2$. I claim that the images of elements of $S$ span this subspace. To see this, order the pairs $(i,j)$ lexicographically. Then for each $(i,j)$ apart from the first (which is $(1,3)$), there is an element of $S$ giving a vector whose last non-zero coordinate is $\sigma\_{i,j}$. These span the codimension one subspace.


