On a Conjecture of Hanna Neumann

Abstract

In what follows, groups are written additively, and commutators are denoted by brackets:A group is metabelian if it satisfies the lawIt is conceivable, though not plausible, that this law is equivalent to a law, or a set of laws, in only three variables, or even two. The present note shows that this is not the case.