Đại số

Lý thuyết nhóm hình học

Biến các nhóm hữu hạn sinh thành các đối tượng hình học — đồ thị Cayley và metric từ, nghiên cứu sai khác tựa đẳng cự — đủ mạnh để chứng minh phân loại của Gromov về các nhóm tăng trưởng đa thức và định nghĩa các nhóm hyperbolic.

Trực giácBiến một nhóm thành một hình dạng bạn có thể đi lại trên đó

Hãy tưởng tượng một nhóm mà "nước đi" duy nhất là một danh sách ngắn các phép nhân được phép, áp dụng lặp đi lặp lại bắt đầu từ vị trí gốc. Mọi nhóm hữu hạn sinh đều ngầm mang hình dạng này: chọn một tập sinh $S$ rồi vẽ đồ thị Cayley — mỗi đỉnh ứng với một phần tử của nhóm, và một cạnh nối từ $g$ tới $gs$ với mỗi phần tử sinh $s \in S$ . Một đối tượng đại số trừu tượng biến thành một bức tranh cụ thể mà ta có thể vẽ ra và đi lại trên đó. Metric từ $d_S(g,h)$ là số phần tử sinh ít nhất cần nhân với nhau để đi từ $g$ đến $h$ — chính là độ dài đường đi ngắn nhất giữa chúng trong đồ thị Cayley. Việc chuyển đổi qua lại giữa đại số và hình học chính là toàn bộ ý tưởng của lý thuyết nhóm hình học.

Ví dụ: Đồ thị Cayley của $\mathbb{Z}/6\mathbb{Z}$ : một lục giác bạn có thể tự vẽ bằng tay

Xét nhóm cyclic $\mathbb{Z}/6\mathbb{Z} = \{0,1,2,3,4,5\}$ với phép cộng modulo $6$ , cùng tập sinh $S = \{1,5\}$ (tức là $+1$ và nghịch đảo của nó $-1 \equiv 5$ ). Vẽ sáu phần tử như sáu điểm và nối $g$ với $g+1$ cũng như với $g-1$ với mọi $g$ . Hình dạng nào xuất hiện, và metric từ $d_S(0,3)$ bằng bao nhiêu?

Lời giải

Mỗi đỉnh $g$ chỉ nối với hai đỉnh láng giềng $g \pm 1 \pmod 6$ , nên đồ thị Cayley chính xác là một lục giác (chu trình $6$ đỉnh) — sáu đỉnh xếp thành một vòng tròn, đúng như hình ảnh quen thuộc của số học đồng hồ. Để đi từ $0$ đến $3$ , ta có thể đi theo chiều kim đồng hồ ( $0 \to 1 \to 2 \to 3$ , độ dài $3$ ) hoặc ngược chiều kim đồng hồ ( $0 \to 5 \to 4 \to 3$ , cũng độ dài $3$ ); không có đường nào ngắn hơn vì $3$ nằm đúng ở giữa vòng lục giác. Vậy $d_S(0,3) = 3$ , và tổng quát $d_S(0,k) = \min(k,\, 6-k)$ .

Đại họcHình thức hóa bức tranh: đồ thị Cayley và metric từ

Định nghĩa: Đồ thị Cayley

Cho $G$ là một nhóm và $S \subseteq G$ là một tập sinh đối xứng ( $S = S^{-1}$ , $e \notin S$ ). Đồ thị Cayley $\mathrm{Cay}(G,S)$ có tập đỉnh là $G$ , với một cạnh nối $g$ và $gs$ với mọi $g \in G$ và $s \in S$ . Chọn một tập sinh hữu hạn khác sẽ làm thay đổi bức tranh ở cự ly gần, nhưng — như ta sẽ thấy — không bao giờ làm thay đổi hình học thô.

Định nghĩa: Metric từ

Với $g,h \in G$ , metric từ $d_S(g,h)$ là độ dài của từ ngắn nhất trong $S$ đánh vần ra $g^{-1}h$ :

d_S(g,h) = \min\{\, n : g^{-1}h = s_1 s_2 \cdots s_n,\ s_i \in S \,\}

Đây chính xác là khoảng cách đồ thị trong $\mathrm{Cay}(G,S)$ : $d_S(g,h)$ đếm số cạnh của đường đi ngắn nhất từ $g$ đến $h$ . Metric này bất biến trái, $d_S(kg,kh) = d_S(g,h)$ với mọi $k \in G$ , vì phép nhân trái với $k$ hoán vị các đỉnh của $\mathrm{Cay}(G,S)$ trong khi bảo toàn mọi cạnh.

Một nhóm hữu hạn chỉ có hữu hạn đồ thị Cayley có thể xảy ra, nhưng đồ thị Cayley của một nhóm vô hạn trông khá khác nhau với các tập sinh khác nhau — vẽ $\mathbb{Z}$ với $S = \{1\}$ ta được một đường thẳng vô hạn hai chiều; vẽ nó với $S = \{2,3\}$ thì bức tranh cục bộ thay đổi hoàn toàn, nhưng nhìn từ xa nó vẫn "trông giống" cùng một đường thẳng. Tựa đẳng cự làm cho ý niệm "giống nhau khi nhìn từ xa" trở nên chính xác, và là quan hệ tương đương nền tảng của lý thuyết nhóm hình học.

Định nghĩa: Tựa đẳng cự

Một ánh xạ $f : X \to Y$ giữa hai không gian metric là một **phép nhúng tựa đẳng cự $(\lambda,\varepsilon)$ ** ( $\lambda \ge 1$ , $\varepsilon \ge 0$ ) nếu với mọi $x,y \in X$ :

\tfrac{1}{\lambda}\, d_X(x,y) - \varepsilon \;\le\; d_Y(f(x),f(y)) \;\le\; \lambda\, d_X(x,y) + \varepsilon

Đây là một tựa đẳng cự nếu thêm vào đó mọi điểm của $Y$ đều nằm cách ảnh $f(X)$ một khoảng không quá $\varepsilon$ (ảnh là trù mật thô). Hai tập sinh hữu hạn bất kỳ $S, S'$ của cùng một nhóm $G$ luôn cho ra các đồ thị Cayley tựa đẳng cự với nhau — ánh xạ đồng nhất trên $G$ đã đủ để làm điều đó, với $\lambda$ thích hợp — nên mọi nhóm hữu hạn sinh đều có một hình học thô được xác định rõ ràng, không phụ thuộc vào tập sinh được chọn. Chính hình học thô này, chứ không phải một đồ thị Cayley cụ thể nào, mới là đối tượng thực sự mà lý thuyết nhóm hình học nghiên cứu.

Đại họcBắc cầu trở lại không gian metric: bổ đề Milnor–Švarc

Định lý: Bổ đề Milnor–Švarc

Cho $G$ tác động bằng các đẳng cự lên một không gian metric $X$ chính quy, trắc địa, một cách gián đoạn chặt và compact thương (thương $X/G$ compact). Khi đó $G$ hữu hạn sinh, và với mọi điểm gốc $x_0 \in X$ , ánh xạ quỹ đạo $g \mapsto g\cdot x_0$ là một tựa đẳng cự từ $G$ (trang bị metric từ) tới $X$ .

Vì sao đúng?

Vì $G$ tác động bằng các đẳng cự, nó không thể phân biệt các điểm của $X$ với bất kỳ ảnh nào của chúng qua $G$ ; vì tác động là compact thương, một mảnh bị chặn của $X$ , được sao chép bởi $G$ , đã phủ hết toàn bộ $X$ . Vì vậy quỹ đạo của một điểm duy nhất đã nắm bắt được toàn bộ hình dạng thô của $X$ — nghiên cứu nhóm trừu tượng $G$ và nghiên cứu không gian cụ thể $X$ mà nó tác động lên trở nên có thể thay thế cho nhau, sai khác một sai số bị chặn. Đây chính là định lý cho phép hình học không gian metric và lý thuyết nhóm đổi chỗ cho nhau.

Chứng minh

Cố định $x_0 \in X$ và, dùng tính compact của $X/G$ , chọn $R$ đủ lớn sao cho các ảnh qua $G$ của hình cầu đóng $\bar B(x_0,R)$ phủ kín $X$ . Đặt $S = \{\, g \in G : g \ne e,\ d_X(x_0,gx_0) \le 2R+1 \,\}$ , một tập hữu hạn do tính gián đoạn chặt. Để thấy $S$ sinh ra $G$ : với $g \in G$ cho trước, đánh dấu các điểm $x_0 = g_0 x_0, g_1 x_0, \dots, g_n x_0 = g x_0$ cách nhau không quá $2R$ dọc theo một đường trắc địa từ $x_0$ đến $g x_0$ ; mỗi cặp liên tiếp thỏa $d_X(g_{i-1}x_0, g_i x_0) \le 2R$ , nên $g_{i-1}^{-1} g_i \in S$ , và nhân $n \le d_X(x_0, g x_0)/(2R) + 1$ phần tử này của $S$ lại cho ta $g$ . Do đó $d_S(e,g) \le C_1\, d_X(x_0,gx_0) + C_1$ với hằng số $C_1$ chỉ phụ thuộc $R$ . Ngược lại, mỗi phần tử sinh di chuyển $x_0$ không quá $2R+1$ , nên $d_X(x_0,gx_0) \le (2R+1)\, d_S(e,g)$ . Hai bất đẳng thức này cho thấy $g \mapsto g x_0$ là một phép nhúng tựa đẳng cự $(\lambda,\varepsilon)$ với $\lambda,\varepsilon$ thích hợp, và tính compact thương (mọi điểm của $X$ cách một ảnh qua $G$ của $x_0$ không quá $R$ ) khiến ảnh của nó trù mật thô — vậy nó là một tựa đẳng cự, và vì nó xác định trên toàn bộ $G$ , tập hữu hạn $S$ sinh ra $G$ .

Ví dụ: Đồ thị Cayley của nhóm tự do $F_2$ là một cây $4$ -chính quy vô hạn

Cho $F_2 = \langle a,b \rangle$ là nhóm tự do trên hai phần tử sinh: các phần tử của nó chính xác là các từ rút gọn trong $\{a,a^{-1},b,b^{-1}\}$ (không có chữ cái nào đứng ngay sau nghịch đảo của chính nó). Lấy $S = \{a,a^{-1},b,b^{-1}\}$ . Hãy chứng minh $\mathrm{Cay}(F_2,S)$ không có chu trình và mọi đỉnh đều có bậc $4$ , sau đó đếm số phần tử có độ dài từ đúng bằng $n \ge 1$ .

Lời giải

Một bước đi từ $e$ mà không bao giờ quay lại ngay lập tức sẽ đánh vần ra một từ rút gọn, và các từ rút gọn khác nhau luôn đặt tên cho các phần tử khác nhau của $F_2$ — không thể có sự triệt tiêu giữa chừng, nên hai bước đi khác nhau như vậy không bao giờ có thể gặp lại nhau. Do đó $\mathrm{Cay}(F_2,S)$ không có chu trình: nó là một cây. Mỗi đỉnh $g$ có đúng $4$ đỉnh láng giềng phân biệt $ga, ga^{-1}, gb, gb^{-1}$ (phân biệt vì $F_2$ không có hệ thức nào đồng nhất bất kỳ cặp nào trong số chúng), nên cây này $4$ -chính quy.

Đếm theo độ dài: phần tử đơn vị là phần tử duy nhất có độ dài $0$ . Một từ rút gọn có độ dài $n \ge 1$ được xây dựng bằng cách chọn chữ cái đầu tiên ( $4$ lựa chọn) rồi mỗi chữ cái tiếp theo ( $3$ lựa chọn, vì nó phải tránh là nghịch đảo của chữ cái ngay trước nó). Vậy có đúng $4\cdot 3^{n-1}$ phần tử có độ dài từ đúng bằng $n$ , và hình cầu bán kính $n$ có $b_S(n) = 1 + \sum_{k=1}^{n} 4\cdot 3^{k-1} = 2\cdot 3^{n} - 1$ phần tử — tăng trưởng mũ, khác hẳn tăng trưởng bị chặn của $\mathbb{Z}/6\mathbb{Z}$ .

Đối tượng toán họcĐặc trưng chứng minh

Một cửa sổ hữu hạn độ sâu 2 của cây Cayley

4

-chính quy của nhóm tự do

F_2=\langle a,b\rangle

: gốc có bốn hướng theo phần tử sinh và mỗi đỉnh bên trong phân nhánh không chu trình.

Nâng caoTăng trưởng: từ đếm mặt cầu đến định lý Gromov

Hàm tăng trưởng của $G$ theo tập sinh hữu hạn $S$ đếm kích thước các hình cầu metric:

b_S(n) = |B_S(e,n)| = \big|\{\, g \in G : d_S(e,g) \le n \,\}\big|

$G$ có tăng trưởng đa thức nếu $b_S(n) \le C n^d$ với các hằng số $C,d$ và mọi $n$ , và có tăng trưởng mũ nếu $b_S(n) \ge c\,\alpha^n$ với $\alpha > 1$ nào đó — cả hai tính chất này đều không phụ thuộc vào tập sinh hữu hạn $S$ được chọn, mà chỉ phụ thuộc vào chính nhóm $G$ . Ta đã gặp cả hai thái cực: $\mathbb{Z}/6\mathbb{Z}$ có tăng trưởng bị chặn (toàn bộ nhóm là một hình cầu), $\mathbb{Z}^k$ có tăng trưởng đa thức bậc $k$ , và nhóm tự do $F_2$ có tăng trưởng mũ, với $b_S(n) = 2\cdot 3^n - 1$ .

Định lý: Định lý Gromov về các nhóm tăng trưởng đa thức

(Gromov, 1981) Một nhóm hữu hạn sinh $G$ có tăng trưởng đa thức khi và chỉ khi $G$ là hầu lũy linh, tức là $G$ có một nhóm con lũy linh với chỉ số hữu hạn.

Vì sao đúng?

Tăng trưởng là một bất biến thuần túy metric, tầm cỡ lớn — ta chỉ đếm xem có bao nhiêu phần tử nhóm nằm trong các hình cầu của metric từ — trong khi "lũy linh" là một điều kiện thuần túy đại số trên các giao hoán tử lặp. Định lý Gromov nói rằng hai thế giới trông hoàn toàn khác nhau này, hình học và đại số, mô tả chính xác cùng những nhóm ở đây: ngay khi ta có thể chặn tốc độ tăng của các hình cầu trong đồ thị Cayley của một nhóm bằng một đa thức, một cấu trúc đại số ẩn giấu (một nhóm con lũy linh chỉ số hữu hạn) chắc chắn phải tồn tại. Định lý này đã trả lời một câu hỏi năm 1968 của Milnor và Wolf và trở thành kết quả nền tảng mang tính bước ngoặt của lý thuyết nhóm hình học.

Chứng minh

Một chiều là đại số cổ điển mang màu sắc hình học (Bass–Guivarc'h): nếu $N \trianglelefteq G$ là lũy linh có chỉ số hữu hạn với dãy tâm dưới có các hạng $r_1,\dots,r_c$ , một lập luận đếm trên dạng chuẩn tắc của các phần tử cho thấy $b_S(n) \asymp n^d$ với $d = \sum_i i\cdot r_i$ , một chặn đa thức — vậy các nhóm hầu lũy linh quả thực có tăng trưởng đa thức. Chiều ngược lại, do Gromov chứng minh, thực sự sâu sắc, và ở đây chỉ phác thảo chiến lược của nó: co giãn đồ thị Cayley theo tỉ lệ $1/n$ rồi lấy giới hạn (theo nghĩa Gromov–Hausdorff, dọc theo một dãy con và một siêu lọc) khi $n \to \infty$ ; tăng trưởng đa thức chính xác là điều kiện giữ cho các hình cầu được co giãn này không suy biến về một điểm hay bùng nổ không giới hạn, nên một không gian metric giới hạn — nón tiệm cận của $G$ — tồn tại và là một không gian trắc địa, compact địa phương, hữu hạn chiều mà trên đó $G$ vẫn tác động bắc cầu ở mức giới hạn. Lý thuyết cấu trúc các nhóm compact địa phương của Montgomery và Zippin sau đó buộc nhóm đẳng cự của không gian giới hạn này phải chứa một nhóm Lie, và một lập luận sâu hơn chặn bậc của tăng trưởng đa thức theo số chiều của nhóm Lie đó, cuối cùng xác định được một nhóm con lũy linh chỉ số hữu hạn nằm ngay trong $G$ . Một chứng minh sau này của Kleiner (2010) dẫn lại đúng chiến lược co giãn-rồi-lấy-giới-hạn này thông qua tính hữu hạn chiều của không gian các hàm điều hòa tăng trưởng đa thức, tránh hoàn toàn bộ máy Montgomery–Zippin, nhưng ý tưởng chủ đạo — chuyển sang giới hạn, tách ra một nhóm Lie, rồi đọc ra tính lũy linh — vẫn giữ nguyên.

Nâng caoĐộ cong không cần trơn: các nhóm hyperbolic theo nghĩa Gromov

Đóng góp mang tính bước ngoặt thứ hai của Gromov (1987) chắt lọc đặc trưng tầm cỡ lớn cốt yếu của các không gian độ cong âm — như mặt phẳng hyperbolic $\mathbb{H}^2$ — thành một định nghĩa có ý nghĩa cho bất kỳ không gian metric trắc địa nào, trơn hay không: tam giác mỏng.

Định nghĩa: Không gian hyperbolic theo nghĩa Gromov và nhóm hyperbolic

Một không gian metric trắc địa $X$ là $\delta$ -hyperbolic ( $\delta \ge 0$ ) nếu mỗi cạnh của mọi tam giác trắc địa đều nằm trong lân cận $\delta$ của hợp hai cạnh còn lại. Một nhóm hữu hạn sinh $G$ là hyperbolic (theo nghĩa Gromov) nếu đồ thị Cayley $\mathrm{Cay}(G,S)$ của nó, với một (tương đương, mọi) tập sinh hữu hạn $S$ , là $\delta$ -hyperbolic với một $\delta$ nào đó.

\text{for every geodesic triangle } [x,y,z]:\quad [x,y] \subseteq N_\delta\big([y,z] \cup [z,x]\big)

Các cây — như đồ thị Cayley của nhóm tự do ở trên — là $0$ -hyperbolic: một tam giác trắc địa trong một cây đúng nghĩa là một chân vạc ba chân, nên mỗi cạnh nằm trên hợp hai cạnh còn lại. Mặt phẳng hyperbolic $\mathbb{H}^2$ là $\delta$ -hyperbolic với một $\delta$ phổ dụng, và nhóm cơ bản của bất kỳ mặt đóng nào có giống ít nhất $2$ cũng vậy. Ngược lại, $\mathbb{Z}^2$ không hyperbolic: một hình vuông lớn có các cạnh cách xa nhau ở giữa dù $\delta$ lớn đến đâu, nên không có $\delta$ duy nhất nào đủ dùng khi hình vuông lớn dần — các hướng phẳng kiểu Euclide chính là điều mà tính hyperbolic loại trừ.

Miền cơ bản chuẩn

\mathcal{F}=\{|\operatorname{Re}\tau|\le\tfrac12,\ |\tau|\ge1,\ \operatorname{Im}\tau>0\}

của nhóm modular. Hai biên thẳng đứng và cung đường tròn đơn vị là các đường trắc địa trong

\mathbb{H}^2

; hình minh họa hình học hyperbolic, không phải phép dựng tam giác mỏng hay chứng minh tính hyperbolic của nhóm mặt.

Nâng caoNhững cây cầu: nhóm lớp ánh xạ, hình học CAT(0), đa tạp 3 chiều và nhóm Lie

Các ý tưởng của lý thuyết nhóm hình học lan tỏa ra khắp nơi. Nhóm lớp ánh xạ của một mặt $\Sigma_g$ — các lớp đẳng vị của các tự đồng phôi của nó — tác động lên không gian Teichmüller, và bộ máy phức hợp đường cong của Masur–Minsky trao cho nó một hình học thô phong phú theo đúng tinh thần đồ thị Cayley đã phát triển ở trên. **Không gian $\mathrm{CAT}(0)$ ** — các không gian trắc địa nơi các tam giác "không béo hơn" tam giác so sánh Euclide của chúng — tổng quát hóa độ cong không dương theo cách mà tính hyperbolic Gromov tổng quát hóa độ cong âm ngặt; các nhóm tác động một cách chặt và compact thương lên các phức lập phương $\mathrm{CAT}(0)$ , theo Sageev, Wise và Agol, là công cụ mang tính quyết định của lý thuyết nhóm hình học đứng sau lời giải một số giả thuyết của Thurston về đa tạp $3$ chiều. Đây là một cây cầu đích thực tới giả thuyết Poincaré: nhóm cơ bản của một đa tạp hyperbolic $3$ chiều đóng tác động hình học (gián đoạn chặt và compact thương bằng các đẳng cự) lên $\mathbb{H}^3$ , nên theo bổ đề Milnor–Švarc ở trên nó tựa đẳng cự với chính $\mathbb{H}^3$ , và việc hiểu chính xác những nhóm nào phát sinh theo cách này là không thể tách rời khỏi sự hình học hóa các đa tạp $3$ chiều nằm sau chứng minh của Perelman. Về phía đại số, các dàn — các nhóm con rời rạc, compact thương hoặc thể tích thương hữu hạn của các nhóm Lie, chẳng hạn $SL(n,\mathbb{Z}) \subset SL(n,\mathbb{R})$ — chính là những nhóm mà bổ đề Milnor–Švarc cho phép ta nghiên cứu bằng hình học, thông qua không gian đối xứng mà nhóm Lie đó tác động lên. Đây là cánh cửa tự nhiên dẫn tới nhóm Lie và đại số Lie, nơi các định lý cứng nhắc của Mostow và Margulis cho thấy rằng với các dàn hạng cao, chỉ riêng nhóm trừu tượng đã ghi nhớ toàn bộ cấu trúc lý thuyết Lie mà nó bắt nguồn.

Ghi chú lịch sử

Bài báo năm 1911 của Max Dehn, Über unendliche diskontinuierliche Gruppen, đã phát biểu các bài toán từ, liên hợp và đẳng cấu cho các nhóm hữu hạn trình bày, và giải bài toán từ cho các nhóm mặt bằng một thuật toán tường minh, có động lực hình học — lát mặt phẳng hyperbolic bằng một đa giác cơ bản rồi rút ngắn bất kỳ từ nào vẽ ra quá nhiều biên của đa giác đó. Henri Poincaré trước đó, trong công trình Analysis Situs năm 1895 của ông, đã đưa vào nhóm cơ bản của một không gian thông qua các vòng lặp sai khác đồng luân — lần đầu tiên một nhóm được rút ra trực tiếp từ hình học của một không gian, hạt giống khái niệm mà sau này lý thuyết nhóm hình học sẽ lớn lên theo chiều ngược lại, bằng cách trả lại hình học cho các nhóm trừu tượng. Tuy nhiên, hình hài hiện đại của lĩnh vực này thường được tính từ hai bài báo của Mikhail Gromov: 'Groups of polynomial growth and expanding maps' (1981), chứng minh rằng tăng trưởng đa thức đặc trưng cho các nhóm hầu lũy linh, và 'Hyperbolic groups' (1987), bài báo đưa vào tính $\delta$ -hyperbolic và khai sinh lý thuyết nhóm hình học như một lĩnh vực riêng biệt.

Henri Poincaré

Nghiên cứuBiên giới nghiên cứu: những câu hỏi còn mở hôm nay

Hiện trạng nghiên cứu tính đến năm 2026

Hiện trạng của lĩnh vực (tính đến năm 2026). Hai dòng chảy từ trang này vẫn đang chuyển động tích cực.

1. Giả thuyết Cannon vẫn còn mở. Nó dự đoán rằng mọi nhóm hyperbolic theo nghĩa Gromov có biên vô cực đồng phôi với mặt cầu $2$ chiều $S^2$ đều (hầu như) là nhóm cơ bản của một đa tạp hyperbolic $3$ chiều đóng, tức là tác động hình học lên $\mathbb{H}^3$ — một mệnh đề đảo mang tính nhóm cho bức tranh hình học hóa đứng sau giả thuyết Poincaré. Vladimir Markovic đã đưa ra một tiêu chuẩn có ảnh hưởng lớn cho giả thuyết này vào năm 2013, quy giả thuyết về một mệnh đề về các nhóm con mặt tựa lồi tách các điểm biên, và nghiên cứu từ đó đến nay tập trung mạnh nhất vào trường hợp lập phương hóa: bài báo năm 2024 của Corey Bregman và Merlin Incerti-Medici, 'On a generalization of Cannon's conjecture for cubulated hyperbolic groups', mở rộng các kỹ thuật kiểu Markovic sang các mặt cầu biên có số chiều $3$ hoặc ít nhất $5$ . Trường hợp mặt cầu $2$ chiều ban đầu vẫn chưa được giải quyết tính đến năm 2026. 2. Các nhóm tự do và nhóm lớp ánh xạ vẫn tiếp tục hé lộ những cấu trúc còn mở. Việc liệu $\mathrm{Out}(F_3)$ , nhóm tự đẳng cấu ngoài của nhóm tự do hạng $3$ , có nhúng được vào một nhóm tuyến tính hay không vẫn là một bài toán mở nổi tiếng, trái ngược hẳn với chứng minh của Formanek và Procesi rằng $\mathrm{Out}(F_n)$ không tuyến tính với $n \ge 4$ (thông qua một cấu trúc 'nhóm con độc dược'). Song song đó, hình học của phức nhân tử tự do và phức tách tự do, được Bestvina và Feighn đưa vào để phản chiếu phức đường cong của một mặt, cùng với việc phân loại các nhóm lớp ánh xạ 'lớn' của các mặt kiểu vô hạn, vẫn là những mặt trận rất năng động, kết nối trang này với tô pô chiều thấp và lý thuyết Teichmüller.

Trong đồ thị Cayley của $\mathbb{Z}/6\mathbb{Z}$ với tập sinh $\{1,5\}$ (tức $\pm 1$ ), metric từ $d_S(0,3)$ bằng bao nhiêu?

Đối tượng nào sau đây tựa đẳng cự với $\mathbb{Z}$ (với metric thông thường của nó)?

Theo định lý năm 1981 của Gromov, một nhóm hữu hạn sinh có tăng trưởng đa thức khi và chỉ khi nó là...

Nhóm nào sau đây (với tập sinh hữu hạn chuẩn) KHÔNG hyperbolic theo nghĩa Gromov?

Bổ đề Milnor–Švarc nói rằng nếu $G$ tác động một cách gián đoạn chặt và compact thương bằng các đẳng cự lên một không gian metric trắc địa chính quy $X$ , thì...

Tài liệu tham khảo

Clara Löh (2017). Geometric Group Theory: An Introduction · DOI:10.1007/978-3-319-72254-2
Mikhael Gromov (1981). Groups of polynomial growth and expanding maps · DOI:10.1007/BF02698687
Mikhael Gromov (1987). Hyperbolic groups