Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Braid group
Summary
In mathematics, the braid group on n strands (denoted ), also known as the Artin braid group, is the group whose elements are equivalence classes of n-braids (e.g. under ambient isotopy), and whose group operation is composition of braids (see ). Example applications of braid groups include knot theory, where any knot may be represented as the closure of certain braids (a result known as Alexander's theorem); in mathematical physics where Artin's canonical presentation of the braid group corresponds to the Yang–Baxter equation (see ); and in monodromy invariants of algebraic geometry.
In this introduction let n = 4; the generalization to other values of n will be straightforward. Consider two sets of four items lying on a table, with the items in each set being arranged in a vertical line, and such that one set sits next to the other. (In the illustrations below, these are the black dots.) Using four strands, each item of the first set is connected with an item of the second set so that a one-to-one correspondence results. Such a connection is called a braid. Often some strands will have to pass over or under others, and this is crucial: the following two connections are different braids:
{| valign="centre"
|-----
|
| is different from
|}
On the other hand, two such connections which can be made to look the same by "pulling the strands" are considered the same braid:
{| valign="centre"
|-----
|
| is the same as
|}
All strands are required to move from left to right; knots like the following are not considered braids:
{| valign="centre"
|-----
|
is not a braid
|}
Any two braids can be composed by drawing the first next to the second, identifying the four items in the middle, and connecting corresponding strands:
{| valign="centre"
|-----
|
| composed with
|
| yields
|}
Another example:
The composition of the braids σ and τ is written as στ.
The set of all braids on four strands is denoted by . The above composition of braids is indeed a group operation.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (2)
MICRO-406: Products design & systems engineering
This course will cover all the aspects of product design and system engineering from learning relevant methods to the actual implementation in a hands-on practice of product development.
MATH-735: Topics in geometric group theory
The goal of this course/seminar is to introduce the students to some contemporary aspects of geometric group theory. Emphasis will be put on Artin's Braid groups and Thompson's groups.
Related lectures (11)
Monster Group: Representation
Explores the Monster group, a sporadic simple group with a unique representation theory.
Subgroups and Cosets: Lagrange's Theorem
Explores subgroups, normal subgroups, cosets, and Lagrange's theorem in group theory, emphasizing the importance of left cosets.
Cross Product in Cohomology
Explores the cross product in cohomology, covering its properties and applications in homotopy.
Related publications (12)
Mechanics of Physical Knots: From Filaments in Contact to Surgical Suturing
In this thesis, we study the mechanics of tight physical knots. Knots are omnipresent in surgery, climbing, and sailing, with disastrous consequences when the filament or the rope fails to perform its function. Even if the importance of mechanical analysis ...
EPFL2023A Hopf algebra model for Dwyer's tame spaces
In this thesis, we give a modern treatment of Dwyer's tame homotopy theory using the language of -categories.We introduce the notion of tame spectra and show it has a concrete algebraic description.We then carry out a study of -operads and ...
EPFL2022The shapes of physical trefoil knots
Pedro Miguel Nunes Pereira de Almeida Reis, John Maddocks, Paul Johanns, Changyeob Baek, Paul Grandgeorge
We perform a compare-and-contrast investigation between the equilibrium shapes of physical and ideal trefoil knots, both in closed and open configurations. Ideal knots are purely geometric abstractions for the tightest configuration tied in a perfectly fle ...
2021Related concepts (16)
Knot group
In mathematics, a knot is an embedding of a circle into 3-dimensional Euclidean space. The knot group of a knot K is defined as the fundamental group of the knot complement of K in R3, Other conventions consider knots to be embedded in the 3-sphere, in which case the knot group is the fundamental group of its complement in . Two equivalent knots have isomorphic knot groups, so the knot group is a knot invariant and can be used to distinguish between certain pairs of inequivalent knots.
Jones polynomial
In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984. Specifically, it is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polynomial in the variable with integer coefficients. Suppose we have an oriented link , given as a knot diagram. We will define the Jones polynomial, , using Louis Kauffman's bracket polynomial, which we denote by . Here the bracket polynomial is a Laurent polynomial in the variable with integer coefficients.
Link (knot theory)
In mathematical knot theory, a link is a collection of knots which do not intersect, but which may be linked (or knotted) together. A knot can be described as a link with one component. Links and knots are studied in a branch of mathematics called knot theory. Implicit in this definition is that there is a trivial reference link, usually called the unlink, but the word is also sometimes used in context where there is no notion of a trivial link.