Knot group

Last updated

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,

Contents

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 .

Properties

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. This is because an equivalence between two knots is a self-homeomorphism of that is isotopic to the identity and sends the first knot onto the second. Such a homeomorphism restricts onto a homeomorphism of the complements of the knots, and this restricted homeomorphism induces an isomorphism of fundamental groups. However, it is possible for two inequivalent knots to have isomorphic knot groups (see below for an example).

The abelianization of a knot group is always isomorphic to the infinite cyclic group Z; this follows because the abelianization agrees with the first homology group, which can be easily computed.

The knot group (or fundamental group of an oriented link in general) can be computed in the Wirtinger presentation by a relatively simple algorithm.

Examples

or

See also

Further reading

Related Research Articles

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 the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space is denoted by .

The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural isomorphism.

Semidirect product Operation in group theory

In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:

In abstract algebra, the direct sum is a construction which combines several modules into a new, larger module. The direct sum of modules is the smallest module which contains the given modules as submodules with no "unnecessary" constraints, making it an example of a coproduct. Contrast with the direct product, which is the dual notion.

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—and a set R of relations among those generators. We then say G has presentation

Quaternion group

In group theory, the quaternion group Q8 (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset of the quaternions under multiplication. It is given by the group presentation

Homotopy Continuous deformation between two continuous functions

In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic if one can be "continuously deformed" into the other, such a deformation being called a homotopy between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

Isometry Distance-preserving mathematical transformation

In mathematics, an isometry is a distance-preserving transformation between metric spaces, usually assumed to be bijective.

In mathematics, a function between two complex vector spaces is said to be antilinear or conjugate-linear if

In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group GH. The result contains both G and H as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from G and H into a group K factor uniquely through a homomorphism from GH to K. Unless one of the groups G and H is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group.

Trefoil knot Simplest non-trivial closed knot with three crossings

In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining together the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory.

Braid group Group whose operation is a composition of braids

In mathematics, the braid group on n strands, also known as the Artin braid group, is the group whose elements are equivalence classes of n-braids, and whose group operation is composition of braids. Example applications of braid groups include knot theory, where any knot may be represented as the closure of certain braids ; in mathematical physics where Artin's canonical presentation of the braid group corresponds to the Yang–Baxter equation ; and in monodromy invariants of algebraic geometry.

Hawaiian earring Topological space defined by the union of circles

In mathematics, the Hawaiian earring is the topological space defined by the union of circles in the Euclidean plane with center and radius for endowed with the subspace topology:

A Tsirelson bound is an upper limit to quantum mechanical correlations between distant events. Given that quantum mechanics violates Bell inequalities, a natural question to ask is how large can the violation be. The answer is precisely the Tsirelson bound for the particular Bell inequality in question. In general, this bound is lower than the bound that would be obtained if more general theories, only constrained by "no-signalling", were considered, and much research has been dedicated to the question of why this is the case.

In mathematics, a spherical 3-manifoldM is a 3-manifold of the form

In mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, of finitely many primary ideals. The theorem was first proven by Emanuel Lasker (1905) for the special case of polynomial rings and convergent power series rings, and was proven in its full generality by Emmy Noether (1921).

In topology, a branch of mathematics, a Dehn surgery, named after Max Dehn, is a construction used to modify 3-manifolds. The process takes as input a 3-manifold together with a link. It is often conceptualized as two steps: drilling then filling.

In mathematics, especially in group theory, a Wirtinger presentation is a finite presentation where the relations are of the form where is a word in the generators, Wilhelm Wirtinger observed that the complements of knots in 3-space have fundamental groups with presentations of this form.

In mathematics, specifically group theory, a descendant tree is a hierarchical structure that visualizes parent-descendant relations between isomorphism classes of finite groups of prime power order , for a fixed prime number and varying integer exponents . Such groups are briefly called finitep-groups. The vertices of a descendant tree are isomorphism classes of finite p-groups.

In the mathematical subject of group theory, a one-relator group is a group given by a group presentation with a single defining relation. One-relator groups play an important role in geometric group theory by providing many explicit examples of finitely presented groups.