Bound-word subgroup

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Bound-word subgroup, all facts related to Bound-word subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]

|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | Subgroup property satisfactions |Subgroup property dissatisfactions
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

Definition

Definition with symbols

A quantified word-letter pair is a word with a distinguished letter, with a sequence of (possibly nested) existential and universal quantifiers on all the other letters. An element $g$ in a group $G$ satisfies this pair if setting the distinguished letter equal to $g$, the nested expression is true in the group (where existential and universal quantifiers are interpreted over $G$). The subgroup corresponding to a quantified word-letter pair is defined as the subgroup generated by all elements of the group satisfying that pair.

A bound-word subgroup is a possibly arbitrary join of finite intersections of subgroups corresponding to quantified word-letter pairs.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
verbal subgroup	generated by a set of words			Existentially bound-word subgroup|FULL LIST, MORE INFO
existentially bound-word subgroup	similar definition, but we use only existential quantifiers			|FULL LIST, MORE INFO
marginal subgroup				Weakly marginal subgroup|FULL LIST, MORE INFO
weakly marginal subgroup				|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
strictly characteristic subgroup		Bound-word implies strictly characteristic		|FULL LIST, MORE INFO
characteristic subgroup		(via strictly characteristic)	(via strictly characteristic)	Finite direct power-closed characteristic subgroup, Strictly characteristic subgroup|FULL LIST, MORE INFO
normal subgroup		(via characteristic)	(via characteristic)	Characteristic subgroup, Finite direct power-closed characteristic subgroup, Strictly characteristic subgroup|FULL LIST, MORE INFO