150 likes | 348 Views
Knot Groups. Kristen Mcgahan. Associative - ( ab )c=a( bc ) for all a,b,c in G Identity - G contains identity element I such that aI = Ia =a for all a in G Inverse - every element a in G has an inverse, another element b such that ab =I and ba =I and b is also in G. Group:.
E N D
Knot Groups Kristen Mcgahan
Associative- (ab)c=a(bc) for all a,b,cin G • Identity- G contains identity element I such that aI=Ia=a for all a in G • Inverse- every element a in G has an inverse, another element b such that ab=I and ba=I and b is also in G Group: A closed algebraic structure that has a law of composition with three properties
Symmetric Group • Set of all permutations • Ex. The group S3the set of all permutations of the set (1,2,3) • = ( (), (1 2)(3), (1 3)(2), (2 3)(1) , (1 2 3), (1 3 2)) • Each permutation can be written in cyclic notation • If f(1)=3, f(2)=1, f(3)=2this permutation is written as (1 3 2) • “A set of permutations is said to generate the symmetric group if every element in the group can be written as a product of elements from the set”
Labeling Knots Consistent- the labels of the arcs on the crossing are g, h, and k, then right hand crossings must satisfy gkg-1=h and left hand crossings ghg-1=k Generate- labels we choose for each arc of the knot diagram must generate the group
Labeling trefoil knot with elements from S3 (1 2) (2 3) (1 3)
Theorem: If a diagram for a knot can be labeled with elements from a group G, then any diagram of the knot can be so labeled with elements from that group, regardless of the choice of orientation.
Proof of Theorem using Reidemeister Moves x y yxy-1 y x x
Proof cont. x yxy-1 y x y x
Group Presentations of the Trefoil Knot Labeling Fundamental groups Wirtinger Presentation
Labeling Words- combination of variables and their inverses by examining each arc Equations- formed by setting the words equal to 1give the defining relations of the group Trefoil knot
Fundamental Group The knot group is the fundamental group of the knot complement (R3-K) The fundamental group is the set of the product of homotopy classes (loops that have the same base point and there is a path that maps one loop to the other) Each arc in a knot diagram can be mapped to a path in the fundamental group that goes around that specific arc
Wirtinger Presentation G(K)= (arc labels: cross relations) Start at a point near the crossing and move counterclockwise around a rectangle At each arc write down the variable if the arc is entering the crossing and the inverse of the variable if it is leaving the crossing This give us the defining relations Each relation corresponds to a loop off the knot (in the fundamental group) Trefoil knot
Conclusions- connections between fundamental group and algebra For each arc in a knot diagram there is an element in the fundamental group This element is represented by the loop that goes around the arc Therefore, there is a map between the labelings of a knot diagram and the fundamental group of the knot complement Knot groups are useful because they are considered invariants and therefore can distinguish between knots