Định lý Cauchy (lý thuyết nhóm)

Định lý Cauchy là một định lý trong lý thuyết nhóm được đặt tên theo tên của nhà toán học người Pháp Augustin Louis Cauchy. Định lý này phát biểu rằng nếu $G$ là một nhóm hữu hạn và $p$ là một số nguyên tố chia hết cấp của $G$ (số phần tử trong $G$) thì trong $G$ tồn tại một phần tử có cấp $p$. Tức là trong $G$ tồn tại phần tử $x$ sao cho $p$ là số nguyên dương nhỏ nhất để $x^p=e$, với $e$ là phần tử đơn vị.

Định lý này liên quan đến định lý Lagrange, phát biểu rằng cấp của một nhóm con bất kỳ của một nhóm $G$ hữu hạn cho trước đều chia hết cấp của $G$. Định lý Cauchy chứng tỏ rằng với mọi ước nguyên tố $p$ của cấp của $G$, tồn tại một nhóm con cyclic của $G$ có cấp $p$ được sinh bởi phần tử đã được nói tới trong định lý Cauchy.

Tổng quát hơn định lý Cauchy là định lý Sylow thứ nhất, phát biểu rằng: nếu $G$ là một nhóm hữu hạn và $p^n$ là ước của cấp của $G$ với $p$ nguyên tố thì $G$ có một nhóm con cấp $p^n$.

Phát biểu và chứng minh

Chứng minh

Ta chứng minh bằng quy nạp theo $n$ với $n=|G|$ và xét 2 trường hợp $G$ giao hoán và $G$ không giao hoán.

• G giao hoán:

Nếu $G$ là nhóm đơn, tức là $G$ chỉ có 2 nhóm con là $\{e\}$ và chính nó thì nhóm này phải là nhóm cyclic cấp nguyên tố và dĩ nhiên sẽ tồn tại một phần tử có cấp p.

Nếu $G$ không là nhóm đơn thì tồn tại một nhóm con chuẩn tắc không tầm thường H trong G. Nếu $p$ chia hết $|H|$ thì theo giả thiết quy nạp, trong $H$ tồn tại một phần tử cấp p và do đó, trong $G$ cũng tồn tại một phần tử cấp p. Ngược lại, theo định lý Lagrange, $p$ phải chia hết chỉ số $[G:H]$, khi đó, theo giả thiết quy nạp, trong nhóm thương $g/H$ sẽ tồn tại một phần tử có cấp $p$. Và do đó, trong $G$ tồn tại một phần tử $x$ thỏa $(Hx{)}^p=H{x}^p=H$. Khi đó, tồn tại một phần tử $h$ trong $H$ sao cho $h{x}^p=e$. Dễ thấy với mọi phần tử $a$ trong $H$, tồn tại phần tử $b$ trong $H$ sao cho $b^p=a$ nên tồn tại một phần tử $h_2$ trong $H$ sao cho $h_2^p=h$. Do đó, $h_{2}x$ có cấp là $p$ và kết thúc chứng minh cho trường hợp $g$ abel.

• $G$ không giao hoán: trong tập hợp này,tâm $Z$ là một nhóm con không tầm thường của $G$.

Nếu $p$ chia hết cấp của tâm hóa tử $C_G(a)$ với $a$ là một phần tử nào đó không thuộc $Z$ thì $C_G(a)$ là một nhóm con không tầm thường và do đó, theo giả thiết quy nạp, trong $C_G(a)$ tồn tại một phần tử có cấp $p$.

Ngược lại, nếu $p$ chia hết cấp của $C_G(a)$ thì khi đó, $p$ chia hết chỉ số $[G:C_G(a)]$ với $a$ là một phần tử nào đó không thuộc $Z$. Từ $|G|=|Z(G)|+\sum _i^{}[G:C_G(x_i)]$ ta có p chia hết cấp của $Z$ và do đó, tâm chứa một phần tử có cấp $p$ và do đó, $G$ chứa một phần tử có cấp $p$. Kết thúc chứng minh.

Hệ quả

Nếu $G$ là một nhóm hữu hạn (không nhất thiết giao hoán) thỏa tính chất mọi phần tử khác $e$ trong $G$ đều có cấp là lũy thừa của một số nguyên tố cho trước thì $G$ có cấp là một là lũy thừa của một số nguyên tố $p$ cho trước thì $G$ có cấp là một lũy thừa của $p$

Tham khảo

• Bản mẫu:Citation
• Bản mẫu:Citation
• Bản mẫu:Citation
• Bản mẫu:Citation

Liên kết ngoài

• Bản mẫu:Planetmath reference
• Bản mẫu:Planetmath reference