Verbality is strongly join-closed

From Groupprops
Revision as of 17:54, 17 July 2013 by Vipul (talk | contribs) (Created page with "{{subgroup metaproperty satisfaction| property = verbal subgroup| metaproperty = strongly join-closed subgroup property}} ==Statement== Suppose <math>G</math> is a group...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article gives the statement, and possibly proof, of a subgroup property (i.e., verbal subgroup) satisfying a subgroup metaproperty (i.e., strongly join-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 strongly join-closed subgroup property


Statement

Suppose is a group and are verbal subgroups of . Then, the join of subgroups is also a verbal subgroup of .

Proof

We simply look at the sets of words for each , and take the set of products of all such words.