The Generators
Our generators are , , and :
Picture
|
|
|
|
|
|
Generator
|
|
|
|
|
|
Perturbation
|
|
|
|
|
|
The Relations
The Reidemeister Move R3
The picture (with three sides of the shielding removed) is
In formulas, this is
.
Linearized and written in functional form, this becomes
|
|
|
|
The Syzygies
A Mathematica Verification