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

From Drorbn
Jump to navigationJump to search
No edit summary
No edit summary
Line 1: Line 1:
===The Generators===
===The Generators===


Our generators are <math>T</math>, <math>R</math>, <math>Y=\Phi</math> and <math>B^{\pm}</math>. (You might consider splitting <math>Y</math> into two, <math>Y^{up}</math> and <math>Y^{dn}</math>). In pictures, they are
Our generators are <math>T</math>, <math>R</math>, <math>Y=\Phi</math> and <math>B^{\pm}</math> (we might consider splitting <math>Y</math> into two, <math>Y^{up}</math> and <math>Y^{dn}</math>):
{| align=center
{| align=center
|- align=center
|- align=center valign=middle
|align=left|Picture
|
|
|
|
Line 10: Line 11:
|[[Image:06-1350-BPlus.svg|100px]]
|[[Image:06-1350-BPlus.svg|100px]]
|
|
|- align=center
|- align=center valign=middle
|align=left|Generator
|<math>T</math>
|<math>T</math>
|<math>R</math>
|<math>R</math>
Line 17: Line 19:
|<math>B^+</math>
|<math>B^+</math>
|<math>B^-</math>
|<math>B^-</math>
|- align=center valign=middle
|align=left|Perturbation
|<math>t</math>
|<math>r</math>
|<math>y^u</math>
|<math>y^d</math>
|<math>b^+</math>
|<math>b^-</math>
|}
|}



Revision as of 16:27, 18 November 2006

The Generators

Our generators are , , and (we might consider splitting into two, and ):

Picture 06-1350-BPlus.svg
Generator
Perturbation

The Relations

The Reidemeister Move R3

The picture is

06-1350-R4.svg

In formulas, this is

.

Thus the R3 component of is

.

The Syzygies

A Mathematica Verification