On Some Special Cases of K ¨othe’s Conjecture

Preprint

Article

On Some Special Cases of K ¨othe’s Conjecture

Altmetrics

Downloads

Views

Comments

Subham De^*

This version is not peer-reviewed

Submitted:

29 August 2024

Posted:

02 September 2024

You are already at the latest version

Alerts

Abstract

The primary purpose of this research article is to study the famous K$\ddot{o}$the's Conjecture for the special cases - when a ring $\mathfrak{R}$ is commutative, and when $\mathfrak{R}$ is an Algebra over a field. Furthermore, some open problems involving tensor product of Algebras over a field has also been discussed extensively along with their proofs. Subsequently, an equivelent statement of K$\ddot{o}$the's problem in terms of algebra of matrices has been established.

Keywords:

Subject: Computer Science and Mathematics - Algebra and Number Theory

MSC: Primary 16N20; 16N40; 16P40; 13A15; Secondary 16R50; 13C99; 13F20

1. Introduction & Motivation

Still considered to be one of the most significant results in the field of Ring Theory, the very inception of the famous K

\ddot{o}

the’s Conjecture occured in the year 1930 to be exact, when mathematician Gottfried K

\ddot{o}

the [1] questioned about the existence of one-sided nilpotent ideals of any ring

R

having

{0}

as the only nil ideal. He came up with the following result, which unsurprisingly still remains open till this date for certain special classes of rings and algebras.

Theorem 1.

(K $\ddot{o}$ the Conjecture) If a ring

R

has no nil ideal other than

{0}

, then

R

does not contain any nil one-sided ideal other than

{0}

Important to mention that, the K

\ddot{o}

the’s claim is well-established for some specific examples of rings such as : Polynomial Rings [6] and Noetherian Rings [3]. Levitzki[3,7] did indeed provided a solution to K

\ddot{o}

the’s result for a larger class of right Noetherian Rings.

Herstein [8,9] on the other hand, commented on a certain generalization of Levitzki’s Theorem in the following manner.

Theorem 2.

(Herstein’s Conjecture [10]) Assuming

I

J

be arbitrary left ideals in a left Noetherian ring

R

satisfying

I \subseteq J

, and

J

being nil over

I

. Then,

J^{m} \subset I

for some integer

m \in N

, in other words,

J

is nilpotent over

I

Readers can refer to [8] for the proof of Theorem (2) in the cases when

R

is a polynomial identity ring and, otherwise, when there’s an uniform bound in terms of n (

\in N

) such that,

a^{n} \in I

\forall a \in J

Younghua [11] crucially came really close to proving the K

\ddot{o}

the’s Conjecture by introducing the concept of K

\ddot{o}

the Subsets. A subset

M

of a ring

R

is defined to be a K $\ddot{o}$ the Subset, provided ∃ a maximal left nil ideal

L

satisfying,

\begin{matrix} M = (L + L R + N i l (R)) - N i l (R) . \end{matrix}

N i l (R)

denoting the Nil Radical of

R

. In fact, it’s proven in his paper that, the conjecture of K

\ddot{o}

the holds true for a ring

R

iff for every K

\ddot{o}

the Subset

M

R

and for each

a \in M

R

does indeed satisfy the Ascending Chain Condition (A.C.C.) for the left annihilators,

a n n (a) : = {x \in R | x . a = 0}

In this paper, we shall be studying the K

\ddot{o}

the’s Conjecture specifically for two special cases, first when the ring is Commutative, and secondly for Algebras over a field. Furthermore, it is extremely important to mention that, throughout the article, we have worked with only associative rings.

2. Special Case : Commutative Rings

As the title of this section suggests, we shall try to study certain intricacy concerning Commutative Algebra in order to come up with a proof of the K

\ddot{o}

the Conjecture in case when the ring

R

is commutative. We rather opt for a different and more robust approach of studying polynomial rings of the form

R [x]

in one indeterminate x.

The concepts originates from a significant derivation by Amitsur [12] stating that, for any ring

R

, the Jacobson radical,

J (R [x])

of the corresponding polynomial ring

R [x]

is apparently equal to

N [x]

, where,

N = J (R [x]) \cap R

is a Nil Ideal of

R

Later on, Krempa [4] did provide an equivalent formulation in order to explore K

\ddot{o}

the’s Conjecture in terms of polynomial rings.

Lemma 1.

The following statements are equivalent:

1.: K $\ddot{o}$ the Conjecture holds true.
2.: For every nil ring $R$ , the corresponding polynomial ring $R [x]$ is a Jacobson Radical ring.

We recall that, a ring

R

is defined to be Jacobson Radical (or, Quasi-Regular) if for every

r \in R

, ∃

r_{1} \in R

satisfying,

r + r_{1} - r r_{1} = 0

For our purpose, we shall be proving statement

(2)

in Lemma (1) independently for commutative rings, which will be applied in order to establish the K

\ddot{o}

the Conjecture (cf. Theorem (3)).

Proposition 1.

Let

R

be a commutative nil ring. Then the polynomial ring

R [x]

in one indeterminate x is a Jacobson radical ring.

Proof.

We aim to demonstrate that for every polynomial

f (x) \in R [x]

, there exists a polynomial

g (x) \in R [x]

such that,

\begin{matrix} f (x) + g (x) - f (x) g (x) = 0 . \end{matrix}

(1)

This condition characterizes the Jacobson radical of a ring, ensuring that

R [x]

is a Jacobson radical ring.

Suppose that, any arbitrary polynomial

f (x) \in R [x]

is of the form,

\begin{matrix} f (x) : = a_{0} + a_{1} x + a_{2} x^{2} + \dots + a_{n} x^{n}, \end{matrix}

(2)

where, the co-efficients

a_{0}, a_{1}, \dots, a_{n}

are elements of the nil ring

R

. We seek a polynomial

g (x)

of the form,

\begin{matrix} g (x) : = b_{0} + b_{1} x + b_{2} x^{2} + \dots, \end{matrix}

(3)

where, we intend on determining the co-efficients,

b_{0}, b_{1}, b_{2}, \dots \in R

Substituting

f (x)

and

g (x)

into the quasi-regularity condition (1), we expand and collect terms based on powers of x, thus ending up constructing a sequence of equations corresponding to the coefficients of

x^{n}

for

n = 0, 1, 2, \dots

We begin with assesing the co-efficient of the constant term,

\begin{matrix} a_{0} + b_{0} - a_{0} b_{0} = 0 \Leftrightarrow b_{0} (1 - a_{0}) = - a_{0} . \end{matrix}

A priori from our assumption that

R

is a nil ring, it follows that,

1 - a_{0}

is invertible in

R

. Therefore,

\begin{matrix} b_{0} = - a_{0} {(1 - a_{0})}^{- 1} . \end{matrix}

(4)

Similarly, we compute

b_{1}

from the relation,

\begin{matrix} a_{1} + b_{1} - (a_{0} b_{1} + a_{1} b_{0}) = 0 \Leftrightarrow b_{1} (1 - a_{0}) = - a_{1} - a_{1} b_{0} . \end{matrix}

Substituting

b_{0}

as derived in (4) gives,

\begin{matrix} b_{1} = - a_{1} (1 - 2 a_{0}) {(1 - a_{0})}^{- 2} . \end{matrix}

(5)

In case when computing the coefficient of

x^{n}

, we study the following identity,

\begin{matrix} a_{n} + b_{n} - \sum_{k = 0}^{n} a_{k} b_{n - k} = 0 . \end{matrix}

Solving for

b_{n}

, we obtain,

\begin{matrix} b_{n} = - (a_{n} + \sum_{k = 0}^{n - 1} a_{k} b_{n - k}) {(1 - a_{0})}^{- 1} . \end{matrix}

(6)

Given that, the term

\sum_{k = 0}^{n - 1} a_{k} b_{n - k}

involves the coefficients

b_{0}, b_{1}, \dots, b_{n - 1}

which have already been determined recursively, we can thus evaluate an expression for

b_{n}

in terms of the co-efficients

a_{0}, a_{1}, . . ., a_{n}

Since each coefficient

a_{i}

f (x)

is nilpotent, it follows that for sufficiently large n, the coefficients

a_{n}

and their products with other coefficients become zero. Therefore, the series for

g (x)

converges in the ring

R [x]

, meaning that

g (x)

can be expressed as a finite polynomial.

More precisely,

R

being a nil ring, each element

a_{i}

is thus nilpotent, implying that, ∃ some integer

m_{i} \in N

such that

a_{i}^{m_{i}} = 0

for every

0 \leq i \leq n

. As a consequence, the higher powers of each

a_{i}

will eventually vanish, ensuring that the coefficients

b_{n}

are well-defined and that the corresponding polynomial

g (x)

is indeed a finite polynomial in

R [x]

To confirm that the constructed polynomial

g (x)

satisfies the quasi-regularity condition, as evident from (1). Given the recursive construction of the coefficients

b_{n}

, it is clear that the equation (1) is indeed satisfied for each power of x, and thus for the entire polynomial

f (x)

. This implies that every element

f (x)

R [x]

is quasi-regular, which by definition allows us to conclude that,

R [x]

is a Jacobson radical ring.

□

As discussed before, having obtained Proposition (1), we proceed towards our main result.

Theorem 3.

(K $\ddot{o}$ the Conjecture for Commutative Rings) Suppose

R

be a commutative ring. If

R

has no nil ideal other than

{0}

, then

R

has no nil one-sided ideal other than

{0}

Proof.

Instead of opting for a rather conventional way of proving the result directly, we shall try to establish the contrapositive statement.

If a ring contains a non-zero nil one-sided ideal, then the ring must have a non-zero nil ideal.

Suppose

S

be a ring that contains a non-zero nil one-sided ideal

I

. Without loss of generality, assume that

I

is a nil left ideal. By definition, thus every element

a \in I

is nilpotent, meaning that for each

a \in I

, there exists a positive integer

n_{a} \in N

such that

a^{n_{a}} = 0

. Since

I

is non-zero, there exists at least one non-zero element

a \in I

Consider the set,

\begin{matrix} N [x] : = \{f (x) \in S [x] : f (x) = \sum_{i = 0}^{n} a_{i} x^{i}, a_{i} \in I, \forall 0 \leq i \leq n, f (x) is nilpotent\} . \end{matrix}

It is evident from the very definition of the set

N [x]

that, it consists of all polynomials in the polynomial ring

S [x]

with coefficients in

I

that are nilpotent when considered as elements of

S [x]

Our first objective is to show that,

N [x]

is a left ideal of

S [x]

. Note that if

f (x), g (x) \in N [x]

, then both

f (x)

and

g (x)

are nilpotent. Suppose

f {(x)}^{m} = 0

and

g {(x)}^{n} = 0

for some positive integers

m, n \in N

. Then

{(f (x) + g (x))}^{N} = 0

for some

N \in N

satisfying,

N \geq m + n

. This is due to the fact that, in the polynomial ring

S [x]

, the sum of two nilpotent polynomials is again nilpotent. Therefore,

f (x) + g (x) \in N [x]

, showing that

N [x]

is closed under addition.

Next, consider a polynomial

f (x) : = \sum_{i = 0}^{n} a_{i} x^{i} \in N [x]

and any polynomial,

\begin{matrix} r (x) : = b_{0} + b_{1} x + \dots + b_{m} x^{m} \in S [x] . \end{matrix}

The product

r (x) f (x)

has coefficients that are finite sums of terms of the form

b_{i} a_{j}

, where

a_{j} \in I

for every

0 \leq j \leq n

I

being a left ideal of

S

implies

b_{i} a_{j} \in I

for each

i, j

, and thus each coefficient of

r (x) f (x)

is an element of

I

. Furthermore,

r (x) f (x)

being a polynomial of finite degree, we’ll always obtain an

k \in N

depending on the coefficients of both

r (x)

and

f (x)

such that,

{(r (x) f (x))}^{k} = 0

. Thus,

r (x) f (x) \in N [x]

, showing that

N [x]

is closed under left multiplication by elements of

S [x]

. Consequently,

N [x]

is a left ideal of

S [x]

A priori from our construction,

N [x]

is a nil ideal of

S [x]

. By proposition (1), we thus assert that the polynomial ring

N [x] [y] = N [x, y]

is a Jacobson radical ring. Recall that, a ring is defined to be a Jacobson Radical if every element in the ring is quasi-regular. In other words, for every

f (x, y) \in N [x, y]

, there exists

g (x, y) \in N [x, y]

such that

f (x, y) + g (x, y) - f (x, y) g (x, y) = 0

Now, consider the intersection,

J : = N [x] \cap S

, which consists of all constant polynomials in

N [x]

that belong to

S

. Since

N [x]

is an ideal in

S [x]

and every element of

N [x]

is nilpotent by our construction, every element of

J

is thus nilpotent. In particular, if

j \in J

, then

j^{n_{j}} = 0

for some

n_{j} \in N

. Therefore,

J

is a set of nilpotent elements.

Therefore, it only suffices to prove that,

J

is an ideal of

S

. To see this, observe that for any

j \in J

and

r \in S

, we have

r j \in S

and

r j \in N [x]

, the latter due to the fact that,

N [x]

is a left ideal of

S [x]

. Thus,

r j \in J

, which means

J

is closed under multiplication by elements of

S

. Similarly, for any

j_{1}, j_{2} \in J

, the sum

j_{1} + j_{2} \in J

because,

N [x]

is closed under addition.

Finally, since

I

is non-zero and there exists an embedding,

I ↪ N [x]

, it follows that

J

is also non-zero. Thus,

J

is a non-zero nil ideal of

S

, as desired.

Therefore, we have shown that, if a ring

S

contains a non-zero nil one-sided ideal, then

S

must have a non-zero nil ideal. Contrapositively, it can thus be concluded that, if a ring

S

does not contain any non-zero nil ideal, then

S

does not have any nil one-sided ideal except

{0}

This completes the proof for the K

\ddot{o}

the’s Conjecture for any ring in general.

□

An extensive study of Theorem (3) does indeeds provides a detailed conception about the structure of the Nil Radical

N i l (S)

for the ring

S

in a manner such that,

J a c (S [x]) = (N i l (S)) [x]

. In other words, we can assert the following.

Theorem 1.

[13, pp. 142, Cor. 2.2] K

\ddot{o}

the Conjecture holds true for a ring

R

iff we have,

\begin{matrix} J a c (R [x]) = (N i l (R)) [x] . \end{matrix}

(7)

3. Special Case : Algebras over Fields

When we try to study K

\ddot{o}

the’s problem for the case of Algebras over a field, it’s important to note that, the multiplication operation is different in the non-commutative case, which apparently prevents us to follow a similar direction as described for the commutative case.

In order to serve this purpose, we introduce the concept of Jacobson Radical of a ring. Recall that, the Jacobson Radical for any ring

R

has the following definition,

\begin{matrix} J a c (R) : = ⋂_{\begin{matrix} M maximal ideal \\ of R \end{matrix}} M \end{matrix}

(8)

Jacobson Radical has several significant properties, some of which we shall be using extensively throughout this section states the following.

Lemma 2.

Assume

B

to be an algebra over

F

. Also let,

K \supseteq F

be an algebraic field extension. Then, we shall have,

\begin{matrix} J a c (B) \otimes_{F} K \subseteq J a c (B \otimes_{F} K) . \end{matrix}

(9)

Furthermore, for every

n \in N

, the matrix ring

M_{n} (J a c (B))

is a Jacobson Radical.

Lemma 3.

A ring

R

is nil iff

R \subseteq J a c (R)

A priori we shall be using an assertion made by Krempa [4] for any algebra, say

A

over a field

F

, as can be observed in the paper by Chebotar, Ke, Lee and Puczyłowski [21, Theorem 2.5 , pp. 639].

Theorem 4.

The following statements are in fact equivalent:

1.: K $\ddot{o}$ the Conjecture holds true.
2.: Suppose $A$ be a nil algebra over a field $F$ . Then the algebra $M_{2} (A)$ is also nil.
3.: $M_{n} (A)$ is a nil algebra for every nil algebra $A$ .

where,

M_{n} (A)

denotes the ring of

n \times n

matrices with elements from the algebra

A

For the convenience of our readers, let us rewrite the statement

(1)

of Theorem (4), which is in fact the K

\ddot{o}

the Conjecture for an algebra

S

over a field.

Theorem 5.

(K $\ddot{o}$ the Conjecture for Algebra over a Field) Assume

S

to be any algebra over a field

F

having no nil ideal other than

{0}

, then

S

has no nil one-sided ideal other than

{0}

As we proceed towards the proof of Theorem (5), our primary objective is to utilize the fact from Theorem (4) that, Statement

(2)

indeed implies Statement

(1)

, which is the K

\ddot{o}

the Conjecture. Although for this purpose, we shall be needing an independent proof of statement

(2)

(cf. Th. (4)).

We start with a very important result involving the tensor product of algebras over a field. It was originally proposed by Puczyłowski [16, Question 9] himself, which states,

Proposition 2.

Given a nil algebra

A

over a field

F

, and,

F \subseteq K

being a finite field extension, the algebra

A \otimes_{F} K

is also nil.

Proof.

We’re given that,

A

is a nil algebra over a field

F

. This means for every element

a \in A

, there exists a positive integer

n_{a} \in N

such that,

a^{n_{a}} = 0

Consider the algebra

A \otimes_{F} K

, where

K

is a finite field extension of

F

. Our goal is to show that,

A \otimes_{F} K

is also a nil algebra, i.e., every element in

A \otimes_{F} K

is nilpotent.

Clearly, we can assert that,

A

and

K

being algebras over the field

F

, the ring

A \otimes_{F} K

is in fact also an Algebra. Thus, it only suffices to prove that, the algebra is indeed nil.

A priori from the properties of the Jacobson radical, it can be asserted that for an algebra

A

over

F

, the Jacobson radical

J a c (A)

consists of elements that annihilate all simple right

A

-modules. Furthermore, applying Lemma (2) for the algebra

A

over

F

and for the algebraic field extension

K \supseteq F

\begin{matrix} J a c (A) \otimes_{F} K \subseteq J a c (A \otimes_{F} K) . \end{matrix}

(10)

A

being a nil algebra, we have from Lemma (3),

A \subseteq J a c (A)

. Therefore, when we consider extending the field from

F

K

, it yields,

\begin{matrix} A \otimes_{F} K \subseteq J a c (A) \otimes_{F} K \subseteq J a c (A \otimes_{F} K) . \end{matrix}

(11)

Thus,

A \otimes_{F} K

is contained within its own Jacobson radical. Applying Lemma (3) again, we conclude that,

A \otimes_{F} K

is in fact nil, as desired. □

Now, assume

A

be any nil

F

-algebra. Observe that, the ring of

2 \times 2

matrices,

M_{2} (A)

is in fact an algebra over

F

with natural dimension

= 4 . {dim}_{F} (A)

, where,

{dim}_{F} (A)

denotes the dimension of

A

over

F

We here consider the following two cases separately.

Case I : $F$ is not Algebraically Closed

In this case, we must have,

[K : F] > 1

. Thus, in order to apply proposition (2), it only suffices to construct a field extension

K \supseteq F

such that,

[K : F] = 4

, and, we must have the following isomorphism of algebras,

\begin{matrix} M_{2} (A) ≃ A \otimes_{F} K \end{matrix}

(12)

For this purpose, consider the polynomial ring

F [x]

in one indeterminate, and

f (x) \in F [x]

be any irreducible polynomial such that,

deg (f) = 4

. Let

α

be one of the roots of f. Thus, by our construction,

α \notin F

, implying

F [α]

is a finite field extension over the field

F

. Therefore, we have our desired field,

K : = F [α]

such that, (12) is indeed satisfied.

A priori

A

being nil, we apply Proposition (2), we conclude that, the algebra,

A \otimes_{F} F [α]

is also a nil algebra. Hence, the algebra

M_{2} (A)

is also nil, as required to establish statement

(2)

of Theorem (4) independently.

Case II : $F$ is Algebraically Closed

Under this scenario, we eventually have,

K = F

. Therefore, we can consider the following isomorphism of algebras over

F

as,

\begin{matrix} M_{2} (A) ≃ A \otimes_{F} A \otimes_{F} A \otimes_{F} A \end{matrix}

(13)

which allows us to conclude that,

M_{2} (A)

is indeed a nil algebra over

F

, cause,

⨂_{i = 1}^{4} A

is nil, due to the fact that,

A

being nil.

It is absolutely necessary to emphasize upon the fact that, we’ve not used either statement

(1)

or statement

(3)

in order to justify this result in any of the two cases discussed above.

As a consequence, we conclude using Theorem (4) again that, the K

\ddot{o}

the Conjecture holds true for any Algebra over field. The proof of Theorem (5) is thus complete.

□

Important to observe that, there’s no doubt over the fact that, Proposition (2) indeed is an important tool which was utilized in order to support the argument in the previous section. Although the result crtainly raises a certain query, as posed by Smoktunowicz [14, pp. 163] in her text,

Is the statement of Köthe’s Conjecture equivalent to Proposition (2) ?

A priori fromt the work of Puczyłowski [21], and from our previous deductions, we can in fact summarize the following.

Theorem 6.

Proposition (2) is satisfied if and only if the K

\ddot{o}

the Conjecture holds true.

Proof.

The forward direction is quite obvious, and can be observed from our proof of the conjecture for the case of general rings.

As for the converse, assume that the K

\ddot{o}

the Conjecture is true. Recall from the statement of proposition (2) that,

K \supseteq F

is given to be a finite field extension. Then

K

can in fact be considered to be a finitely generated

F

-algebra, implying that, the ring

A \otimes_{F} K

is also an

F

-algebra.

As a consequence, there does exists an embedding,

A \otimes_{F} K ↪ M_{n} (A)

for some

n \in N

courtesy of the map,

α \mapsto L_{α}

, where,

\begin{matrix} L_{α} (β) : = α β \forall β \in A \otimes_{F} K \end{matrix}

is denoted as the usual linear transformation. Finite dimensionality of the algebra

A \otimes_{F} K

over

F

enables

L_{α}

to have a matrix representation for every

α \in A \otimes_{F} K

\ddot{o}

the’s Conjecture thus enables us to justify applying statement

(3)

of Theorem (4) that, the ring

M_{n} (A)

is nil, cause

A

is given to be a nil

F

-algebra. In conclusion, this proves that, the algebra,

A \otimes_{F} K

is nil as well, as desired.

□

4. Applications: Future Scope for Research

It can be observed that, in search for a possible solution to the conjecture proposed by K

\ddot{o}

the himself, mathematicians eventually ended up deriving numerous equivalent assertions which can in fact be derived from the statement of the conjecture and vice versa.

One such result claims the follwing.

Proposition 3.

( cf. [13, Lemma 1.1] ) The following are in fact equivalent for every ring

R

(i): K $\ddot{o}$ the Conjecture is true.
(ii): Given any right(resp. left) nil ideal $I$ of $R$ , ∃ a two-sided nil ideal $J$ satisfying, $I \subseteq J$ .
(iii): Assume $I, J$ to be any right (resp. left) nil ideals of $R$ . Then, $I + J$ will also be nil.
(iv): For every right (resp. left) nil ideal $I$ of $R$ , we have, $I \subseteq N i l (R)$ .

Another one of the assertions which can be found in [14, cf. Theorem 2] and has been established by Krempa (1972) [4] and Sands (1973) [5] independently explicates about approaching towards the proof of the conjecture (5) from a different perspective of Matrix Rings.

Theorem 7.

The following statements are equivalent:

1.: K $\ddot{o}$ the Conjecture holds true.
2.: Suppose $R$ be a nil ring. Then $M_{2} (R)$ is also nil.
3.: $M_{n} (R)$ is a nil ring for every nil ring $R$ .

M_{n} (R)

denoting the ring of

n \times n

matrices with elements from the ring

R

Importantly, it must be noted that, if we consider any commutative ring

R

, one may try to verify the K

\ddot{o}

the’s Conjecture for any Algebra

A

over

R

, a priori with the help of Theorem (7) and some other derivations. One significant difference in this case is that, we’ll have to consider

A

rather as a

R

-module.

Interested readers can surely refer to the research done by Fisher and Krempa [15] and in the paper by Ferrero [13, cf. Theorem 1.4] for other crucial examples of studying the K

\ddot{o}

the Conjecture using theories involving finite group automorphisms of a ring

R

and even studying the possiblity of expressing a nil ring

R

explicitly as a sum of two of its subrings, one being a nil ring and the other being nilpotent. One significant derivation serving this purpose was done by Krempa[4] himself, where, he justified the sufficiency of verifying K

\ddot{o}

the’s conjecture in the class of algebras over fields (cf. [13, Theorem 1.5]), which we’ve already discussed as a special case in the preceeding section.

Important to highlight that, Theorem (5) does indeed has a significant involvment in establishing the Structure Theorem courtesy of Amitsur [12]. It says the following.

Theorem 8.

[14, pp. 163] (Structure Theorem for Rings) For every ring

R

, we must have,

\begin{matrix} J a c (R [x]) = I [x] and, N i l (R [x]) = \bar{I} [x], \end{matrix}

(14)

for some nil ideals

I & \bar{I}

R

Also, there are other classes of rings and algebras for which K

\ddot{o}

the Conjecture is well-established, and has numerous applications, which encourages the prospect of current and future reseach to be pursued in this area. Readers are encouraged to browse [16,17,18,19,20] in this context.

Finally, it’ll be totally unfair not to acknowledge the significance of K

\ddot{o}

the’s famous problem on rings. An important example is the problem proposed by Kurosch [7].

Theorem 9.

Given a finitely generated associative algebra

A

over a field

F

, whose every element is algebraic. Then,

A

is in fact finite dimensional as a vector space over

F

Significantly, the problem is still very much open for Division Rings in general, except for each of the following cases separately when,

F

is uncountable, finite, and,

F

having only finite algebraic field extensions (in particular,

F

being algebraically closed), where a solution to the problem above does exist. Thee case when

F

is finite follows from a famous result by Jacobson [3].

Theorem 10.

Suppose

D

be an algebraic division algebra over a finite field

F

. Then,

D

is commutative and in fact also an algebraic field extension of

F

Whereas, the last one of the three special cases for which Kurosch’s problem is in fact solved follows courtesy of the famous Levitzki-Shirshov Theorem [25,26].

Theorem 11.

Any algebraic algebra of bounded degree is locally finite.

On the other hand, the other case of Kurosch’s Problem (cf. Th. (9)) when

R

is in fact a finitely generated nil algebra without the multiplicative identity, was solved by Golod (1964). The corresponding result iterates the following.

Theorem 12.

For every field

F

, there does exist an

F

-algebra

R

which is nil, but not locally nilpotent.

As for another significant application of Theorem (1) in a rather different direction came to light when mathematician Rowen [19] tried to explore the connection of K

\ddot{o}

the’s problem with the Upper Triangular Matrices satisfying certain additional conditions. He further claimed the following.

Proposition 4.

Suppose for a ring

R

, we have

N i l (R) = {0}

. Then,

\begin{matrix} ⋂_{i = 1}^{\infty} {(\bar{N i l} (R))}^{i} = {0} . \end{matrix}

(15)

where,

\bar{N i l} (R)

denotes the sum of all nil left ideals of

R

. Furthermore, (15) implies,

\bar{N i l} (R) = N i l (R)

In addition to above, Andrunakiewicz [27] also proposed some open questions in this context.

Proposition 5.

Given any ring

R

, the corresponding factor ring,

R \bar{N i l} (R)

have a non-zero left nil ideal.

Proposition 6.

Given a ring

R

not having any nil left ideal, there exists a prime ideal

p

R

such that, the quotient ring

R p

has no nil left ideal

Although all the above three problems are still open, a priori if we assume K

\ddot{o}

the’s Conjecture (cf. Th. (1)) to be true for every ring

R

, then, each of the results discussed in Propositions (4), (5) and (6) will surely be true.

Acknowledgments

I’ll also be forever grateful to Prof. Agata Smoktunowicz (Professor & Chair of Algebra, University of Edinburgh, UK) for her kind generosity in helping me understand certain aspects of this topic, which allowed me to complete my article to the best of my abilities. Her valuable research in the area of Ring Theory gave me more trhan enough motivation to pursue research in this interesting and incredibly special subject. I’ll also be grateful to Prof. W. F. Ke (Department of Mathematics, National Cheng Kung University and National Center for Theoretical Sciences, Tainan Office, Tainan 701, Taiwan) for sharing one of his co-authored publications with me, which proved to be incredibly beneficial for me in completing my article in time.

Conflicts of Interest

I as the author of this article declare no conflicts of interest.

Data Availability Statement

I as the sole author of this article confirm that the data supporting the findings of this study are available within the article [and/or] its supplementary materials.

1	Website: www.sites.google.com/view/subhamde

References

Köthe, G., Die Struktur der Ringe, deren Restklassenring nach dem Radikal vollstanding irreduzibel ist., Math. Z. 32 (1930), 161–186. [CrossRef]
Amitsur, S. A., Nil radicals; Historical notes and some new results, Colloq. Math. Soc. Janos Bolyai 6: Rings, Modules and Radicals, Keszthely (Hungary) 1971, 47–65.
Lam, T. Y., A First Course in Noncommutative Rings, Graduate Texts in Mathematics, 131. Springer-Verlag, New York, 1999.
Krempa, J., Logical connections among some open problems concerning nil rings, Fund. Math. 76 (1972), 121–130.
Sands, A. D., Radicals and Morita contexts, J. Algebra 24 (1973), 335–345. [CrossRef]
McConnell, John C., Robson, James Christopher, Small, Lance W., Noncommutative Noetherian rings, Vol. 30. American Mathematical Soc., 2001.
Rowen, L. H., Ring Theory, vol. I. Academic Press, New York, 1988.
Herstein, I. N., A theorem of left Noetherian rings, J. Math. Anal. Appl. 15 (1966), 91–96. [CrossRef]
Herstein, I. N., A non-nilpotent type of theorem, Aspects of Mathematics and Its Applications, North-Holland, Amsterdam, 1986. [CrossRef]
Stafford, J. T., A nil implies nilpotent theorem for left ideals, J. Algebra 133 (1990), 545-549. [CrossRef]
Yonghua, Xu, On the Koethe problem and the nilpotent problem, Scienta Sinica (Series A) XXVI, 9 (1983), 901–908.
Amitsur, S. A., Radicals of polynomial rings, Canad. J. Math. 8 (1956),355-361. [CrossRef]
Ferrero, Miguel, "An Introduction to Kõthe’s Conjecture and Polynomial Rings", Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo 5, no. 2 (2001): 139-149.
Smoktunowicz, Agata, "On some results related to Köthe’s conjecture", Serdica Mathematical Journal 27, no. 2 (2001): 159-170.
Fisher, J. W., Krempa, "R^G is nil implies R is nil is equivalent to Köthe Conjecture", Houston J. Math. 9 (1983), 177-180.
Puczyłowski, E. R., "Some questions concerning radicals of associative rings", Colloq. Math. Soc. János Bolyai vol 61: Theory of Radicals, Szek-szard. Hungary, 1991, 209–227. [CrossRef]
Puczyłowski, E. R., "Some results and questions on nil rings", 15^th School of Algebra (Canela 1998), Mat. Contemp. 16 (1999), 256–280.
Puczyłowski, E. R., Smoktunowicz, Agata, "On maximal ideals and the Brown-McCoy radical of polynomial rings", Comm. Algebra 26 (1998), 2473– 2482. [CrossRef]
Rowen, L. H., "Köthe’s conjecture", Israel Math. Conf. Proc. 1 (1989), 193– 203.
Kaplansky, I., "Problems in the theory of rings", revisited, Amer. Math. Monthly 77 (1970) 445–454. [CrossRef]
Chebotar, M. A., Ke, W-F., Lee, P-H., Puczyłowski, E. R., "A linear algebra approach to Koethe’s problem and related questions", Linear and Multilinear Algebra 61, no. 5 (2013): 635-645. [CrossRef]
Smoktunowicz, Agata, "Polynomial rings over nil rings need not be nil", J. Algebra 233 (2000), 427–436. [CrossRef]
Kálnai, Peter, Žemlička, Jan, "Self-injective von Neumann regular rings and Köthe’s conjecture", Journal of Pure and Applied Algebra 225, no. 5 (2021): 106589. [CrossRef]
Fontana, Marco, Salah-Eddine Kabbaj, and Bruce Olberding, eds. "Commutative Algebra: Noetherian and Non-Noetherian Perspectives", Springer, 2011. ISBN 978-1-4419-6990-3.
Kharchenko, V. K., "Simple, prime and semiprime rings", Handbook of Algebra, Vol. 1, North-Holland, Amsterdam 1996, 761–812.
Drensky, V., "Free Algebras and PI-Algebras", Graduate Course in Algebra, Springer-Verlag, Singapore, 2000.
"Dnestrowskaya Tetrad (the Dniester Notebook): Neresennyje Problemy Teorii Kolets i Modulej", Nowosibirsk, 1969.

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

MDPI Initiatives

Important Links

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

Disclaimer

On Some Special Cases of K ¨othe’s Conjecture

Abstract

1. Introduction & Motivation

2. Special Case : Commutative Rings

3. Special Case : Algebras over Fields

Case I : F is not Algebraically Closed

Case II : F is Algebraically Closed

4. Applications: Future Scope for Research

Acknowledgments

Conflicts of Interest

Data Availability Statement

References

MDPI Initiatives

Important Links

Subscribe

Case I : $F$ is not Algebraically Closed

Case II : $F$ is Algebraically Closed