Template:Finite N-closed

Finite normal joins
This group property is finite normal join-closed: in other words, a join of finitely many normal subgroups each having the group property, also has the group property