Sorunuzun cevabı: Evet. İki normal altgrubun kesişimi normal bir altgruptur.
G grubunun H ve K normal altgrupları verilsin.
Öncelikle, H∩K bir altgruptur. Bunun bilindiğini varsayıyorum.
Şimdi, gelişigüzel bir alalım g∈G alalım ve x∈H∩K varsayalım. O halde x∈H ve x∈K sağlanır.
H normal ⟹g−1xg∈H
ve
H normal ⟹g−1xg∈K
olduğuna göre, g−1xg∈H∩K sağlanır. Yani H∩K normal bir altgruptur.
Birşeyin "normal altgrup" olduğunu gösterirken düşülen tuzaklardan biri, altgrup olup olmadığına bakmadan "normal" olduğunu göstermeye girişmektir. Buna dikkat etmeli.