Verbality is finite direct power-closed

This article gives the statement, and possibly proof, of a subgroup property (i.e., verbal subgroup) satisfying a subgroup metaproperty (i.e., finite direct power-closed subgroup property)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about verbal subgroup |Get facts that use property satisfaction of verbal subgroup | Get facts that use property satisfaction of verbal subgroup|Get more facts about finite direct power-closed subgroup property

Statement

Suppose $H$ is a verbal subgroup of a group $G$. Let $n$ be a natural number. Then, in the $n^{th}$ direct power $G^{n}$ of $G$ (i.e., the external direct product of $G$ with itself $n$ times) the corresponding subgroup $H^{n}$ is a verbal subgroup. In fact, the same set of words works.

Related facts

• Full invariance is finite direct power-closed
• Homomorph-containment is finite direct power-closed