Lý luận Frattini

Trong lý thuyết nhóm, một nhánh toán học, lý luận Frattini là bổ đề quan trọng trong lý thuyết cấu trúc của các nhóm hữu hạn. Lý luận này được đặt tên theo Giovanni Frattini, người sử dụng nó trong bài viết năm 1885 để lý giải cho nhóm con Frattini của nhóm. Lý luận đưa bởi Frattini, được lấy từ bài của Alfredo Capelli năm 1884.

Lý luận Frattini

Phát biểu

Nếu $G$ là nhóm hữu hạn có nhóm con chuẩn tắc $H$, và $P$ là p-nhóm con Sylow của $H$, thì

$G=N_G(P)H$

trong đó $N_G(P)$ ký hiệu nhóm chuẩn hóa của $P$ trong $G$ và $N_G(P)H$ là tích các tập con của nhóm.

Chứng minh

Nhóm $P$ là $p$-nhóm con Sylow của $H$, do đó mọi $p$-nhóm con Sylow của $H$ là liên hợp $H$ của $P$, nghĩa là nó có dạng $h^{-1}Ph$, với $h\in H$ (xem định lý Sylow). Gọi $g$ là bất kỳ phần tử thuộc $G$. Bởi $H$ chuẩn tắc trong $G$, nên nhóm con $g^{-1}Pg$ nằm trong $H$. Điều này nghĩa là $g^{-1}Pg$ là $p$-nhóm con Sylow của $H$. Từ trên, ta sẽ suy ra được rằng $H$ phải liên hợp với $P$: nghĩa là cho $h\in H$

$g^{-1}Pg=h^{-1}Ph$,

và vì vậy

$h{g}^{-1}Pg{h}^{-1}=P$.

nên,

$g{h}^{-1}\in N_G(P)$,

do đó $g\in N_G(P)H$. Nhưng vì $g\in G$ được chọn tùy ý, do đó $G=H{N}_G(P)=N_G(P)H.◻$

Ứng dụng

• Lý luận Frattini có thể dùng làm một phần cho bài chứng minh rằng bất kỳ nhóm lũy linh hữu hạn nào đều có thể viết thành tích trực tiếp của các nhóm con Sylow của nó.
• Bằng cách áp dụng lý luận Frattini cho $N_G(N_G(P))$, ta có thể chứng minh rằng $N_G(N_G(P))=N_G(P)$ khi $G$ là nhóm hữu hạn và $P$ là $p$-nhóm con Sylow của $G$.
• Tổng quát hơn, nếu nhóm con $M\le G$ chứa $N_G(P)$ cho một số $p$-nhóm con Sylow $P$ của $G$, thì $M$ tự chuẩn hóa, tức là $M=N_G(M)$.

Liên kết ngoài

• Frattini's Argument on ProofWiki

Tham khảo

• Bản mẫu:Chú thích sách (See Chapter 10, especially Section 10.4.)