## UNTYING KNOTS IN 4D AND WEDDERBURN'S THEOREM

IGOR V. NIKOLAEV 1

Abstract. It is proved that the Wedderburn Theorem on finite division rings implies that all knots and links in the smooth 4-dimensional manifolds are trivial.

## 1. Introduction

Our brief note contains an algebraic proof of the otherwise known topological fact, that all knots and links in the smooth 4-dimensional manifolds can be untied, i.e. are trivial. The novelty is a surprising rˆle of the Wedderburn Theorem o [Maclagan-Wedderburn 1905] [2] in the 4-dimensional topology [4].

Recall that arithmetic topology studies a functor, F , between the 3-dimensional manifolds and the fields of algebraic numbers [Morishita 2012] [3]. Such a functor maps 3-dimensional manifolds M 3 to the algebraic number fields K , so that the knots (links, resp.) in M 3 correspond to the prime ideals (ideals, resp.) in the ring of integers O K .

The map F extends to the smooth 4-dimensional manifolds M 4 and the fields of hyper-algebraic numbers K , i.e. fields with a non-commutative multiplication [4]. To formulate our result, denote by O K the ring of integers of the field K . A ring R is called a domain, if R has no zero divisors. The R is called simple, if it has only trivial two-sided ideals. Our main result is the following theorem.

Theorem 1.1. O K is a simple domain.

Remark 1.2 . Theorem 1.1 is false for the algebraic integers, since the domain O K is never simple.

Corollary 1.3. Any knot or link in M 4 is trivial.

Proof. If K ⊂ M 4 ( L ⊂ M 4 , resp.) is a non-trivial knot (link, resp.), then F ( K ) ( F ( L ), resp.) is a non-trivial two-sided prime ideal (two-sided ideal, resp.) in O K . The latter contradicts 1.1, since O K is a simple ring. /square

The paper is organized as follows. Section 2 contains a brief review of the preliminary results. Theorem 1.1 is proved in Section 3.

2010 Mathematics Subject Classification. Primary 16P10; Secondary 57Q45. Key words and phrases. 4-dimensional manifolds, Wedderburn Theorem.

## 2. Preliminaries

- 2.1. Arithmetic topology. The arithmetic topology studies an interplay between 3-dimensional manifolds and number fields [Morishita 2012] [3]. Let M 3 be a category of closed 3-dimensional manifolds, such that the arrows of M 3 are homeomorphisms between the manifolds. Likewise, let K be a category of the algebraic number fields, where the arrows of K are isomorphisms between such fields. Let M 3 ∈ M 3 be a 3-manifold, let S 3 ∈ M 3 be the 3-sphere and let O K be the ring of integers of K ∈ K . An exact relation between 3-manifolds and number fields can be described as follows.

Theorem 2.1. The exists a covariant functor F : M 3 → K , such that:

- (i) F S ( 3 ) = Z ;
- (ii) each ideal I ⊆ O K = F ( M 3 ) corresponds to a link L ⊂ M 3 ;
- (iii) each prime ideal I ⊆ O K = F ( M 3 ) corresponds to a knot K ⊂ M 3 .

Denote by M 4 a category of all smooth 4-dimensional manifolds M 4 , such that the arrows of M 4 are homeomorphisms between the manifolds. Denote by K a category of the hyper-algebraic number fields K , such that the arrows of K are isomorphisms between the fields. Theorem 2.1 extends to 4-manifolds as follows.

Theorem 2.2. ( [4, Theorem 1.1] ) The exists a covariant functor F : M 4 → K , such that the 4-manifolds M M 4 1 , 4 2 ∈ M 4 are homeomorphic if and only if the hyper-algebraic number fields F ( M 4 1 ) , F ( M 4 2 ) ∈ K are isomorphic.

- 2.2. Wedderburn Theorem. Roughly speaking, Wedderburn's Theorem says that finite non-commutative fields cannot exist [Maclagan-Wedderburn 1905] [2]. Namely, denote by D a division ring. Let F q be a finite field for some q = p r , where p is a prime and r ≥ 1 is an integer number.

Theorem 2.3. (Wedderburn Theorem) If | D | &lt; ∞ and D is finite dimensional over a division ring, then D ∼ = F q for some q = p r .

We shall use 2.3 along with a classification of simple rings due to Artin and Wedderburn. Recall that a ring R is called simple, if R has only trivial two-sided ideals. By M n ( D ) we understand the ring of n by n matrices over D .

Theorem 2.4. (Artin-Wedderburn) If R is a simple ring, then R ∼ = M n ( D ) for a division ring D and an integer n ≥ 1 .

Remark 2.5 . The ring M n ( D ) is a domain if and only if n = 1. For instance, if n = 2, then the matrices ( 1 0 0 0 ) and ( 0 0 0 1 ) are zero divisors in the ring M 2 ( D ).

## 3. Proof of theorem 1.1

Theorem 1.1 will be proved by contradiction. Namely, we show that existence of a non-trivial two-sided ideal in O K contradicts 2.3. To begin, let us prove the following lemma.

Lemma 3.1. O K is a non-commutative Noetherian domain.

Proof. Recall that O K is generated by the zeroes of a non-commutative polynomial P ( x ) := ∑ i a xb xc x . . . e xl i i i i i , where a , b , c i i i . . . , e i , l i ∈ O L and K is a finite dimensional extension of L . By the Hilbert Basis Theorem for non-commutative rings [Amitsur 1970] [1], if O L is Noetherian, i.e. any ascending chain of the twosided ideals of O L stabilizes, then the ring O K is also Noetherian. Repeating the construction, one arrives at a finite dimensional extension H ⊂ K , where H is the field of quaternions. The ring of the Hurwitz quaternions O H is known to be Noetherian. Thus O K is a Noetherian ring. Lemma 3.1 is proved. /square

Returning to the proof of theorem 1.1, let us assume to the contrary, that I is a non-trivial two-sided ideal of O K . By lemma 3.1, there exists the maximal two-sided ideal I max , such that

$$\mathbf I \subseteq \mathbf I _ { \max } \subset O _ { \mathbb { K } }.$$

Lemma 3.2. The ring R := O / K I max is a simple domain.

Proof. The ring R is simple, since I max is the maximal two-sided ideal of O K . The ring R is a domain, since O K is a domain and the homomorphism

$$h \colon O _ { \mathbb { K } } & \to R & ( 3. 2 )$$

is surjective.

/square

Remark 3.3 . It follows from R ∼ = O / K I max , that | R &lt; | ∞ . Indeed, any non-trivial subgroup of the abelian group ( O , K +) has finite index by the Margulis normal subgroup theorem. In particular, the subgroup ( I max , +) has finite index in ( O , K +).

To finish the proof of theorem 1.1, we write

$$R & \cong M _ { n } ( \mathcal { D } ), & ( 3. 3 )$$

where D is a division ring, see Theorem 2.4. Since R is a domain, we conclude that n = 1 in formula (3.3), see remark 2.5. Thus

$$R & \cong \mathcal { D }.$$

But remark 3.3 says that | R &lt; | ∞ and by the Wedderburn Theorem one gets R ∼ = F q for some q = p r . In particular, the homomorphism (3.2) implies that the ring O K is commutative. Indeed, since R is a commutative ring, one gets h xy ( -yx ) = h x h y ( ) ( ) -h y h x ( ) ( ) = h x h y ( ) ( ) -h x h y ( ) ( ) = 0 , where 0 is the neutral element of R . In other words, the element xy -yx belongs to the kernel of h , which is a two-sided ideal I h ⊂ O K . If h is not injective, then I h is non-trivial and taking the multiplicative identity 1 ∈ I h we obtain a contradiction h (1) = 0. Thus h is injective and xy = yx for all x, y ∈ O K , i.e. O K is a commutative ring. On the other hand, the ring O K cannot be commutative by an assumption of theorem 1.1. The obtained contradiction completes the proof of theorem 1.1.

## NIKOLAEV

## References

- 1. S. A. Amitsur, A noncommutative Hilbert Basis Theorem and subrings of matrices , Trans. Amer. Math. Soc. 149 (1970), 133-142.
- 2. J. H. Maclagan-Wedderburn, A theorem on finite algebras , Trans. Amer. Math. Soc. 6 (1905), 349-352.
- 3. M. Morishita, Knots and Primes, An Introduction to Arithmetic Topology , Springer Universitext, London, Dordrecht, Heidelberg, New York, 2012.
- 4. I. Nikolaev, Arithmetic topology of 4-manifolds , arXiv:1907.03901
- 1 Department of Mathematics and Computer Science, St. John's University, 8000 Utopia Parkway, New York, NY 11439, United States.

Email address : igor.v.nikolaev@gmail.com
Igor Nikolaev
Untying knots in 4D and Wedderburn's Theorem
It is proved that the Wedderburn Theorem on finite division rings implies
that all knots and links in the smooth 4-dimensional manifolds are trivial.