User:Drorbn/06-1350-HW4: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
No edit summary
Line 8: Line 8:
|
|
|
|
|[[Image:06-1350-BPlus.svg]]
|[[Image:06-1350-BPlus.svg|100px]]
|
|
|- align=center
|- align=center
Line 20: Line 20:


===The Relations===
===The Relations===

====The Reidemeister Move R3====
The picture is
[[Image:06-1350-R4.svg|400px|center]]
In formulas, this is
<center><math>(1230)^\star B^+ (1213)^\star B^+ (1023)^\star B^+ = (1123)^\star B^+ (1203)^\star B^+ (1231)^\star B^+</math>.</center>
Thus the R3 component of <math>d</math> is
<center><math>(1230)^\star b^+ +(1213)^\star b^+ +(1023)^\star b^+ -(1123)^\star b^+ -(1203)^\star b^+ -(1231)^\star b^+</math>.</center>


===The Syzygies===
===The Syzygies===

Revision as of 15:20, 18 November 2006

The Generators

Our generators are [math]\displaystyle{ T }[/math], [math]\displaystyle{ R }[/math], [math]\displaystyle{ Y=\Phi }[/math] and [math]\displaystyle{ B^{\pm} }[/math]. (You might consider splitting [math]\displaystyle{ Y }[/math] into two, [math]\displaystyle{ Y^{up} }[/math] and [math]\displaystyle{ Y^{dn} }[/math]). In pictures, they are

06-1350-BPlus.svg
[math]\displaystyle{ T }[/math] [math]\displaystyle{ R }[/math] [math]\displaystyle{ Y^{up} }[/math] [math]\displaystyle{ Y^{dn} }[/math] [math]\displaystyle{ B^+ }[/math] [math]\displaystyle{ B^- }[/math]

The Relations

The Reidemeister Move R3

The picture is

06-1350-R4.svg

In formulas, this is

[math]\displaystyle{ (1230)^\star B^+ (1213)^\star B^+ (1023)^\star B^+ = (1123)^\star B^+ (1203)^\star B^+ (1231)^\star B^+ }[/math].

Thus the R3 component of [math]\displaystyle{ d }[/math] is

[math]\displaystyle{ (1230)^\star b^+ +(1213)^\star b^+ +(1023)^\star b^+ -(1123)^\star b^+ -(1203)^\star b^+ -(1231)^\star b^+ }[/math].

The Syzygies

A Mathematica Verification