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