J. Lawrence, RANK AND ABELIAN RANK OF SYSTEMS OF EQUATIONS OVER THE FREE GROUP, Proceedings of the Edinburgh Mathematical Society, 41, 1998, pp. 217-223
Given a finite irredundant system of equations to be solved over the f
ree group, one has four non-negative integers: the number of equations
, the number of indeterminants, the rank of the system and the Abelian
rank of the system. We show which four-tuples can actually occur.