Bourbaki

Bài tập 8, § 4

Nhóm Lie và đại số Lie, II, 189

Let G=SL2(Z)G = \mathbf{SL}_2(\mathbf{Z}) và cho x=(1101),y=(1011),w=(01−10)x = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, y = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}, w = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}.

(a) Kiểm tra các công thức w4=1,w=xy−1x,wxw−1=y−1w^4 = 1, w = xy^{-1}x, wxw^{-1} = y^{-1}.

(b) Nếu g=(abcd)g = \begin{pmatrix} a & b \\ c & d \end{pmatrix} là một phần tử của GG, ta viết l(g)=∣a∣+∣b∣l(g) = |a| + |b|. Chứng minh rằng l(g)=1l(g) = 1 khi và chỉ khi gg có dạng ynway^n w^a, trong đó n∈Zn \in \mathbf{Z} và 0⩽a⩽30 \leqslant a \leqslant 3. Nếu l(g)⩾2l(g) \geqslant 2, chứng minh rằng tồn tại một lũy thừa hh của xx hoặc yy sao cho l(gh)<l(g)l(gh) < l(g). Suy ra rằng GG được sinh bởi {x,y}\{x, y\}.

(c) Sử dụng (a) và (b), chứng minh rằng G/(G,G)G/(G, G) được sinh bởi ảnh ξ\xi của xx và rằng ξ12=e\xi^{12} = e.‡ Suy ra rằng CnG=(G,G)C^n G = (G, G) với n⩾2n \geqslant 2. (áp dụng Bài tập 7).

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6. Chưa được người kiểm tra.