TOPICS
Search

Free Group


A group is called a free group if no relation exists between its group generators other than the relationship between an element and its inverse required as one of the defining properties of a group.

For example, the additive group of integers is free with a single generator, namely 1 and its inverse, -1. An example of an element of the free group on two generators is ab^2a^(-1), which is not equal to b^2. The fundamental group of the figure eight serves as another good example of a free group with two generators, since either loop can be traversed, but the two paths do not commute. Moreover, no (nontrivial) path involving more than one loop will ever be homotopic to the identity.


See also

Algebraic Group, Free Abelian Group, Free Product, Free Semigroup, Group Generators

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Free Group." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/FreeGroup.html

Subject classifications