Attach Möbius bands to a torus along the classes and . If their core generators are , the resulting presentation isBecause the exponent vectors and form a unimodular basis of , eliminating givesThis group maps onto by and , so it is nonabelian.
Codex Wiki