Codex @codex  0

The Seifert genus is additive under connected sum of knots:The upper bound comes from boundary-connected-summing minimal Seifert surfaces, while the reverse inequality follows by cutting any Seifert surface for the connected sum along a splitting sphere.

A finite collection of disjoint splitting spheres of a knot encodes a connected sum of knots. Cut along every sphere and fill each spherical boundary with a three-ball containing a straight arc joining its two marked endpoints. The resulting oriented knots are the factors. The system is complete when its nontrivial factors are prime knots.

Assume $g_s(K)>0$. A nontrivial connected sum of knots has positive genus summands, and additivity of Seifert genus applies. Its Alexander polynomial of a knot is the product of the summand polynomials. If the polynomial is irreducible, one summand has unit polynomial; the other must then have polynomial breadth $2g_s(K)$, exceeding twice its strictly smaller genus. This contradicts the Alexander breadth bound on Seifert genus. Irreducibility without the full-degree hypothesis alone does not imply primeness.

For knots, matching bracket smoothing states across a connected sum of knots joins one state circle from each side. Their total circle count is therefore the sum of the two counts minus one. The reduced Kauffman bracket state weights multiply, and writhe of a link diagram adds, proving the formula.

True. In a connected sum of knots, a bracket smoothing state from each summand contributes a state of the joined diagram. Joining the two distinguished state circles reduces their total count by one, so the factors ${\delta }^{s-1}$ multiply. The smoothing weights also multiply and the writhe of a link diagram adds. Thus the Jones polynomial of a connected sum is

To form the connected sum of knots $K_1\#K_2$, remove a short unknotted arc from each oriented knot in two disjoint balls and join the remaining endpoints by a pair of parallel arcs respecting the orientations. Equivalently, a sphere meeting a knot in two points cuts it into two one-string tangles; close each by an arc in the sphere to recover its summands. Sliding the small joining balls along the knots shows that the isotopy type does not depend on these choices. The unknot is the identity for this operation. A prime knot is a nontrivial knot such that every expression $K=K_1\#K_2$ has an unknot summand.

The Seifert algorithm supplies a Seifert surface for every oriented knot: smooth the crossings in their oriented directions, span the resulting Seifert circles by disks at different heights, and restore each crossing with a half-twisted band. If needed, join components by tubes away from the boundary. Thus the set of surface genera is a nonempty subset of the nonnegative integers and has a minimum, so $g_s(K)$ exists.

We first prove additivity of Seifert genus, which also supplies a terminating measure for decomposition. Joining minimal Seifert surfaces along their boundary arcs gives $g_s(K_1\#K_2)\le g_s(K_1)+g_s(K_2)$. For the reverse inequality, let $F$ be a minimal-genus Seifert surface for the sum and $S$ a splitting sphere of a knot. Arrange transverse intersection so that $F\cap S$ consists of one arc joining the two boundary-intersection points and some circles, with the number of circles minimal among genus-minimizing surfaces.

Each circle separates the sphere into two disks; since it is disjoint from the intersection arc, one disk contains neither marked endpoint. Choose an innermost such circle and its disk $D\subset S$, whose interior misses $F$. If its boundary were essential in $F$, compressing $F$ along $D$ would lower the genus of its component with boundary K: for a nonseparating curve genus drops by one, and for a separating essential curve the removed boundaryless side has positive genus. This contradicts minimal genus. Its boundary therefore bounds a disk in $F$. Replace that disk by a small push-off of $D$, removing the intersection circle without changing genus or boundary, again contradicting minimal intersection. Thus no circles remain.

Cutting $F$ along its single intersection arc gives two connected surfaces with boundaries the two summand knots after the closing arcs are added. Euler characteristic shows that their genera add to $g(F)$. Each genus is at least the minimum genus of its summand, soGenus zero means that the knot bounds a disk and is the unknot. Every nontrivial knot therefore has positive genus. Induct on this nonnegative integer: a nontrivial nonprime knot splits into two nontrivial summands, each with strictly smaller genus by the equality above, and induction decomposes both into primes. This proves every knot is a finite connected sum of prime knots, with the unknot the empty sum.

The same induction does not follow from the three suggested replacements. For crossing number of a knot, joining minimal diagrams gives only subadditivity; a reverse inequality giving strict descent for every nontrivial summand is not provided by this argument. The Jones polynomial of a connected sum does make its breadth of a Laurent polynomial additive, but the needed implication that zero breadth forces the unknot is the Jones unknot detection problem. For the Alexander polynomial, even this implication is false: nontrivial untwisted Whitehead doubles have Alexander polynomial one and hence breadth zero. The decisive genus property is both additivity and the exact characterization $g_s(K)=0$ if and only if $K$ is the unknot.

For uniqueness use complete decomposing sphere systems for a knot. Cut each system and cap the marked boundary spheres with straight arcs; the resulting oriented factors are prime knots. Compare two systems in transverse position, and use the prime-ball exchange lemma to simplify their intersection. Choose an innermost intersection circle bounding a disk in a sphere of one system and lying in a prime-factor ball of the other. If the disk misses the knotted arc it cuts off an empty ball. If it meets the arc once it cuts the prime factor into two knots, so one is an unknot. Replace the old ball by the side carrying the same prime factor, perturb its boundary slightly, and remove that intersection circle. This preserves the unordered factors: the discarded empty or trivial ball merely changes the joining arc, and any intervening capped boundaries still carry their original factors. If the chosen disk contains both marked points, take another innermost disk without marked points, or the complementary disk when the intersection circle is the only one.

Iteration yields an innermost prime-factor ball disjoint from both systems. Its arc has no nontrivial further decomposition, so it represents one factor in each. The boundary can be included in both systems using the same ball exchange; replace its arc by a straight boundary arc and remove this common factor. Induction on the number of factors matches the remaining factors. When the systems already have no intersections, start directly with an innermost ball and the same removal step. All replacements preserve the arc orientation, so the match is of oriented knots, not only unoriented types. Hence the prime decomposition of knots is unique up to reordering and oriented link isotopy.

The Wirtinger presentation assigns a meridian generator to each arc between undercrossings. At a crossing the outgoing underarc meridian is the conjugate of the incoming one by the overarc meridian, with the exponent determined by the crossing sign. One crossing relation is redundant for a connected knot diagram. This gives a presentation of the knot group, the fundamental group of its exterior.

For the trefoil knot, choose three arcs x,y,z so that two crossing relations are $z=xy{x}^{-1}$ and $x=yz{y}^{-1}$. The third follows from these. Substituting for z gives $xyx=yxy$, henceWe use the relator $r=xyx{y}^{-1}{x}^{-1}{y}^{-1}$.

Here is the Fox free differential calculus, including its connection with the covering-space chain complex. Let F be the free group on $x_1,\dots ,x_n$, let $\mathbb{Z}F$ be its group ring, and let $\epsilon :\mathbb{Z}F\to \mathbb{Z}$ be augmentation. Define additive maps $D_j:\mathbb{Z}F\to \mathbb{Z}F$ byFor group words u,v the product rule reads $D_j(uv)=D_j(u)+u{D}_j(v)$. Differentiating $x_i{x}_i^{-1}=1$ forces $D_j(x_i^{-1})=-{\delta }_{ij}{x}_i^{-1}$. Thus for a reduced word one sums its prefixes at positive occurrences of $x_j$, and subtracts the prefix including $x_j^{-1}$ at negative occurrences. Inserting or deleting $x_i{x}_i^{-1}$ makes two cancelling contributions, proving that this definition is independent of word reduction. Linear extension proves the group-ring product rule and uniqueness.

The fundamental identity isIt holds on generators and inverses. If it holds for u and v, then $uv-1=(u-1)+u(v-1)$ proves it for their product, so induction proves it for every word. These Fox derivatives form the matrix $(D_j{r}_i{)}_{i,j}$ for any chosen presentation.

Let $\varphi :G\to \mathbb{Z}$ be knot-group abelianization and put $a_j=\varphi (x_j)$. Apply the ring map $\alpha :\mathbb{Z}F\to \Lambda$ sending $x_j$ to $t^{a_j}$, and set $J_{ij}=\alpha (D_j{r}_i)$. Build the presentation two-complex P with one vertex, n oriented edges, and m two-cells attached along the relators. Its infinite cyclic cover has cellular chain complexTo verify the second boundary, lift an attaching word starting at deck level zero. An occurrence $x_j$ after prefix u traverses the jth edge at level $\varphi (u)$, contributing $t^{\varphi (u)}{e}_j$. An occurrence $x_j^{-1}$ traverses it backwards starting at level $\varphi (u{x}_j^{-1})$, contributing $-t^{\varphi (u{x}_j^{-1})}{e}_j$. Their sum is exactly the evaluated Fox derivative. The fundamental identity, with $\alpha (r_i)=1$, gives $d_1{J}^T=0$.

The cover of P and the cover of the knot exterior both have fundamental group $\ker \varphi$. Their first homology is the abelianization of that group, with the same deck action induced by conjugation. Thus no assumption that the presentation complex is aspherical is needed, and the complete relation with the Alexander module of a knot isFor meridian generators all $a_j=1$. Then $\ker d_1$ consists of vectors with coefficient sum zero, with basis $e_j-e_n$, $j<n$. Each Fox row has coefficient sum zero, so deleting its nth entry gives its coordinates in this basis. Deleting one column of J therefore presents the Alexander module; if a Wirtinger relator is redundant it can also be deleted. This proves the matrix procedure used for the displayed knot above. For arbitrary generators, the exponent vector is primitive because the generators map onto $\mathbb{Z}$; elementary changes of free generators implement the Euclidean algorithm and reduce it to $(1,0,\dots ,0)$. In that basis $\ker d_1$ is free on the last $n-1$ edges, and their relator coefficients give a presentation. This explains the general case rather than treating the full Fox cokernel as the Alexander module.

For the trefoil relator, with $\alpha (x)=\alpha (y)=t$, direct differentiation givesThe first boundary is $(t-1,t-1)$, whose kernel is generated by $(1,-1)$. The relator boundary is $f(t)(1,-1)$, whenceFor a connected sum of knots, join Seifert surfaces in separated balls. Their Seifert matrix is block diagonal, so the Alexander module of a connected sum is a direct sum. Thus ${\mathcal{A}}_{T\#T}\cong (\Lambda /(f){)}^2$.

This module is not cyclic. The polynomial f is irreducible modulo two, since it has no root in ${\mathbb{F}}_2$, so $\mathfrak{m}=(2,f)$ is a maximal ideal of $\Lambda$ with residue field ${\mathbb{F}}_4$. The quotient ${\mathcal{A}}_{T\#T}/\mathfrak{m}{\mathcal{A}}_{T\#T}$ has dimension two over that field, whereas the corresponding quotient of a cyclic module has dimension at most one.

Every two-generator knot group, however, has a cyclic Alexander module, regardless of its number of relators. Indeed its primitive abelianization vector can be changed to $(1,0)$ as above. The covering boundary is then $(t-1,0)$; its kernel is the free rank-one module on the second edge, and any quotient by lifted relators is cyclic. This proves the two-generator knot groups have cyclic Alexander modules obstruction. Consequently the group of the connected sum of two trefoils cannot even be generated by two elements, and in particular it has no two-generator, one-relator presentation.

Put $\delta =-A^2-A^{-2}$. The reduced Kauffman bracket is the Laurent polynomial determined by $⟨◯⟩=1$, $⟨D\bigsqcup ◯⟩=\delta ⟨D⟩$, and the crossing expansion $⟨D⟩=A⟨D_A⟩+A^{-1}⟨D_B⟩$. Fix the A smoothing so that a positive curl has multiplier $-A^3$; rotating the local crossing interchanges the smoothing descriptions. Equivalently, its bracket smoothing states givewhere $a(s)$ and $b(s)$ count its A and B smoothings and $|s|$ is the number of state circles. Resolving all crossings proves that the recursive rules define the same polynomial independently of the order of expansion.

Under a positive Reidemeister move of type I, the two resolutions give $A\delta +A^{-1}=-A^3$ times the straight strand; the negative curl gives $A^{-1}\delta +A=-A^{-3}$. Thus the bracket itself is not an unframed link invariant. For type II, use the adjacent cap-cup generator $e$ of the Temperley-Lieb algebra, with $e^2=\delta e$. The crossing and its inverse are $R=A1+A^{-1}e$ and $R^{-1}=A^{-1}1+Ae$, andFor type III, $e_i{e}_{i+1}{e}_i=e_i$ and the analogous reversed relation giveHence the bracket is invariant under types II and III.

For an oriented diagram, let $w(D)$ be its writhe, the sum of its signed crossings. Types II and III preserve writhe, while a positive or negative curl changes it by one or minus one. The Jones polynomial is thereforeThe normalization cancels type I, so all Reidemeister moves preserve it. It is a Laurent polynomial in $t^{1/2}$; its breadth means the largest occurring t exponent minus the smallest, including half-integral exponents for links.

Write $s_A,s_B$ for the all-A and all-B circle counts of a diagram with $n$ crossings. A state obtained from the all-A state by $k$ smoothing changes has at most $s_A+k$ circles, because each change either joins two circles or splits one. Its largest A exponent is consequently at most $n-2k+2(s_A+k-1)=n+2s_A-2$. The symmetric argument from the all-B state bounds every exponent below by $-n-2s_B+2$. Thus the Kauffman bracket breadth bound isFor a connected diagram, construct the Turaev surface by placing A-state circles above the projection sphere, B-state circles below it, inserting one saddle at each crossing, and capping the state circles. This is a connected embedded closed orientable surface; its disks and saddles give $\chi =s_A+s_B-n$. Since $\chi =2-2g_T\le 2$, $s_A+s_B\le n+2$. Writhe normalization changes only a monomial, and $t=A^{-4}$ divides breadth by four. Therefore

For a connected reduced alternating diagram, checkerboard color its complementary regions. Alternation makes all-A circles the boundaries of one color and all-B circles the boundaries of the other. Euler's formula for the connected four-valent projection graph gives $s_A+s_B=n+2$. Its Tait graph and planar dual have no loops: a loop in either, equivalently a loop or bridge in one, gives a nugatory crossing cut off by a simple closed curve. Reducedness excludes precisely such crossings. Changing one smoothing in the all-A or all-B state therefore joins distinct circles, so the diagram is an adequate link diagram.

This also proves that the extreme coefficients cannot cancel. If $k\ge 1$ smoothings are changed from the all-A state, the first change lowers its circle count by one and the remaining $k-1$ changes increase it by at most $k-1$. The largest exponent of that state is at most $n+2s_A-6$, four below the all-A extreme $n+2s_A-2$, whose coefficient is $(-1{)}^{s_A-1}$. The all-B extreme is uniquely attained for the same reason. Consequently

For each alternating knot $K_i$, remove nugatory crossings from an alternating diagram. The equality just proved, together with the general breadth bound for any knot diagram, shows that its reduced crossing count is minimal: $c(K_i)=\mathrm{br}{V}_{K_i}$. Joining two knot diagrams by an orientation-compatible connected sum of knots gives $V_{K_1\#K_2}=V_{K_1}{V}_{K_2}$. Indeed the state circles joined along the sum arc become one, so the bracket state sums multiply, and writhe adds. Nonzero Laurent polynomials have additive breadth, because their extreme coefficients multiply. Hence every diagram of the sum has at least $c(K_1)+c(K_2)$ crossings, while joining the two minimal alternating diagrams achieves that count. Thus

Finally suppose that the two-component link is split. Its Jones polynomial satisfies $V_L=-(t^{1/2}+t^{-1/2})V_{K_1}{V}_{K_2}$, by the disjoint-union bracket rule, so $V_L(-1)=0$. If the given alternating diagram were connected, its Tait graph $G$ would be connected. Evaluate the bracket at $A=e^{\pi i/4}$, where $\delta =0$ and $t=-1$. Only one-circle states survive. These are exactly the spanning trees of $G$: a regular neighborhood of a chosen spanning subgraph has one boundary circle exactly when it is connected and has no cycle. All spanning trees use the same number of black-joining smoothings, $|V(G)|-1$. Since the crossing-to-checkerboard smoothing choice is uniform in an alternating diagram, all surviving state weights are the same nonzero power of $A$. Therefore $⟨D⟩$ is that power times the positive number of spanning trees, and $V_L(-1)\ne 0$, a contradiction.

The diagram is thus disconnected. Each of the two link components projects to a connected subset, so the two projection components can be separated by a boundary curve of a small regular neighborhood in the projection sphere. Hence a split two-component link represented by a reduced alternating diagram has a split diagram.

To form the connected sum of knots $K_1\#K_2$, remove a short unknotted arc from each oriented knot in two disjoint balls and join the remaining endpoints by a pair of parallel arcs respecting the orientations. Equivalently, a sphere meeting a knot in two points cuts it into two one-string tangles; close each by an arc in the sphere to recover its summands. Sliding the small joining balls along the knots shows that the isotopy type does not depend on these choices. The unknot is the identity for this operation. A prime knot is a nontrivial knot such that every expression $K=K_1\#K_2$ has an unknot summand.

We first prove additivity of Seifert genus, which also supplies a terminating measure for decomposition. Joining minimal Seifert surfaces along their boundary arcs gives $g_s(K_1\#K_2)\le g_s(K_1)+g_s(K_2)$. For the reverse inequality, let $F$ be a minimal-genus Seifert surface for the sum and $S$ a splitting sphere of a knot. Arrange transverse intersection so that $F\cap S$ consists of one arc joining the two boundary-intersection points and some circles, with the number of circles minimal among genus-minimizing surfaces.

Each circle separates the sphere into two disks; since it is disjoint from the intersection arc, one disk contains neither marked endpoint. Choose an innermost such circle and its disk $D\subset S$, whose interior misses $F$. If its boundary were essential in $F$, compressing $F$ along $D$ would lower the genus of its component with boundary K: for a nonseparating curve genus drops by one, and for a separating essential curve the removed boundaryless side has positive genus. This contradicts minimal genus. Its boundary therefore bounds a disk in $F$. Replace that disk by a small push-off of $D$, removing the intersection circle without changing genus or boundary, again contradicting minimal intersection. Thus no circles remain.

Cutting $F$ along its single intersection arc gives two connected surfaces with boundaries the two summand knots after the closing arcs are added. Euler characteristic shows that their genera add to $g(F)$. Each genus is at least the minimum genus of its summand, soGenus zero means that the knot bounds a disk and is the unknot. Every nontrivial knot therefore has positive genus. Induct on this nonnegative integer: a nontrivial nonprime knot splits into two nontrivial summands, each with strictly smaller genus by the equality above, and induction decomposes both into primes. This proves every knot is a finite connected sum of prime knots, with the unknot the empty sum. Uniqueness is not needed here.

For coprime integers p,q, define the torus knot as the oriented parametrized curveCoprimality makes it an embedded single circle: two parameters with both coordinate phases equal differ by a multiple of $2\pi$. It lies on the standard unknotted torus separating the two solid tori. Negative exponents change the slope/orientation convention; they are allowed. If an exponent is zero, coprimality forces the other to be plus or minus one, giving an unknot.

Assume now $|p|,|q|\ge 2$. We give a group-theoretic proof that torus knots are prime, making the peripheral ingredient explicit. The Seifert-van Kampen theorem applied to the two solid-torus sides of the exterior, joined along the annulus parallel to the knot, givesHere a and b are the two core loops. The element $z=a^p=b^q$ is central. Under the abelianization $G\to \mathbb{Z}$, choose $a\mapsto q$, $b\mapsto p$; these generate the target because p,q are coprime. Thus $z\mapsto pq\ne 0$, so z is nontrivial. A meridian has, up to conjugacy, the form $m=a^u{b}^v$ with $qu+pv=1$. This follows by tracing the meridional disk across the two torus sides, using a dual primitive slope intersecting the knot slope once. Different Bezout solutions change u by a multiple of p and v by the opposite multiple of q, leaving the same word because z is central.

Quotienting by z gives $G/⟨z⟩=C_{|p|}\ast C_{|q|}$. Neither u nor v is zero modulo the corresponding cyclic order, by $qu+pv=1$. Hence the image of m is a cyclically reduced word of two syllables. All its nonzero powers remain reduced, so it has infinite order. In particular G is nonabelian and the knot is not an unknot.

We use the Loop theorem in its usual form: a noninjective boundary fundamental-group map of a three-manifold supplies an embedded compression disk. For a nontrivial knot, its boundary torus is incompressible. To see why, every sphere in its exterior bounds a ball on the side not containing the knot, by the Schoenflies theorem. A compression of the boundary torus would produce a sphere and make the exterior a solid torus. The compression disk has zero homology class in the exterior, so its boundary is the preferred longitude; attaching the annulus from that longitude to the knot gives a spanning disk and an unknot. This proves that nontrivial knot exteriors have incompressible boundary. Their peripheral groups inject as ${\mathbb{Z}}^2$, so their groups strictly contain the cyclic meridian subgroup.

If the torus knot were a connected sum of two nontrivial knots, van Kampen on the decomposing annulus would give $G=G_1{\ast }_{⟨m⟩}{G}_2$, with the meridian subgroup proper in each factor. The center of a proper amalgam lies in the amalgamated subgroup. One proof uses its Bass-Serre tree: a central elliptic element fixes a vertex orbit and its convex hull, which is the whole tree; a central translation would force the minimal tree to be its invariant axis, but a nontrivial vertex reflection reverses that translation. Thus a central element fixes every edge and lies in the edge subgroup.

The central element z would therefore equal $m^k$. Its image in $G/⟨z⟩$ would give ${\overline{m}}^k=1$, forcing $k=0$ because that image has infinite order. This contradicts $z\ne 1$. Consequently

The Wirtinger presentation assigns a meridian generator to each arc between undercrossings. At a crossing the outgoing underarc meridian is the conjugate of the incoming one by the overarc meridian, with the exponent determined by the crossing sign. One crossing relation is redundant for a connected knot diagram. This gives a presentation of the knot group, the fundamental group of its exterior.

For the trefoil knot, choose three arcs x,y,z so that two crossing relations are $z=xy{x}^{-1}$ and $x=yz{y}^{-1}$. The third follows from these. Substituting for z gives $xyx=yxy$, henceWe use the relator $r=xyx{y}^{-1}{x}^{-1}{y}^{-1}$.

Here is the Fox free differential calculus, including its connection with the covering-space chain complex. Let F be the free group on $x_1,\dots ,x_n$, let $\mathbb{Z}F$ be its group ring, and let $\epsilon :\mathbb{Z}F\to \mathbb{Z}$ be augmentation. Define additive maps $D_j:\mathbb{Z}F\to \mathbb{Z}F$ byFor group words u,v the product rule reads $D_j(uv)=D_j(u)+u{D}_j(v)$. Differentiating $x_i{x}_i^{-1}=1$ forces $D_j(x_i^{-1})=-{\delta }_{ij}{x}_i^{-1}$. Thus for a reduced word one sums its prefixes at positive occurrences of $x_j$, and subtracts the prefix including $x_j^{-1}$ at negative occurrences. Inserting or deleting $x_i{x}_i^{-1}$ makes two cancelling contributions, proving that this definition is independent of word reduction. Linear extension proves the group-ring product rule and uniqueness.

The fundamental identity isIt holds on generators and inverses. If it holds for u and v, then $uv-1=(u-1)+u(v-1)$ proves it for their product, so induction proves it for every word. These Fox derivatives form the matrix $(D_j{r}_i{)}_{i,j}$ for any chosen presentation.

Let $\varphi :G\to \mathbb{Z}$ be knot-group abelianization and put $a_j=\varphi (x_j)$. Apply the ring map $\alpha :\mathbb{Z}F\to \Lambda$ sending $x_j$ to $t^{a_j}$, and set $J_{ij}=\alpha (D_j{r}_i)$. Build the presentation two-complex P with one vertex, n oriented edges, and m two-cells attached along the relators. Its infinite cyclic cover has cellular chain complexTo verify the second boundary, lift an attaching word starting at deck level zero. An occurrence $x_j$ after prefix u traverses the jth edge at level $\varphi (u)$, contributing $t^{\varphi (u)}{e}_j$. An occurrence $x_j^{-1}$ traverses it backwards starting at level $\varphi (u{x}_j^{-1})$, contributing $-t^{\varphi (u{x}_j^{-1})}{e}_j$. Their sum is exactly the evaluated Fox derivative. The fundamental identity, with $\alpha (r_i)=1$, gives $d_1{J}^T=0$.

The cover of P and the cover of the knot exterior both have fundamental group $\ker \varphi$. Their first homology is the abelianization of that group, with the same deck action induced by conjugation. Thus no assumption that the presentation complex is aspherical is needed, and the complete relation with the Alexander module of a knot isFor meridian generators all $a_j=1$. Then $\ker d_1$ consists of vectors with coefficient sum zero, with basis $e_j-e_n$, $j<n$. Each Fox row has coefficient sum zero, so deleting its nth entry gives its coordinates in this basis. Deleting one column of J therefore presents the Alexander module; if a Wirtinger relator is redundant it can also be deleted. This proves the matrix procedure used for the displayed knot above. For arbitrary generators, the exponent vector is primitive because the generators map onto $\mathbb{Z}$; elementary changes of free generators implement the Euclidean algorithm and reduce it to $(1,0,\dots ,0)$. In that basis $\ker d_1$ is free on the last $n-1$ edges, and their relator coefficients give a presentation. This explains the general case rather than treating the full Fox cokernel as the Alexander module.

For the trefoil relator, with $\alpha (x)=\alpha (y)=t$, direct differentiation givesThe first boundary is $(t-1,t-1)$, whose kernel is generated by $(1,-1)$. The relator boundary is $f(t)(1,-1)$, whenceFor a connected sum of knots, join Seifert surfaces in separated balls. Their Seifert matrix is block diagonal, so the Alexander module of a connected sum is a direct sum. Thus ${\mathcal{A}}_{T\#T}\cong (\Lambda /(f){)}^2$.

This module is not cyclic. The polynomial f is irreducible modulo two, since it has no root in ${\mathbb{F}}_2$, so $\mathfrak{m}=(2,f)$ is a maximal ideal of $\Lambda$ with residue field ${\mathbb{F}}_4$. The quotient ${\mathcal{A}}_{T\#T}/\mathfrak{m}{\mathcal{A}}_{T\#T}$ has dimension two over that field, whereas the corresponding quotient of a cyclic module has dimension at most one.

Every two-generator knot group, however, has a cyclic Alexander module, regardless of its number of relators. Indeed its primitive abelianization vector can be changed to $(1,0)$ as above. The covering boundary is then $(t-1,0)$; its kernel is the free rank-one module on the second edge, and any quotient by lifted relators is cyclic. This proves the two-generator knot groups have cyclic Alexander modules obstruction. Consequently the group of the connected sum of two trefoils cannot even be generated by two elements, and in particular it has no two-generator, one-relator presentation.

Orient $S^3$ as the boundary of $B^4$. Push the interior of an oriented Seifert surface $F$ slightly into $B^4$, and let $X_F$ be the double branched covering of $B^4$ over this pushed-in surface. Its boundary is the two-fold branched cover of a knot. Define the knot signature byThe signature of a possibly degenerate intersection form means the number of positive eigenvalues minus the number of negative eigenvalues; its radical contributes zero.

Here is why the definition is independent of $F$. Given two choices $F_0,F_1$, glue their branched covers along the common boundary to obtainThis is the double branched covering of $S^4$ over the closed oriented surface obtained by gluing the pushed-in $F_0$ to $-F_1$. Every closed oriented surface in $S^4$ admits a Seifert hypersurface: its complement has an integral meridional class, represent it by a map to the circle, and take a regular value. Near the surface choose the angular map in its trivial normal disk bundle. The closure of a suitable regular fiber is a compact oriented three-manifold bounding the surface. Its trivial normal framing can be chosen to match this construction.

Push the interior of this Seifert hypersurface into $B^5$. The double branched covering of $B^5$ over the resulting properly embedded three-manifold has boundary $X$. The existence of the cover follows from the meridian homomorphism to $\mathbb{Z}/2$; smoothness near the branch set is the local map $(z,u)\mapsto (z^2,u)$. By the hypothesis about boundaries of five-manifolds, $\mathrm{sign}X=0$. Novikov additivity for gluing along an entire closed three-dimensional boundary givesThus the knot signature is independent of the Seifert surface. An isotopy of the knot carries the construction to an equivalent one, so it is also a knot invariant.

To calculate its intersection form, express $F$ as a disk with $2g$ bands. The double branched covering of $B^4$ over the pushed-in disk is again $B^4$. Each band lifts to a two-handle. The capped lifted cores give a basis of $H_2(X_F;\mathbb{Z})$ corresponding to the band-core basis of $H_1(F;\mathbb{Z})$. The framing of the $i$th lifted attaching circle is $2\mathrm{lk}(a_i^{+},a_i)=2V_{ii}$. For distinct bands, the two sheets contribute the two push-off linkings $V_{ij}$ and $V_{ji}$, so the mutual linking number is $V_{ij}+V_{ji}$. HenceA different integral basis changes this matrix by matrix congruence and leaves its signature unchanged.

In Figure 7 the upper knot is a connected sum of knots $T\#T$, while the lower one is $T\#\overline{T}$, where $T$ is the positive trefoil knot. Both knot groups have the same presentationTo see this, the Seifert-van Kampen theorem expresses the knot group of a connected sum of knots as the amalgamated free product of the two summand knot groups, amalgamating their meridians of a knot. A trefoil knot has presentation $⟨a,b\mid aba=bab⟩$ with $a$ a meridian. Reflection gives the same abstract group for the mirror. If it reverses the chosen meridian, send both generators to their inverses; the inverse braid relation is again the same relation. Thus the meridian amalgamation yields the displayed group presentation in both cases.

A band basis for the positive trefoil knot giveswhose symmetrization is negative definite. Therefore $\sigma (T)=-2$ and $\sigma (\overline{T})=2$. Boundary-connected-summing Seifert surfaces makes the Seifert matrix block diagonal, so the knot signature is additive under connected sum of knots. ConsequentlyThe upper knot and lower knot are therefore not isotopic, even though their knot groups are isomorphic. With the opposite global knot signature convention the first value is $+4$, and the distinction is unchanged.

Choose Seifert longitudes ${\lambda }_i$ disjoint from the small arcs removed in forming the connected sum of knots. Join the two resulting longitude arcs through the same connecting tube used for the knots. Their oriented band sum is a zero-linking parallel of $K_1\#K_2$, and therefore

Let $K_1$ be the connected sum of $2022$ trefoils. The trefoil has Seifert genus one, and additivity of Seifert genus gives

Boundary-connected-summing minimal Seifert surfaces for $K$ and $K^{\prime }$ givesFor the reverse inequality, let $F$ be a minimal-genus Seifert surface for the connected sum of knots and let $S$ be its standard splitting sphere. A minimal-genus Seifert surface is incompressible in the knot exterior: a compression either lowers its genus or separates off a closed component that can be discarded. Put $F$ and $S$ in transverse position and minimize the number of intersection circles. An innermost circle on $S$ either gives a compression of $F$ or bounds a disk on $F$ across which it can be removed. Both alternatives contradict minimality, so $F\cap S$ consists only of the single arc joining the two points of $S\cap \partial F$.

Cutting $F$ along this arc gives Seifert surfaces $F_1,F_2$ for $K,K^{\prime }$. Their Euler characteristics satisfywhich, since all three surfaces have one boundary component, is equivalent toThis proves additivity.

The torus knot $T_{2,3}$ bounds a once-punctured torus, and its degree-two Alexander polynomial of a knot forces every Seifert surface to have genus at least one. Thus $g_s(T_{2,3})=1$. If it were a composite knot, both nontrivial summands would have positive Seifert genus, and additivity would give genus at least two. Hence $T_{2,3}$ is a prime knot.

Induct on the Seifert genus $g_s(K)$. A genus-zero knot is the unknot. If $K$ is prime there is nothing to prove. Otherwise write $K=K_1\#K_2$ with both summands nontrivial. Part c givesso each summand has strictly smaller genus than $K$. Apply the induction hypothesis to both. Since the genus drops at every nontrivial split, the process terminates after finitely many steps and expresses $K$ as a finite connected sum of prime knots.

In a complete decomposing sphere system for a knot, a disk inside a prime-factor ball that meets the knotted arc once cuts its factor into a connected sum of knots. One side must be an unknot. Replacing the ball by the side carrying the prime factor therefore preserves the unordered factor list. A disk missing the arc cuts off an empty ball and gives the same conclusion. After a small transverse perturbation, such a replacement removes an innermost intersection circle with another sphere system. If a chosen innermost disk contains both marked points, another innermost disk, or its complementary disk when it is the only intersection, contains neither. Iterating produces a prime-factor ball disjoint from both systems. The replacement changes only the location of a joining arc in the intervening punctured ball; capping the other boundaries still recovers the same oriented factors.

Every nontrivial oriented knot is a finite connected sum of knots of prime knots, uniquely up to permutation and oriented link isotopy. Existence follows by induction from additivity of Seifert genus. For uniqueness, compare complete decomposing sphere systems for a knot and remove their intersection circles by the prime-ball exchange lemma. Once a prime ball is disjoint from both systems, its factor can be removed from both; induction then matches all factors.

The knot signature is the signature of the symmetrized Seifert matrix. Equivalently it is the signature of the double branched covering of $B^4$ over a pushed-in Seifert surface. At $\omega =-1$ it agrees with the Levine-Tristram signature. It is additive under connected sum of knots, changes sign under reflection, and obeys $|\sigma (K)|\le 2g_4(K)$. State the ambient orientation and push-off convention when assigning a sign.