Let G=SL2(Z) và cho x=(1011),y=(1101),w=(0−110).
(a) Kiểm tra các công thức w4=1,w=xy−1x,wxw−1=y−1.
(b) Nếu g=(acbd) là một phần tử của G, ta viết l(g)=∣a∣+∣b∣. Chứng minh rằng l(g)=1 khi và chỉ khi g có dạng ynwa, trong đó n∈Z và 0⩽a⩽3. Nếu l(g)⩾2, chứng minh rằng tồn tại một lũy thừa h của x hoặc y sao cho l(gh)<l(g). Suy ra rằng G được sinh bởi {x,y}.
(c) Sử dụng (a) và (b), chứng minh rằng G/(G,G) được sinh bởi ảnh ξ của x và rằng ξ12=e.‡ Suy ra rằng CnG=(G,G) với n⩾2. (áp dụng Bài tập 7).