Template:N-closed

Normal joins
This group property is normal join-closed; in other words, a join of normal subgroups of a group, each having the group property, also has the group property