Disproof of Several Recently Published Results in Ring Theory

S K Pandey

doi:10.20944/preprints202310.0212.v2

Preprint

Short Note

Disproof of Several Recently Published Results in Ring Theory

This version is not peer-reviewed.

S K Pandey^*

This version is not peer-reviewed.

Downloads

197

Views

140

Comments

Submitted:

29 October 2023

Posted:

01 November 2023

Read the latest preprint version here

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), invo-regular unital rings appeared in Ann. Univ. Mariae Curie-Sklodowska Sect. A Mathematica (2018), locally invo-regular rings appeared in Azerbijan Journal of Mathematics (2021) and involution t-clean rings appeared in Eur. J. Pure Appl. Math (2022).

Keywords:

ring theory

;

algebra

;

mathematics

;

disproof

;

counterexamples

;

involution t-clean ring

;

weakly tripotent ring

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 2021 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

We consolidate and describe some of these results published during 2016 to 2021 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}

A

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 two. 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]): If

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] to [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.

Conflicts of Interest

There is no conflict of interest.

References

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

Downloads

197

Views

140

Comments

Subscription

Notify me about updates to this article or when a peer-reviewed version is published.