#### Abstract

The aim of this study is to determine the necessary and sufficient condition for any AH subset to be a full ideal in a neutrosophic ring *R*(*I*) and to be a nil ideal too. Also, this work shows the equivalence between Kothe’s conjecture in classical rings and corresponding neutrosophic rings, i.e., it proves that Kothe’s conjecture is true in the neutrosophic ring *R*(*I*) if and only if it is true in the corresponding classical ring *R*.

#### 1. Introduction

It was Zadeh [1] who introduced the notion of fuzzy sets to knob the uncertainties. Since then, the fuzzy set has been pragmatic in many commands such as medical diagnosis [2], decision making [3], and pattern recognition [4]. Keeping in view the prominence of fuzzy sets, many generalizations of fuzzy sets have been familiarized like rough sets [5], soft sets [6], intuitionistic fuzzy set [7], linear Diophantine fuzzy sets [8], bipolar valued fuzzy sets [9], bipolar soft sets [10, 11], picture fuzzy set [12], and spherical and T-spherical fuzzy sets [13]. Although all these generalizations have their own benefits, the notion of the neutrosophic set [14] has expanded much more responsiveness from the researchers as compared to the others [15].

Neutrosophy is a new branch of philosophy founded by Smarandache [16] to deal with indeterminacy in real life and scientific actions. It became a useful tool in many areas such as topology [17, 18], statistics [19], probability [20], and algebra [21–23].

Introducing neutrosophic algebras began with Smarandache and Kandasamy [24], where they presented concepts such as neutrosophic groups and neutrosophic rings and loops by inserting the indeterminacy element *I* into classical algebraic structures.

In [25–27], we find two generalizations of neutrosophic rings, refined and *n*-refined neutrosophic rings, respectively. Many interesting properties of these kinds were discussed such as AH ideals, equations [28, 29], AH homomorphisms [30], and idempotency [31].

Neutrosophic rings were applicable in other algebraic structures, where neutrosophic modules, matrices [32–35], and AH spaces [36] can be built over these rings in a similar way to classical cases.

In [37], Abobala has proved that every neutrosophic ring is a homomorphic image of the corresponding refined neutrosophic ring. A similar relationship was proven in [38] for *n*-refined neutrosophic rings.

Recently, the structure of maximal and minimal full AH ideals of *n*-refined neutrosophic rings was presented [39]. Since, every neutrosophic ring *R*(*I*) can be understood as .

Then, each AH subset of *R*(*I*) is defined to have the form ; *P* and *S* are the two subsets of *R*. We call *P* the real part and *S* the neutrosophic part of *M*.

An important question arises here. The question is “When *M* is a neutrosophic ideal of *R*(*I*)?” In other words, what conditions on the real part *P* and neutrosophic part *S* make *M* be an ideal?

Also, it is clear that if Kothe’s conjecture about nil ideals is true in *R*(*I*), then it is true in *R*. What about the inverse relationship? In other words, if Kothe’s conjecture is true in *R*, then is it true for *R*(*I*)?

These important questions motivate us to do this study, where we try to give full description of their answers.

#### 2. Preliminaries

*Definition 1. *Let be a ring; then, is called the neutrosophic ring, where *I* is a neutrosophic element with the condition .

If *R* is a field, then *R*(*I*) is called a neutrosophic field. A neutrosophic field is not a field by the classical meaning, since *I* is not invertible.

*Definition 2. *Let *R* be a ring and *R*(*I*) be the related neutrosophic ring, and are the two subsets of *R*; then, *P* is called an AH subset.(a)We say that *P* is an AH ideal if are ideals in the ring *R*(b)We say that *P* is an AHS ideal if

*Definition 3. *Let *R*(*I*) be any neutrosophic ring, and be any AH subset. We say that *P* is a full ideal of *R*(*I*) if it is an ideal by classical meaning.

*Definition 4. *The element *I* can be split into two indeterminacies with the following conditions:

*Definition 5. *If *X* is a set, then *X*( is called the refined neutrosophic set generated by *X*, .

*Definition 6. *Let be a ring, and is called a refined neutrosophic ring generated by *R*, .

Theorem 1. *Let be a refined neutrosophic ring; then, it is a ring.*

It is called a refined neutrosophic field if *R* is a classical field.

##### 2.1. Kothe Conjecture

If *R* is a ring, then the sum of any two left nil ideals is nil again. For more equivalent forms of Kothe conjecture, see [20].

#### 3. Main Discussion

First of all, we determine the conditions of AH subsets to be ideals in the neutrosophic rings with unity.

Theorem 2. *Let R(I) be a neutrosophic ring with unity 1 and be any AH subset of R(I); then, M is a neutrosophic ideal (full ideal) if and only if the following conditions are true:*(a)

*(b)*

*P*is an ideal on*R**(c)*

*P*is contained in*S*

*S*is an ideal of*R**Proof. *First, we assume that (a), (b), and (c) are true; we have is a subgroup of , that is, because if , we findNow, suppose that , we have ; by the assumption, we regard that ; thus, , which means that *M* is a neutrosophic ideal of *R*(*I*).

Conversely, we suppose that is a neutrosophic ideal of *R*(*I*). Let be two arbitrary elements in *P,* and be two arbitrary elements in *S*; we have ; by using the assumption, we have *M* as an ideal; hence, ; thus,and are the two subgroups of .

For every we have ; thus, ; this means that are the ideals in the classical ring *R*.

Now, we prove that *P* is contained in *S*. We have , that is, because *R*(*I*) has a unity 1. On the other hand, we can write , that is, because *M* is an ideal of *R*(*I*); hence, , and thus, ; by regarding that is an arbitrary element of *P*, we get that .

*Example 1. *Let be the ring of integers, and be the corresponding neutrosophic ring, we have(a) are the three ideals of *R*, with (b) is an ideal of *R*(*I*)(c) is not a neutrosophic ideal, that is, because is not contained in *S*

*Example 2. *Let , and be the corresponding neutrosophic ring. Consider the set . We have *M* as an ideal of *R*(*I*), that is, because .

Now, we show that Theorem 2 is not true in the case of neutrosophic rings with no unity by the following counter example.

*Example 3. *Consider the ring , and it is clear that it has no unity.

Let and be an ideal in *R*. It is clear that is not contained in . Now, we should check the set if it makes an ideal of *R*(*I*) or not.

First of all, it is easy to see that *Q* is a subgroup with respect to addition of the additive group (*R*(*I*), +).

On the other hand, we assume that and is an arbitrary element of *R*(*I*) = 2*Z*(*I*). We haveHence, *Q* is an ideal of *R*(*I*).

Now, we show that the necessary and sufficient conditions on any AH subset to be an ideal in *R*(*I*) if *R*(*I*) has no unity.

Theorem 3. *Let R be any ring without unity and R(I) be its corresponding neutrosophic ring. Then, the AH subset is an ideal of R(I) if and only if*(a)

*are ideals of*(b)

*R**For every and , we have*

*Proof. *We suppose that *P* is a full ideal of *R*(*I*); hence, are the ideals of *R* by a similar proof of Theorem 2. On the other hand, for every , we have ; thus . This means that , that is, because .

For the converse, we assume that conditions (a) and (b) are true; hence, it is clear that (*P*,+) is a subgroup of (*R*(*I*),+). Now, consider an arbitrary element and any ; we have ; by the assumption that (a) and (b) are true, we get ; hence, , and *P* is an ideal of *R*(*I*).

The following theorem describes the structure of nil AH ideals in *R*(*I*).

Theorem 4. *Let R(I) be any neutrosophic ring, we have*(a)

*is nilpotent in*(b)

*R*(*I*) if and only if are nilpotent elements in*R**If is a full ideal of*(c)

*R*(*I*), then*P*is nilpotent if and only if , and are nilpotent*If is a right/left full ideal of*

*R*(*I*), then*P*is nil if and only if are nil*Proof. *(a)First of all, we prove that , where *n* is any positive integer For *n* = 1, it is clear. We suppose that it is true for *n* = *k*, we shall prove it for *k* + 1. Thus, it is true by induction Now, we suppose that is nilpotent in *R*(*I*); hence, there is a positive integer *n*, such that . By the previous statement, we get . Thus, are the nilpotent elements in *R*. The converse is clear.(b)Let be a nilpotent ideal of *R*(*I*); then, there is a positive integer *n*, such that . For any element , we have ; hence, . On the other hand, for any element , we have ; hence, . This means that are nilpotent. Also, we have that , as a direct result of the equation ; hence, is nilpotent. For the converse, we assume that are nilpotent ideals of *R*; then, there are two positive integers , such that . Hence, for every element , we have . This implies that , that is, because , and *P* must be a nilpotent ideal.(c)First of all, we assume that is nil in *R*(*I*); hence, are nil as a direct result from the inclusion ; thus, are nil in *R*. To prove that the sum is nil, we consider two arbitrary elements ; hence, , but *P* is nil; thus, there is a positive integer , such that ; this implies that , so we get is nil. For the converse, we suppose that are nil ideals in *R*, and we shall prove that *P* is nil.Let be an arbitrary element of *P*; we have . Under the assumption of theorem, we can find two positive integers , such that . According to (a), we have . Thus, *P* is a nil ideal of *R*(*I*).

The following theorem shows the equivalence between Kothe’s conjecture in the classical ring *R* and the corresponding neutrosophic ring *R*(*I*).

Theorem 5. *Kothe’s conjecture is true in R(I) if and only if it is true in R.*

*Proof. *According to Theorem 4, we have is nil in *R*(*I*) if and only if are nil in *R*. Thus, the sum of two left nil ideals , say it is in *R*(*I*) is nil if and only if the following three sums are nil in *R*; hence, Kothe’s conjecture is true in *R*(*I*) if and only if it is true in *R*.

Theorem 6. *If Kothe’s conjecture is true in the refined neutrosophic ring or in the n-refined neutrosophic ring , then it is true in the ring R.*

*Proof. *According to [37, 38], every neutrosophic ring *R* is a homomorphic image of its corresponding refined neutrosophic ring and *n*-refined neutrosophic ring ; thus, if Kothe’s conjecture holds in , then it holds in *R*.

*Remark 1. *It is still unknown that if Kothe’s conjecture is true in *R*, then it is true in .

##### 3.1. Open Questions

Two interesting open questions are coming to light according to this work. The first can be asked as follows. If Kothe’s conjecture is true in the ring *R*, then is it true in the corresponding refined neutrosophic ring . The second is the following. If Kothe’s conjecture is true in *R*, then is it true in the corresponding *n*-refined neutrosophic ring . These open questions maybe the future of the study of Kothe conjecture in neutrosophic ring theory.

#### Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

#### Conflicts of Interest

The author declares that there are no conflicts of interest.