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, . An example of an element of the free group on two generators is , which is not equal to . 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 alsoAlgebraic Group,
Free Abelian Group,
Free Product,
Free Semigroup,
Group Generators Explore with Wolfram|AlphaMore things to try:
Cite this as:Weisstein, Eric W. "Free Group." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/FreeGroup.html
Subject classificationsRetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4