How does one go about proving the subnormality intersection property, that is to say, if two subgroups are subnormal in G their intersection is also?
Let . Then for all and all we have that and , so clearly , and so holds.
For more practice with the intersections of groups, can you prove that the intersection of finitely many subgroups of finite index is a subgroup of finite index?