User:Leo algknt: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
No edit summary
Line 3: Line 3:
'''Question 1.'''
'''Question 1.'''


A. Prove that the set of all 3-colourings of a knot diagram is a vector space over <math>{\mathbb F}_3</math>. Hence <math>\lambda(K)</math> is always a power of 3
A. Prove that the set of all 3-colourings of a knot diagram is a vector space over <math>{\mathbb Z}_3</math>. Hence <math>\lambda(K)</math> is always a power of 3


Attempt: Let <math>D</math> be a knot diagram with <math>n</math> crossings. There are <math>n</math> arcs. Let <math>a_1, a_1, \ldots, a_n \in \mathbb{Z}/3\mathbb{Z}</math> represent the arcs. Now let <math>a,b,c \in \mathbb{Z}/3\mathbb{Z}</math> , with
Attempt: Let <math>D</math> be a knot diagram with <math>n</math> crossings. There are <math>n</math> arcs. Let <math>a_1, a_1, \ldots, a_n \in {\mathbb Z}_3</math> represent the arcs. Now let <math>a,b,c \in {\mathbb Z}_3</math>. Define <math>\wedge : {\mathbb Z}_3 \times {\mathbb Z}_3 \rightarrow {\mathbb Z}_3</math> by




Line 16: Line 16:
\end{array}
\end{array}
\right.</math>
\right.</math>
so that <math>a\wedge b + a + b \cong 0\mod 3</math>


With the above definition, we get a linear equation <math>a_{i_1} + a_{i_2} + a_{i_3}</math> for each each of the <math>n</math> crossings, where <math>i_1, i_2, i_3 \in {1, 2, \ldots, n}</math>. Thus we get a system of <math>n</math> linear equation.
At each crossing we have a linear equation x





Revision as of 23:29, 23 May 2018

Home Work 1

Question 1.

A. Prove that the set of all 3-colourings of a knot diagram is a vector space over . Hence is always a power of 3

Attempt: Let be a knot diagram with crossings. There are arcs. Let represent the arcs. Now let . Define by


so that

With the above definition, we get a linear equation for each each of the crossings, where . Thus we get a system of linear equation.


Let

B. Prove that is computable in polynomial time in the number of crossings of K.