Finitely generated object

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.

See also

References

  1. ↑ finitely generated object in nLab.


This article is issued from Wikipedia - version of the 5/24/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.