Open main menu

Groupprops β

Purely definably generated subgroup

Definition

A subgroup of a group is termed purely definably generated if it has a generating set that is a definable subset in terms of the first-order theory of the group.

Relation with other properties

Stronger properties

Weaker properties