Definition:Free Group/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

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


Also see

  • Results about free groups can be found here.


Linguistic Note

A free group is so called because it is free of non-trivial relations.


Sources