1 problem

Freeness conjecture. For any trace monoid $M(E,I)$ with partial action on a set $S$, the Abelian group $H_1(K_*(S), \Delta{\,\mathbb Z})$ is free.