Điều kiện thiết yếu nào phải được đáp ứng để một tập hợp con của một nhóm là một nhóm con?
Kiểm tra nhóm con là điều kiện cần và đủ để một tập con H của một nhóm G là một nhóm con: việc kiểm tra g−1h ∈ H với mọi phần tử g, h ∈ H là đủ. Biết các nhóm con là quan trọng để hiểu được toàn bộ nhóm.d[>]