Two Möbius bands attached to a torus
Attach
Möbius bands to
a torus along the classes
ab and
a2b3. If their core generators are
x,y, the resulting
presentation is
⟨a,b,x,y∣[a,b], x2=ab, y2=a2b3⟩.
Because the exponent
vectors (1,1) and
(2,3) form
a unimodular
basis of
Z2, eliminating
a,b gives
This
group maps onto
S3 by
x↦(12) and
y↦(23), so it is nonabelian.