✨Tích tự do

Trong toán học, cụ thể là lý thuyết nhóm, tích tự do là một kiến tạo từ hai nhóm $G$ và $H$, cho kết quả là một nhóm mới $G\backslash ast\; H$ (xem xây dựng ở dưới).

Tích tự do xuất hiện trong tô pô đại số, cụ thể là định lý van Kampen, phát biểu rằng nhóm cơ bản của không gian hợp của hai không gian tôpô liên thông đường có giao liên thông đường là tích tự do hỗn hống của các nhóm cơ bản tương ứng. Nói riêng, nhóm cơ bản của tổng nêm của hai không gian (tức là không gian hợp thu được bằng cách nối hai không gian với nhau tại một điểm - i.e. giao của hai không gian con là không gian đơn điểm) chính là tích tự do của các nhóm cơ bản tương ứng.

Xây dựng

Nếu G và H là nhóm, một từ trong G và H là một tích có dạng

: $s\_1\; s\_2\; \backslash cdots\; s\_n,$

trong đó mỗi s_i là một phần tử của G hoặc một phần tử của H. Một từ như vậy có thể được rút gọn bằng cách sử dụng các phép toán sau đây:

• Xóa một phần tử đơn vị (của G hoặc H).
• Thay thế một cặp dạng g₁g₂ bằng tích của chúng trong G hoặc một cặp h₁h₂ bằng tích của chúng trong H.

Mỗi từ rút gọn là một tích xen kẽ các phần tử của G và H, ví dụ

: $g\_1\; h\_1\; g\_2\; h\_2\; \backslash cdots\; g\_k\; h\_k.$

Tích tự do $G\backslash ast\; H$ là nhóm có các phần tử là các từ rút gọn trong G và H, có phép toán nhân là phép nối các từ.

Ví dụ: nếu G là nhóm cyclic vô hạn $\backslash langle\; x\backslash rangle$ và H là nhóm cyclic vô hạn $\backslash langle\; y\backslash rangle$, thì mọi phần tử của $G\backslash ast\; H$ là một tích xen kẽ các lũy thừa của x với các lũy thừa của y. Trong trường hợp này, $G\backslash ast\; H$ đẳng cấu với nhóm tự do sinh bởi x và y.

Biểu thị

Giả sử rằng

: $G\; =\; \backslash langle\; S\_G\; \backslash mid\; R\_G\; \backslash rangle$

là một biểu thị nhóm cho G (trong đó S_G là một tập hợp sinh và R_G là một tập hợp các quan hệ) và giả sử rằng

: $H\; =\; \backslash langle\; S\_H\; \backslash mid\; R\_H\; \backslash rangle$

là một biểu thị nhóm cho H. Thế thì

: $G\; *\; H\; =\; \backslash langle\; S\_G\; \backslash cup\; S\_H\; \backslash mid\; R\_G\; \backslash cup\; R\_H\; \backslash rangle.$

Tổng quát hóa: Tích tự do hỗn hống

Kiến tạo tổng quát hơn được gọi là tích tự do hỗn hống được xây dựng như sau. Cho trước các nhóm $G$ và $H$ cùng với các đồng cấu đơn ánh:

: $\backslash varphi:\; F\; \backslash rightarrow\; G\; \backslash \; \backslash ,$ và $\backslash \; \backslash ,\; \backslash psi:\; F\; \backslash rightarrow\; H,$

ở đây $F$ là một nhóm tùy ý (là thành phần hỗn hống trong tích tự do hỗn hống). Xuất phát từ tích tự do $G\; *\; H$ và thêm vào các quan hệ

: $\backslash varphi(f)\backslash psi(f)^\{-1\}=1$

với mọi $f$ trong $F$. Nói cách khác, xét nhóm con chuẩn tắc nhỏ nhất $N$ của $G\; *\; H$ chứa tất cả các phần tử ở vế trái của phương trình trên. Tích hỗn hống của $G$ và $H$, đối với $\backslash varphi$ và $\backslash psi$, là nhóm thương

: $(G\; *\; H)/N.\backslash ,$

Hỗn hống đã đồng nhất $\backslash varphi(F)$ trong $G$ với $\backslash psi(F)$ trong $H$. Đây là một kiến tạo được sử dụng để tính nhóm cơ bản của hai không gian được gắn với nhau theo một không gian con, với $F$ đóng vai trò nhóm cơ bản của không gian con. Xem: Định lý Seifert-van Kampen.

Nếu thành phần hỗn hống là nhóm tầm thường, ta thu được tích tự do.