The free group on a given set S consists of all words that can be built from members of S, where two words count as different unless their equality follows purely from the group axioms. The elements of S are called generators, and the number of generators is the rank of the free group. A group is called free if it is isomorphic to the free group on some subset of its own elements, meaning every element of the group can be written in exactly one way as a product of finitely many generators and their inverses. Free groups are defined by a universal property and are closely related to, but distinct from, free abelian groups.
Facts
Classification
Object KindStructure or Algebraic Object 1 Connections
Is Kind Of Object
Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.
Sources
1. Wikipedia: Free group
History section
The algebraic study of free groups was initiated by Jakob Nielsen in 1924, who gave them their name and established many of their basic properties.
Introduction section
the group of all reduced words in S, with concatenation of words (followed by reduction if necessary) as group operation.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.