Finitely generated free group

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]

VIEW RELATED: Group property implications | Group property non-implications | Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions |Group property dissatisfactions
RANDOM GROUP PROPERTY: T-group: A group where any subnormal subgroup is normal, i.e., where normality is transitive. In general, normality is not transitive.

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]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.

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