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

edit

References

edit
Stub icon

This category theory–related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Finitely generated module

concepts of finitely generated, finitely presented and coherent modules coincide. A finitely generated module over a field is simply a finite-dimensional

Finitely generated algebra

mathematics, a finitely generated algebra (also called an algebra of finite type) over a (commutative) ring R {\displaystyle R} , or a finitely generated R {\displaystyle

Finitely presented

scheme, a global version of a finitely presented algebra finitely presentable object, in category theory Finitely generated object This disambiguation page

Accessible category

-presentable object is called finitely presentable. In the category Set of all sets, the finitely presentable objects coincide with the finite sets. The

Grothendieck category

any non-zero finitely generated objects. A Grothendieck category is called locally finitely generated if it has a set of finitely generated generators (i

Projective module

However, it is true that for finitely presented modules M over a commutative ring R (in particular if M is a finitely generated R-module and R is Noetherian)

Monoid

to generate M if the smallest submonoid of M containing S is M. If there is a finite set that generates M, then M is said to be a finitely generated monoid

Grigorchuk group

Grigorchuk group is a finitely generated group constructed by Rostislav Grigorchuk that provided the first example of a finitely generated group of intermediate