In category theory, a finitely generated object is the quotient of a free object over a finite set, in the sense that it is the target of a regular epimorphism from a free object that is free on a finite set.[1]
For instance, one way of defining a finitely generated group is that it is the image of a group homomorphism from a finitely generated free group.
YouTube Encyclopedic
-
1/3Views:9 6266 9241 588
-
AlgTopReview4: Free abelian groups and non-commutative groups
-
302.8C: Ideals
-
Visual Group Theory, Lecture 2.1: Cyclic and abelian groups
Transcription
See also
References
- ^ finitely generated object at the nLab.
![](/s/i/modif.png)