Category:Definitions/Free Groups

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Free Groups.
Related results can be found in Category:Free Groups.


Definition 1

A group $G$ is a free group if and only if it is isomorphic to the free group on some set.


Definition 2

A group $G$ is a free group if and only if it has a presentation of the form $\gen S$, where $S$ is a set.

That is, it has a presentation without relators.