To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

# 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,

${\displaystyle \pi _{1}(\mathbb {R} ^{3}\setminus K).}$

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 ${\displaystyle S^{3}}$.

## 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 ${\displaystyle \mathbb {R} ^{3}}$ 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

${\displaystyle \langle x,y\mid x^{2}=y^{3}\rangle }$ or ${\displaystyle \langle a,b\mid aba=bab\rangle .}$
${\displaystyle \langle x,y\mid x^{p}=y^{q}\rangle .}$
${\displaystyle \langle x,y\mid yxy^{-1}xy=xyx^{-1}yx\rangle }$