Template:Dirprodclosedsgp

From Groupprops

Direct product-closedness

This subgroup property is direct product-closed: it is closed under taking arbitrary direct products of groups