Finite verbal subgroup

Definition
A subgroup $$H$$ of a group $$G$$ is termed a finite verbal subgroup if the following equivalent conditions are satisfied:


 * 1) $$H$$ is a finite group and is a verbal subgroup of $$G$$.
 * 2) $$H$$ is a finite group and is a verbal subgroup of finite type in $$G$$.