** Advances in Pure Mathematics** Vol.3 No.9(2013), Article ID:40884,6 pages DOI:10.4236/apm.2013.39096

Nil 3-Armendariz Rings

^{1}Department of Mathematics, Northwest Normal University, Lanzhou, China

^{2}Department of Mathematics, Khartoum University, Omdurman, Sudan

Email: eltiyeb76@gmail.com, ayou1975@yahoo.com, liuzk@nwnu.edu.cn

Copyright © 2013 Eltiyeb Ali et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In accordance of the Creative Commons Attribution License all Copyrights © 2013 are reserved for SCIRP and the owner of the intellectual property Eltiyeb Ali et al. All Copyright © 2013 are guarded by law and by SCIRP as a guardian.

Received November 13, 2013; revised December 13, 2013; accepted December 18, 2013

**Keywords:** Armendariz Ring; 3-Armendariz Ring; Nil Armendariz Ring; Nil 3-Armendariz Ring

ABSTRACT

We introduce nil 3-Armendariz rings, which are generalization of 3-Armendariz rings and nil Armendaiz rings and investigate their properties. We show that a ring is nil 3-Armendariz ring if and only if for any n Î ℕ, is nil 3-Armendariz ring. Also we prove that a right Ore ring R is nil 3-Armendariz if and only if so is Q, where Q is the classical right quotient ring of. With the help of this result, we can show that a commutative ring is nil 3-Armendariz if and only if the total quotient ring of is nil 3-Armendariz.

1. Introduction

Throughout this article, denotes an associative ring, not necessary with identity. Given a ring the polynomial ring over is denoted by The study of Armendariz ring was initiated by Armendariz [1] and Rege and Chhawchharia [2]. A ring is called Armendariz if whenever polynomials satisfy then for all i, j. (The converse is always true.) Some properties of Armendariz rings have been studied in Rege and Chhawchharia [2], Anderson and Camillo [3], Kim and Lee [4], Huh et al. [5], and Lee and Wong [6]. Suiyi [7] introduced the notion of 3-Armendariz ring. A ring is called a 3-Armendariz if whenever polynomials satisfy then for all Due to Ramon Antoine [8], a ring is said to be nil Armendariz if whenever two polynomials satisfy then for all and There is a nil Armendariz ring but not Armendaiz by [8, Example 4.11]. A ring is called reduced if it has no nonzero nilpotent elements. Armendariz rings are thus a generalization of reduced rings, and therefore, nilpotent elements play an important role in this class of rings. There are many examples of rings with nilpotent elements which are Armendariz. In fact, in [3], Anderson and Camillo prove that if then is an Armendariz ring if and only if is reduced. In [9], Liu and Zhao introduced weak Armendariz rings as a generalization of Armendariz rings. A ring is weak Armendariz if whenever the product of two polynomials is zero then the product of their coefficients is nilpotent. In [10], Wu Hui-feng introduced the concept of weak 3-Armendariz ring as a generalization of 3-Armendariz rings and weak Armendariz ring and investigated their properties. A ring is weak 3-Armendariz if whenever the product of three polynomials is zero then the product of their coefficients is nilpotent. Motivated by results in Suiyi [7], Liu and Zhao [9], Antoine [8], Kim and Lee [4], Rege and Chhawchharia [2], and Wu Hui-feng [10,11], we investigate a generalization of nil Armendariz rings and 3-Armemdariz rings which we call nil 3-Armendariz rings.

2. Nil 3-Armendariz Rings

If is a ring, denotes the set of all nilpotent elements in and if denotes the subset of of the coefficients of

**Condition (P):** For all if then ( See [7])

**Lemma 2.1.** [11, Proposition 1]. If is a reduced ring, then satisfies the condition (P), but the converse is not true.

**Lemma 2.2. **[7, Theorem 1]. If a ring satisfies condition (P), then R is a 3-Armendariz ring.

**Proposition 2.3.** Let be a ring such that If then for all and

**Proof.** Observe that is reduced. By Lemma 2.1, satisfies condition (P) and by Lemma 2.2, is 3-Armendariz. Suppose Then, if we denote by the corresponding polynomials in Since is 3-Armendariz, for all and Hence is nil for all and

Wu Hui-feng gives the following generalization of 3-Armendariz rings.

**Definition 2.4.** [10, Definition 1]. A ring is said to be a weak 3-Armendariz ring if whenever polynomials satisfy then for all and

Clearly, 3-Armendariz rings are weak 3-Armendariz. We now present here a stronger condition, given by the property obtained in Proposition 2.3.

**Definition 2.5.** A ring is said to be nil 3-Armendariz if whenever polynomials satisfy then for all and

Observe that if then by Proposition 2.3, is nil 3-Armendariz. More generally we obtain the following.

**Proposition 2.6.** Let be a ring that satisfies the condition (P), and a nil ideal. Then is nil 3-Armendariz if and only if is nil 3-Armendariz.

**Proof.** We denote Since is nil, then Hence if and only if And, if and then if and only if Therefore is nil 3-Armendariz if and only if is nil 3-Armendariz.

The next results can be proved by using the technique used in the proof of [8, Lemma 2.5, Lemma 2.6].

**Lemma 2.7. **Let be a nil 3-Armendariz ring and If such that then if for we have

**Lemma 2.8.** If is a 3-Armendariz ring then

**Proposition 2.9.** If is a 3-Armendariz ring then is nil 3-Armendariz.

**Proof.** Suppose be such that Since is 3-Armendariz, by Lemma 2.8, is nilpotent and there exists such that Hence, since is 3-Armendariz, for all and by choosing the corresponding coefficient in each polynomial, we have and thus, Therefore is nil 3-Armendariz.

**Proposition 2.10.** The class of nil 3-Armendariz rings is closed under finite direct products.

**Proof.** Let be the finite direct product of where is nil 3-Armendariz. Suppose for some polynomials where are elements of the product ring

. Set and Since then So and so Thus

in Since is nil 3-Armendariz, then we have Now, for each there exist positive integers

such that in the ring If we take then it is clear that Therefore This means that is nil 3-Armendariz.

**Lemma 2.11.** Let be a subring of If is nil 3-Armendariz. Then so is

**Proof.** Let be such that Then Since is nil 3-Armendariz, then i.e., This means that S is nil 3-Armendariz.

We denote by the ring consisting of all n-by-n upper triangular matrices over In [10, Theorem 1], showed that is a weak 3-Armendariz if and only if is a weak 3-Armendariz ring for all n Î ℕ. Here we have a similar results for nil 3-Armendariz rings.

**Proposition 2.12.** Let be a ring. The following conditions are equivalent:

1) is nil 3-Armendariz;

2) for any is nil 3-Armendariz.

**Proof. **(2)Þ(1) We note that any subring of nil 3-Armendariz rings is nil 3- Armendariz by Lemma 2.11. Thus if is nil 3-Armendariz ring, then so is (1)Þ(2) Let and

be elements of It is easy to see that there exists an isomorphism of rings define by:

Assume that Let

Then

corresponds a polynomial with coefficients in under the isomorphism Because and

we have

for

Since is nil 3-Armendariz, there exists such that for any and any Let Then

Thus, and so

This shows that is nil 3-Armendariz.

**Corollary 2.13.** If is a 3-Armendariz ring, then, for any is nil 3-Armendariz ring.

In [10, Corollary 1], it is shown that a ring is a weak 3-Armendariz ring if and only if is a weak 3-Armendariz ring, where is the ideal of generated by and is a positive integer. For nil 3-Armendariz rings, we have the following result.

**Proposition 2.14.** Let be a ring and any positive integer. Then is nil 3-Armendariz if and only if is nil 3-Armendariz, where is the ideal of generated by

**Proof.** As where

is a subring of If is nil 3-Armendariz, then, by Proposition 2.12, we have that is nil 3-Armendariz, and so is S. Thus, is nil 3-Armendariz. Conversely, if is nil 3-Armendariz, then as a subring of is nil 3- Armendariz too.

**Corollary 2.15.** A ring is nil 3-Armendariz if and only if the trivial extension is nil 3-Armendariz.

**Proof.** It follows from Proposition 2.12.

From Proposition 2.12, one may suspect that if is nil 3-Armendariz then every n-by-n full matrix ring over is nil 3-Armendariz, where But the following example erases the possibility.

**Example 2.16.** Let be a ring and let Let

be polynomials in Then But

is not nilpotent. Thus is not nil 3-Armendariz. Now we can give the example of nil 3-Armendariz rings which are not 3-Armendariz.

**Example 2.17.** Let be a nil 3-Armendariz ring. Then the ring

is not 3-Armendariz by [7, Example 4], for but is a nil 3-Armendariz ring by Proposition 2.12, because is a subring of

**Proposition 2.18.** Let be a ring and an idempotent of If is central in then the following statements are equivalent:

1) is nil 3-Armendariz;

2) and are nil 3-Armendariz.

**Proof.** (2)Þ(1). Is obvious since and are subrings of

(1)Þ(2). Note that as rings. Thus the result follows from Proposition 2.10.

In [5, Theorem 11], it was shown that if is a reduced ideal of such that is Armendariz, then is Armendariz. In [10, Proposition 4], it is shown that if is a weak 3-Armendariz ring, then so is where is a nilpotent ideal of We show that this result also holds for nil 3-Armendariz rings in the following.

**Proposition 2.19.** Let be a ring such that is a nil 3-Armendariz ring for some proper ideal of If then is nil 3-Armendariz.

**Proof.** Let such that Then

Since is nil 3-Armendariz, we have that Hence Since then This means that is a nil 3-Armendariz ring.

Anderson and Camillo in [3, Theorem 2], prove that a ring is Armendariz if and only if the polynomial ring is Armendariz. Yang Suiyi [7], prove that a ring is 3-Armendariz if and only if the polynomial ring is 3-Armendariz. In [11], it is shown that if is reduced ring, then and is 3-Armendariz ring. For nil 3-Armendariz rings we will give the following results.

**Proposition 2.20.** If is nil 3-Armendariz, then

**Proof.** Suppose and By Lemma 2.7, we have that where for In particular, for every is nilpotent. Therefore for all and hence

**Theorem 2.21.** If is a 3-Armendariz ring, then is a nil 3-Armendariz ring.

**Proof.** Let be 3-Armendariz ring. Then by [7, Theorem 3], is 3-Armendariz. Thus by Proposition 2.9, is nil 3-Armendariz.

**Proposition 2.22.** Let be a reduced ring. Then is a nil 3-Armendariz ring.

**Proof.** It follows from the method in the proof of [11, Theorem 1].

**Corollary 2.23.** If is a reduced ring, then is a nil 3-Armendariz ring.

Recall that an element of a ring is right regular if implies for Similarly, left regular elements can be defined. An element is regular if it is both left and right regular (and hence not a zero divisor).

A ring is called right (resp., left) Ore if given with regular, there exist with regular such that It is a well-known fact that is a right (resp., left) Ore ring if and only if the classical right (resp., left) quotient ring of exists.

**Lemma 2.24.** If then for any central element

**Proof.** Set Then Thus This means that

**Theorem 2.25.** Let be a right Ore ring with the classical right quotient ring If all right regular elements are central, then is nil 3-Armendariz if and only if so is

**Proof.** It suffices to show by Lemma 2.11, that if is nil 3-Armendariz rings so is We apply the proof of [5, Theorem 12]. Consider such that

By [12, Proposition 2.1.16], we can assume that with for all and a right regular elements Put

Then we have

Since by Lemma 2.24, Since is nil 3-Armendariz, for each and so for all Therefore is nil 3-Armendariz ring.

**Corollary 2.26.** Let be a ring and be a multiplicative closed subset in consisting of central regular elements. Then is nil 3-Armendariz rings if and only if is nil 3-Armendariz rings.

**Corollary 2.27.** A commutative ring is nil 3-Armendariz if and only if so is the total quotient ring of

**Proof.** It suffices to show the necessity by Lemma 2.11. Let be the multiplicative closed subset of all regular elements in . Then is the total quotient ring of and hence the result holds by Corollary 2.26.

The ring of Laurent polynomials in with coefficients in a ring consists of all formal sum

with obvious addition and multiplicationwhere and are (possibly negative) integers and denote it by

**Corollary 2.28.** Let be a ring. is nil 3- Armendariz if and only if is nil 3-Armendariz.

**Proof.** It suffices to establish necessity since is a subring of Let then clearly is a multiplicatively closed subset in consisting of central regular elements. Note that If is nil 3-Armendariz, so is by Corollary 2.26.

3. Acknowledgements

This paper is partially supported by National Natural Science Foundation of China (No.11261050). I also thank the referee for his or her valuable comments.

REFERENCES

- E. P. Armendariz, “A Note on Extensions of Baer and p.p.-Rings,” Journal of the Australian Mathematical Society, Vol. 18, No. 4, 1974, pp. 470-473. http://dx.doi.org/10.1017/S1446788700029190
- M. B. Rege and S. Chhawchharia, “Armendariz Rings,” Proceedings of the Japan Academy, Series A, Mathematical Sciences, Vol. 73, No. 1, 1997, pp. 14-17. http://dx.doi.org/10.3792/pjaa.73.14
- D. D. Anderson and V. Camillo, “Armendariz Rings and Gaussian Rings,” Communications in Algebra, Vol. 26, No. 7, 1998, pp. 2265-2272. http://dx.doi.org/10.1080/00927879808826274
- N. K. Kim and Y. Lee, “Armendariz Rings and Reduced Rings,” Journal of Algebra, Vol. 223, No. 2, 2000, pp. 477-488. http://dx.doi.org/10.1006/jabr.1999.8017
- C. Huh, Y. Lee and A. Smoktunowicz, “Armendariz Rings and Semicommutative Rings,” Communications in Algebra, Vol. 30, No. 2, 2002, pp. 751-761. http://dx.doi.org/10.1006/jabr.1999.8017
- T. K. Lee and T. L. Wong, “On Armendariz Rings,” Houston Journal of Mathematics, Vol. 29, No. 3, 2003, pp. 583-593.
- Y. Suiyi, “On the Extension of Armendariz Rings,” MS Thesis, Lanzhou University, Lanzhou, 2008.
- R. Antoine, “Nilpotent Elements and Armendariz Rings,” Journal of Algebra, Vol. 319, No. 8, 2008, pp. 3128-3140. http://dx.doi.org/10.1016/j.jalgebra.2008.01.019
- Z. K. Liu and R. Y. Zhao, “On Weak Armendariz Rings,” Communications in Algebra, Vol. 34, No. 7, 2006, pp. 2607-2616. http://dx.doi.org/10.1080/00927870600651398
- H. F. Wu, “On Weak 3-Armendariz Rings,” Journal of Hangzhou Normal University (Natural Science Edition), Vol. 11, No. 3, 2012, pp. 241-244.
- H. F. Wu, “Extensions of Reduced Rings,” Journal of Hangzhou Normal University (Natural Science Edition), Vol. 10, No. 5, 2011, pp. 407-410.
- J. C. McConnell and J. C. Robson, “Noncommutative Noetherian Rings,” A Wiley-Interscience Publication, John Wiley and Sons, Ltd., Chichester, 1987.