Disproof of Several Recently Published Results in Ring Theory

Preprint

Short Note

Disproof of Several Recently Published Results in Ring Theory

Altmetrics

Downloads

189

Views

136

Comments

S K Pandey^*

This version is not peer-reviewed

Submitted:

03 November 2023

Posted:

06 November 2023

You are already at the latest version

Alerts

Abstract

In this note we consolidate and give a brief description of several recently published results in ring theory having disproof. These results have been published during 2016 to 2021 in the so called non-predatory reputed mathematical journals indexed in the well known database like Scopus. We have considered results on rings in which each element is a sum of two idempotents appeared in Canad. Math. Bull. (2016), weakly tripotent rings appeared in Bull. Korean Math. Soc. (2018) and Rendiconti Sem. Mat. Univ. Pol. Torino (2021), involution t-clean rings appeared in Eur. J. Pure Appl. Math (2022) and strongly 2-nil clean rings with units of order two appeared in Eur. J. Pure Appl. Math (2023).

Keywords:

Subject: Computer Science and Mathematics - Algebra and Number Theory

MSC: 16U40; 16E50

1. Introduction.

Recently we have come across more than a dozen of results in ring theory having disproof. These results have been published during 2016 to 2023 in the so called non-predatory reputed mathematical journals indexed in the well known database like Scopus.

Here we provide a brief description of some of such results. We hope that this work will be useful for researchers in ring theory and in mathematics in general. Moreover this work will eventually suggest to the reviewers and editors of mathematical journals to be more cautious while considering a mathematical paper for publication.

It may be emphasized that if a result is published then generally its validity is taken to be granted by the readers. However if it is wrong and it remains unnoticed, then it can damage the existing literature drastically. As there are great chances of being forwarded from one journal to the other and it may inculcate its validity in the mind of readers leading further for more wrong results in mathematics. Hence it is very important to find and publish the counterexamples for existing incorrect mathematical results.

For the sake of convenience and completeness we include some relevant definitions as follows. We recall that a Boolean ring is a ring in which the square of each element is equal to the element itself and such an element is known as idempotent element. A weakly tripotent ring

A

is a ring in which either

x^{3} = x

{(1 - x)}^{3} = 1 - x

holds for every element

x \in A

[5,6,7] and a ring

A

is called invo-regular if for each

x \in A

there exists

y \in A

satisfying

y^{2} = 1

such that

x = x y x

[9]. Similarly A ring

A

is called locally invo-regular if

x = x y x

1 - x = (1 - x) y (1 - x)

holds for each

x \in A

and some

y \in A

satisfying

y^{2} = 1

[13] and a ring

A

is called strongly involution t-clean ring if every element of

A

can be written as

u + t

for some

u \in R

with

u^{2} = 1

and some

t \in A

with

t^{3} = 1

such that

u t = t u

. Further a ring

A

is called strongly 2-nil clean rings with units of order two if each unit

u \in A

satisfies

u^{2} = 1

and for each

a \in A

we have

a = e_{1} + e_{2} + q

. Here

e_{1}

e_{2}

are some idempotent elements in

A

and

q

is any nilpotent element of

A

that commute with each other [15].

We consolidate and describe some of these results published during 2016 to 2023 in the next section.

2. Some Results Having Disproof

Here every ring

A

is an associative ring with identity element.

Result 1 ([1]).

Every element of a ring

A

is a sum of two idempotents iff

A ≅ B \times C

, here

c h (B) = 2

and every element of

B

is a sum of two idempotents, and

C

is zero or a subdirect product of the field of order three.

Disproof.

For the disproof of this result we refer to [2]. It is worth mentioning that in [1] this result was proved by assuming that

3

exists and is non-zero. It also appears that without stating in the initial setup it was assumed that idempotents commute. It may be noted that if

A

is a noncommutative ring in which each element is a sum of two idempotents, then there must exist an element

u \in A

such that

u = u_{1} + u_{2}

with

u_{1}^{2} = u_{1}

u_{2}^{2} = u_{2}

and

u_{1} u_{2} \neq u_{2} u_{1}

. It is well known that if each element of a ring is a sum of two commuting idempotents, then the ring is always commutative and it is isomorphic to a subdirect product of copies the field of order two and the field of order three [3,4].

Result 2 ([1]).

Let every element of a ring

A

is a sum of two idempotents. Then

C (A) = E \times F

, Here

E

is Boolean and

F

is zero or a subdirect product of the field of order three.

Disproof.

The disproof of this result directly follows from the disproof of Result 1. It may be noted that in [1], Result 2 has been proved by assuming that the characteristic of

E

is two. This suggests that as per [1]

E

is a non-zero Boolean ring.

Result 3 ([5,6,7]).

A commutative ring

A

is a weakly tripotent ring iff

A = A_{1} \times A_{2}

such that

A_{2}

is a tripotent ring of characteristic three or

A_{2} = 0

and

A_{1} = 0

A_{1}

can be embedded as a subring of a direct product

A_{0} \times (\prod_{i \in I} A_{i})

such that

A_{0}

is a weakly tripotent ring without nontrivial idempotents, and all

A_{i}

are Boolean rings.

Disproof.

For the disproof of this result we refer to [8]. It has noted in [8] that if

A = A_{1} \times A_{2}

is a ommutative weakly tripotent ring and

A_{1} = 0

, then

0 \neq A_{2}

need not be a weakly tripotent ring of characteristic three. Similarly it has been noted in [8] that if

A_{2} = 0

, then

0 \neq A_{1}

need not be embedded as a subring of a direct product

A_{0} \times (\prod_{i \in I} A_{i})

such that

A_{0}

is a weakly tripotent ring without nontrivial idempotents, and all

A_{i}

are Boolean rings.

Result 4 ([9]).

A

is an invo-regular ring iff

A ≅ B \times C

, here

B

is an invo-regular ring with

c h (B) = 2

and

C

is an invo-regular ring with

c h (C) = 3

Disproof.

The supposed validity of result 1 given above might have led to this result on invo-regular rings. For further details we refer to [10].

Result 5 ([9]).

A

is an invo-regular ring and

A ≅ B \times C

, then

B

is a Boolean ring of characteristic two (i. e. a non-zero Boolean ring).

Disproof.

The supposed validity of result 2 given above might have led to this result on invo-regular rings. For further details we refer to [10]. It may be noted that

B

is a Boolean ring of characteristic two implies that

B

is a non-zero Boolean ring.

Result 6 ([11]).

Let

A

is a weakly tripotent ring having no non-trivial idempotents and

2

is nilpotent in

A

then

\frac{A}{J (A)} ≅ Z_{2}

and

a^{2} = 2 a = 0

holds for each

a \in J (A)

Disproof.

For the disproof of this result we refer to [12]. It has been seen in [12] that

a^{3} = 4 a = 0

for each

a \in J (A)

does not necessarily imply that

a^{2} = 2 a = 0

for each

a \in J (A)

. However

a^{2} = 2 a = 0

implies that

a^{3} = 4 a = 0

for each

a \in J (A)

Result 7 ([13]).

Let

A

is a locally invo-regular ring having no non-trivial idempotents and

2

is nilpotent in

A

then

\frac{A}{J (A)} ≅ Z_{2}

and

a^{2} = 2 a = 0

holds for each

a \in J (A)

Disproof.

The disproof of this result directly follows from the disproof of Result 6. For further details we refer to [11]. One may note that this result has been forwarded from [11,12,13].

Result 8 ([14]).

Let

A

is a ring such that

J (A)

is strongly involution t-clean, then

J (A)

is nil with index of nilpotency at most 3 and the characteristic of

J (A)

is four.

Disproof.

We refer [11]. It has been noted in [11] that if

J (A)

is strongly involution t-clean then the characteristic of

J (A)

can be different from four.

Result 9 ([15]).

Let

A

is a 2-nil clean ring with units of order two in which 3 is a unit. Then

A

is a strongly nil clean ring of characteristic eight.

Disproof.

Let

A = \{0, 1, a, 1 + a\}

. Then

A

is commutative ring under addition and multiplication. Here we have

a^{2} = 1

and

{(1 + a)}^{2} = 0

. One can easily verify that

A

is a 2-nil clean ring with units of order two in which 3 is a unit. We recall that a ring

A

is called strongly nil clean ring if each element of

A

is a sum of an idempotent and a nilpotent that commute [15]. We note that the characteristic of

A

is two and not eight. Hence our disproof is complete.

Result 10 ([15]).

Let

A

is a 2-nil clean ring with units of order two. Then the characteristic of the Jacobson radical

J (A)

is four.

Disproof.

Let us consider the ring

A

given above (we refer to the Disproof of Result 9). We have

J (A) = \{0, 1 + a\}

. Clearly the characteristic of

J (A)

is two but not four. This completes the disproof.

Result 11 ([15]).

Let

A

is a 2-nil clean ring and

q^{2} + 2 q = 0

for each nilpotent

q \in A

. Then each unit of

A

has order four (and the characteristic of

A

is 48) ([15], Page 1676).

Disproof.

Let us consider the ring

A

given above (we refer to the Disproof of Result 9). Clearly

q^{2} + 2 q = 0

holds for each nilpotent

q \in A

. However, the order of any unit is not four (also the characteristic of

A

is not 48). Thus the disproof is complete.

Conflicts of Interest

There is no conflict of interest.

References

Z. Ying. T. Kosan. Y. Zhou, Rings in which every element is a sum of two tripotents. Canad. Math. Bull. 2016, 59, 661–672. [Google Scholar] [CrossRef]
S. K. Pandey, A note on rings in which each element is a sum of two idempotents. Elem. Math. 2023. [Google Scholar] [CrossRef]
Y. Hirano, H. Tominaga, Rings in which every element is the sum of two idempotents. Bull. Austral. Math. Soc. 1988, 37, 161–164. [Google Scholar] [CrossRef]
H. Tominaga, On anti-inverse rings, Publications De L’ Institute Mathematique 1983, 33, 225.
S. Breaz, A. Cimpean, Weakly Tripotent Rings, Arxiv: 1704.01303v1 [math.RA], 2017. [CrossRef]
S. Breaz, A. Cimpean, Weakly Tripotent Rings, Bull. Korean Math. Soc. 2018, 55, 1179–1187. [Google Scholar]
Cimpean, Ph. D. Thesis, Babes Bolyai University, 2020.
S. K. Pandey, Some counterexamples in ring theory, arXiv:2203.02274 [math.RA], 2022. [CrossRef]
P. V. Danchev, Invo-regular unital rings, Ann. Univ. Mariae Curie-Sklodowska Sect. A Mathematica 2018, 72, 45–53.
S. K. Pandey, A Note on Invo-Regular Unital Rings. Preprints 2023, 2023100485. [Google Scholar] [CrossRef]
Peter Danchev, A Characterization of Weakly Tripotent Rings, Rendiconti Sem. Mat. Univ. Pol. Torino 2021, 789, 21–32.
S. K. Pandey,. On Weakly Tripotent and Locally Invo-Regular Rings. Preprints 2023, 2023100968. [CrossRef]
P. V. Danchev, LocallyInvo-Regular Rings, Azerbijan Journal of Mathematics 2021, 11, 28–44.
Al. Neima, Mohammed, et al., Involution t-clean rings with applications. Eur. J. Pure Appl. Math 2022, 15, 1637–1648.
R. T. M. Salim, N. H. Shuker, Strongly 2-nil clean rings with units of order two. Eur. J. Pure Appl. Math 2023, 16, 1675–1684. [CrossRef]

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.

© 2023 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.