Jump to content

Finitely generated object

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by David Eppstein (talk | contribs) at 07:13, 24 May 2014 (not unreferenced). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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