In
mathematics, combinatorial group theory is the theory of
free group
In mathematics, the free group ''F'S'' over a given set ''S'' consists of all words that can be built from members of ''S'', considering two words to be different unless their equality follows from the group axioms (e.g. ''st'' = ''suu''− ...
s, and the concept of a
presentation of a group
In mathematics, a presentation is one method of specifying a group. A presentation of a group ''G'' comprises a set ''S'' of generators—so that every element of the group can be written as a product of powers of some of these generators—an ...
by
generators and
relations
Relation or relations may refer to:
General uses
*International relations, the study of interconnection of politics, economics, and law on a global level
*Interpersonal relationship, association or acquaintance between two or more people
*Public ...
. It is much used in
geometric topology
In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.
History
Geometric topology as an area distinct from algebraic topology may be said to have originat ...
, the
fundamental group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
of a
simplicial complex
In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their ''n''-dimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial ...
having in a natural and geometric way such a presentation.
A very closely related topic is
geometric group theory, which today largely subsumes combinatorial group theory, using techniques from outside combinatorics besides.
It also comprises a number of
algorithmically insoluble problems, most notably the
word problem for groups; and the classical
Burnside problem.
History
See for a detailed history of combinatorial group theory.
A proto-form is found in the 1856
icosian calculus of
William Rowan Hamilton
Sir William Rowan Hamilton LL.D, DCL, MRIA, FRAS (3/4 August 1805 – 2 September 1865) was an Irish mathematician, astronomer, and physicist. He was the Andrews Professor of Astronomy at Trinity College Dublin, and Royal Astronomer of Ire ...
, where he studied the
icosahedral symmetry group
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the amb ...
via the edge graph of the dodecahedron.
The foundations of combinatorial group theory were laid by
Walther von Dyck
Walther Franz Anton von Dyck (6 December 1856 – 5 November 1934), born Dyck () and later ennobled, was a German mathematician. He is credited with being the first to define a mathematical group, in the modern sense in . He laid the foundation ...
, student of
Felix Klein
Christian Felix Klein (; 25 April 1849 – 22 June 1925) was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and grou ...
, in the early 1880s, who gave the first systematic study of groups by generators and relations.
References
*
{{refend