Finitely generated free group
From Groupprops
This article defines a group property that is pivotal (i.e., important) among existing group properties
View a list of pivotal group properties | View a complete list of group properties [SHOW MORE]
This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Finitely generated free group, all facts related to Finitely generated free group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki
Definition
Symbol-free definition
A group is said to be a finitely generated free group if it satisfies the following equivalent conditions:
- It is finitely generated (that is, it has a finite generating set) and is also a free group
- It is has a finite freely generating set, viz it is freely generated by a finite set
Definition with symbols
PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]Often, people mean finitely generated free group when they just say free group.
Relation with other properties
Weaker properties
Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|
Free group | free on a subset (need not be a finite subset) | |FULL LIST, MORE INFO | ||
Finitely generated residually finite group | finitely generated and residually finite | free implies residually finite | (finite nontrivial groups give obvious counterexamples) | Finitely presented conjugacy-separable group, Finitely presented residually finite group|FULL LIST, MORE INFO |
Hopfian group | every surjective endomorphism is an automorphism | finitely generated and free implies Hopfian | Finitely generated Hopfian group, Finitely generated residually finite group, Finitely presented conjugacy-separable group, Finitely presented residually finite group|FULL LIST, MORE INFO | |
Locally free group | |FULL LIST, MORE INFO |