05.01.2013 Views

COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.

COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.

COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

342 J. H. Conway<br />

each knot has been subjected to a reduction procedure which in every<br />

known case has been shown to yield all forms with minimal crossing<br />

number.) By the same token, all knots listed are believed to be prime.<br />

The columns headed V, 60, a0 give the invariants of @ 6 and 7, and for<br />

proper knots the column headed d gives a coded form of the polynomial or<br />

equally of the potential, [a+ b+c abbreviating the polynomial a + b(r + r-3<br />

+ c(r2+rm2) or the potential (a+ b{r2}+ c{r”})/{r}. The column “units”<br />

gives the Minkowski units (for definition see [S], but beware errors!)<br />

of K and its obverse, fp meaning that C, = + 1 for both K and 1 K, +p<br />

that C, is - 1 for K and 1 for 7 K, and so on. The units have been recomputed<br />

even in range of the existing tables, since these do not distinguish<br />

between a knot and its obverse. Under “1” we give the linking numbers of<br />

pairs of strings, in the order il,,, &,, I,,, ;I,,, I,,, &,,, but omitting linking<br />

numbers of non-existent strings.<br />

The tables have been collated with the published tables of Tait (T in the<br />

tables) , Little? (L), Alexander and Briggs (A&B) [l], and Reidemeister [8],<br />

and with some unpublished polynomial tables computed by Anger [2] and<br />

Seiverson of the Princeton knot theory group. I thank Professor H. F. Trotter<br />

for making these available-they have enabled me to correct a number<br />

of (related) errors in the 10 crossing knot polynomials. Much of the material<br />

of $0 7 and 8 of this paper arose as the result of some stimulating<br />

conversations with Andrew Tristram, whose assistance I gratefully<br />

acknowledge here.<br />

Note added in proof.<br />

An idea of Professor Trotter has led me to the discovery of an identity<br />

for the Minkowski units like those of the text for the other invariants. In<br />

fact we have, if K = KO , L = K+ , that<br />

where [Xl, = - ,<br />

( P )<br />

Legendre symbol.<br />

and X(p) = (- l>xX whenpX 11 X, and 5 is the<br />

0P<br />

t The 11 -crossing knot numbered 400 in the table is the knot which appeared twice in<br />

Little’s table, as numbers 141 and 142, and the knots 401-411 are those omitted by<br />

Little.<br />

Knots to 8 crossings<br />

Enumeration of knots and links<br />

A&B T/L knot S a%nits 60 A<br />

0, 1 - f Of l/l D<br />

3, 13 r+2 +3 3/l [-lfl<br />

41 1 22 f 0 -5 512 [3- 1<br />

5, 25 r+4 +5 5/l [1-lfl<br />

52 1 32 rf2 T7 713 [-3+2<br />

6, 3 42 r 0+3 914 [5-2<br />

62 2 312 rf2 ill 11/4 [-3+3-l<br />

63 1 2112 f 0 -13 13/5 [5-3+1<br />

7, 77 rf6 f7 7/l r-1+1-1+1<br />

72 6 52 r+2 *11 11/5 r--5+3<br />

7a 5 43 r-4 +13 1314 [3-3+2<br />

7, 3 322 rf4 -17 1717 [5-4+2<br />

7, 4 313 r-2 73-5 1514 i-7+4<br />

7, 2 2212 r+2 +19 1917 r-7+5-1<br />

7, 1 21112 r 0 f3f7 21/a [9-5;1<br />

8, 18 62 r O-13 13/6 [7-3<br />

82 15 512 r-k4 -17 17/G [3-3+3-l<br />

88 17 44 f 0+17 1714 [9-4<br />

84 16 413 r+2 119 19/5 [-5+5-2<br />

8, 13 4112 r-2 t23 2319 r-5+5-3-!-1<br />

8, 11 332 r+2 f23 23/10 r-7+6-2<br />

8 11 10 3212 rf2 f3 27/10 [-9+7-2<br />

f-6 12 3113 f 0+5 2517 [7-5+3-l<br />

8 12 8 31112 r 0 -29 29/11 [ll-7+2<br />

8, 6 2312 r 0+5 2519 [9-6+2<br />

8 12 5 2222 f 0 -29 29/12 [13-7fl<br />

8 14 2 2 2 1 1 2 r+2 +31 31/12 [-11+8-2<br />

85 14 3,3,2 r-4 +3+7 21 [5-4+3-l<br />

8 10 9 3,21,2 r-2 f3 27 [-7+6-3+1<br />

8 15 3 21,2 1,2 rf4 T3fll 33 [11-8+3<br />

8 17 1 .2.2 i O-37 37 [11-8$-4-l<br />

8 16 4 .2.20 r+2 -5+7 35 [-9+8-4+1<br />

8 18 7 8* f 0 -3+5 45 [13-10+5-l<br />

8 t9 III 3, 3,2- r-6 t-3 3 [1+0-l-+1<br />

8 20 I 3,21,2- r 0 +3 9 [3-2fl<br />

821 II 21,21,2- r+2 $3+5 15 [-5+4-l<br />

CPA 23<br />

343<br />

-

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!