On Graded 2-Prime Ideals

The purpose of this paper is to introduce the concept of graded 2-prime ideals as a new generalization of graded prime ideals. We show that graded 2-prime ideals and graded semi-prime ideals are different. Furthermore, we show that graded 2-prime ideals and graded weakly prime ideals are also different. Several properties of graded 2-prime ideals are investigated. We study graded rings in which every graded 2-prime ideal is graded prime, we call such a graded ring a graded 2-P-ring. Moreover, we introduce the concept of graded semi-primary ideals, and show that graded 2-prime ideals and graded semi-primary ideals are different concepts. In fact, we show that graded semi-primary, graded 2-prime and graded primary ideals are equivalent over Z-graded principal ideal domain.


Introduction
This article is devoted to the study of a generalization of graded prime ideals. We follow [1] to introduce the concept of graded 2-prime ideals. A proper graded ideal P of R is said to be a graded 2-prime ideal of R if whenever x, y ∈ h(R) (the set of homogeneous elements of R) such that xy ∈ P, then x 2 ∈ P or y 2 ∈ P. Clearly, every graded prime ideal is graded 2-prime. However, the converse is not necessarily true (Example 1). In fact, we show that graded 2-prime ideals and graded semi-prime ideals are completely different (Remark 1, Example 2). Also, we show that graded 2-prime ideals and graded weakly prime ideals are totally different (Remark 2, Example 3). On the other hand, a graded ideal P of R is graded prime if and only if P is a graded 2-prime and a graded semi-prime ideal of R (Proposition 1). Also, in this article, we introduce the concept of graded semiprimary ideals. A proper graded ideal P of R is said to be a graded semi-primary ideal of R if whenever x, y ∈ h(R) such that xy ∈ P, then x ∈ Grad(P) or y ∈ Grad(P). Clearly, every graded 2-prime ideal is graded semi-primary. However, we show that the converse is not necessarily true (Example 4).
Among several results, the main results of the article are Corollary 1, Proposition 6, Proposition 7 and Propositions 10-14. We prove that graded semi-primary, graded 2prime and graded primary ideals are equivalent over Z-graded principal ideal domain (Corollary 1). We study graded 2-prime ideals over graded epimorphism (Proposition 6), over direct product of graded rings (Proposition 7) and over graded factor rings (Proposition 10). Example 5 shows that the intersection of two graded 2-prime ideals need not be graded 2-prime. In the rest of our article, we study graded rings in which every graded 2prime ideal is graded prime; we call such a graded ring a graded 2-P-ring. We prove that if R is a graded 2-P-ring and graded local, then R is a graded field (Proposition 11). We show that if (R, X) gr is a graded local ring and R is a graded 2-P-ring, then PX = K, for every minimal graded prime ideal K over an arbitrary graded 2-prime ideal P (Proposition 12). We prove that the converse is true if R is Z-graded (Proposition 13). We prove that if R is a graded 2-P-ring, then P 2 = P, for every graded prime ideal P of R (Proposition 14).

Preliminaries
"Throughout, G will be a group with identity e and R a commutative ring with nonzero unity 1. We say that R is G-graded whenever R = g∈G R g with R g R h ⊆ R gh for all g, h ∈ G where R g is an additive subgroup of R for all g ∈ G. The elements of R g are called homogeneous of degree g. If x ∈ R, then x can be written as ∑ g∈G x g , where x g is the component of x in R g . Also, we set h(R) = g∈G R g . Moreover, it has been proved in [2] that R e is a subring of R and 1 ∈ R e . Let I be an ideal of a graded ring R. Then I is said to be graded ideal if I = g∈G (I ∩ R g ), i.e., for x ∈ I, x = ∑ g∈G x g where x g ∈ I for all g ∈ G.
An ideal of a graded ring need not be graded. Let R be a G-graded ring and I is a graded ideal of R. Then R/I is G-graded by (R/I) g = (R g + I)/I for all g ∈ G (see [3]). Also, if R and S are two G-graded rings, then R × S is a G-graded ring by (R × S) g = R g × S g for all g ∈ G, (see [3]).
The graded radical of P is denoted by Grad(P), and is defined to be the set of all r ∈ R such that for each g ∈ G; there exists a positive integer n g satisfies r n g g ∈ P, see [4]. It is clear that if r ∈ h(R), then r ∈ Grad(P) if and only if r n ∈ P for some positive integer n.
A proper graded ideal P of R is said to be graded prime if whenever x, y ∈ h(R) such that xy ∈ P, then either x ∈ P or y ∈ P ( [4]). Graded prime ideals play an essential role in graded commutative ring theory. Thus, this concept has been generalized and studied in several directions. The significance of some of these generalizations is same as the graded prime ideals. In a feeling of animate being, they determine how far an ideal is from being graded prime. For instance, a proper graded ideal P of R is said to be graded primary if for x, y ∈ h(R) such that xy ∈ P, then either x ∈ P or y ∈ Grad(P) ( [5]). A proper graded ideal P of R is said to be a graded weakly prime ideal of R if whenever x, y ∈ h(R) such that 0 = xy ∈ P, then x ∈ P or y ∈ P ([6]). A proper graded ideal P of R is said to be graded almost prime if for x, y ∈ h(R) such that xy ∈ P − P 2 , then either x ∈ P or y ∈ P (Ref. [7]). Thus, a graded weakly prime ideal is graded almost prime. Also, graded almost prime ideals were stunningly generalized in [7] to graded n-almost prime as follows; for x, y ∈ h(R) such that xy ∈ P − P n , then either x ∈ P or y ∈ P. A proper graded ideal P of R is called graded semi-prime if whenever x ∈ h(R) such that x 2 ∈ P, then x ∈ P ([8]). A proper graded ideal P of R is said to be graded 2-absorbing if whenever x, y, z ∈ h(R) such that xyz ∈ P, then either xy ∈ P or xz ∈ P or yz ∈ P ( [9]). Graded 2-absorbing ideals have been admirably studied in [10].

Graded 2-Prime Ideals
Here, we shall introduce the concept of graded 2-prime ideals along with its properties and characteristics. Definition 1. Let R be a graded ring and P be a proper graded ideal of R. Then P is said to be a graded 2-prime ideal of R if whenever x, y ∈ h(R) such that xy ∈ P, then x 2 ∈ P or y 2 ∈ P.
Clearly, every graded prime ideal is graded 2-prime; while the converse is not necessarily true. Example 1. Consider R = Z[i] and G = Z 2 . Then R is G-graded by R 0 = Z and R 1 = iZ. Now, P = 9R is a graded ideal of R as 9 ∈ h(R). We show that P is a graded 2-prime ideal of R. Let x, y ∈ h(R) such that xy ∈ P.
Case 1: Suppose that x, y ∈ R 0 . Then x, y ∈ Z such that xy = 9(z + iw) for some z, w ∈ Z; that is xy = 9z which implies that 9 divides xy, and then 3 divides xy. Since 3 is prime; we have 3 divides x or 3 divides y, and then 9 divides x 2 or 9 divides y 2 , which implies that x 2 ∈ P or y 2 ∈ P.

Case 2:
Suppose that x, y ∈ R 1 . Then x = ia and y = ib for some a, b ∈ Z. Since xy ∈ P, we have −ab = 9(z + iw) for some z, w ∈ Z, i.e., −ab = 9z, which implies that 9 divides ab, and then as in Case 1, either a 2 ∈ P or b 2 ∈ P, which implies that x 2 = −a 2 ∈ P or y 2 = −b 2 ∈ P.
Case 3: Suppose that x ∈ R 0 and y ∈ R 1 . Then x ∈ Z and y = ib for some b ∈ Z. Since xy ∈ P, we have ixb = 9(z + iw) for some z, w ∈ Z, i.e., xb = 9w, which implies that 9 divides xb, and then as in Case 1, either x 2 ∈ P or b 2 ∈ P. If b 2 ∈ P, then y 2 = −b 2 ∈ P.
Hence, P is a graded 2-prime ideal of R. On the other hand, P is not graded prime since 3, 6 ∈ h(R) such that 3 · 6 ∈ P but 3 / ∈ P and 6 / ∈ P.

Remark 1.
The concepts of graded 2-prime ideals and graded semi-prime ideals are completely different; it has been proved in Example 1 that P = 9R is a graded 2-prime ideal of R. However, P is not graded semi-prime since 3 ∈ h(R) such that 3 2 ∈ P but 3 / ∈ P. The next example introduces a graded semi-prime ideal which is not graded 2-prime.

Example 2.
Consider R = Z[i] and G = Z 2 . Then R is G-graded by R 0 = Z and R 1 = iZ. Now, P = 6R is a graded ideal of R as 6 ∈ h(R). We show that P is a graded semi-prime ideal of R. Let x ∈ h(R) such that x 2 ∈ P.
Case 1: Suppose that x ∈ R 0 . Then x ∈ Z such that x 2 = 6(z + iw) for some z, w ∈ Z, that is x 2 = 6z which implies that 6 divides x 2 , and then 2, 3 divides x 2 . Since 2, 3 are primes; we have 2 divides x and 3 divides y, and since 2, 3 are relatively prime; we have 6 = 2 · 3 divides x, which implies that x ∈ P.
Case 2: Suppose that x ∈ R 1 . Then x = ia for some a ∈ Z. Since x 2 ∈ P, we have −a 2 = 6(z + iw) for some z, w ∈ Z, i.e., −a 2 = 6z, which implies that 6 divides a 2 , and then as in Case 1, a ∈ P and then x = ia ∈ P.
Hence, P is a graded semi-prime ideal of R. On the other hand, P is not graded 2-prime since 2, 3 ∈ h(R) such that 2 · 3 ∈ P but 2 2 / ∈ P and 3 2 / ∈ P. Proposition 1. Let R be a graded ring and P be a graded ideal of R. Then P is a graded prime ideal of R if and only if P is a graded 2-prime and a graded semi-prime ideal of R.
Proof. Suppose that P is a graded 2-prime and a graded semi-prime ideal of R. Let x, y ∈ h(R) such that xy ∈ P. As P is graded 2-prime, then either x 2 ∈ P or y 2 ∈ P, and then since P is graded semi-prime; we have either x ∈ P or y ∈ P. Hence, P is a graded prime ideal of R. The converse is clear.

Remark 2.
The concepts of graded 2-prime ideals and graded weakly prime ideals are completely different; it has been proved in Example 1 that P = 9R is a graded 2-prime ideal of R. However, P is not graded weakly prime since 3, 6 ∈ h(R) such that 0 = 3 · 6 ∈ P but 3 / ∈ P and 6 / ∈ P. The next example introduces a graded weakly prime ideal which is not graded 2-prime.
Definition 2. Let R be a graded ring and P be a proper graded ideal of R. Then P is said to be a graded semi-primary ideal of R if whenever x, y ∈ h(R) such that xy ∈ P, then x ∈ Grad(P) or y ∈ Grad(P).
Clearly, every graded 2-prime ideal is graded semi-primary; however, the converse need not be true.

Example 4.
Assume that R is trivially Z-graded ring. Let K be a field and R = K[X, Y] with degX = 1 = degY. Consider the graded ideal P = (X 3 , XY, Y 3 ) of R. It follows by ( [11], Exercise 4.28); P is a graded primary ideal of R, and then P is a graded semi-primary ideal of R. On the other hand, P is not graded 2-prime since XY ∈ P with X 2 / ∈ P and Y 2 / ∈ P.
If P is a graded ideal of a G-graded ring R, then Grad(P) need not to be a graded ideal of R; see ( [12], Exercises 17 and 13 on pp. 127-128). However, it has been proved in ( [13], Lemma 2.13) that if P is a graded ideal of a Z-graded ring R, then Grad(P) is a graded ideal of R. Lemma 1. Let R be a Z-graded ring and P be a graded ideal of R. Then P is a graded semi-primary ideal of R if and only if Grad(P) is a graded prime ideal of R.
Proof. Suppose that P is a graded semi-primary ideal of R. By ( [13], Lemma 2.13), Grad(P) is a graded ideal of R. Let x, y ∈ h(R) such that xy ∈ Grad(P). Then (xy) n = x n y n ∈ P for some positive integer n. Since P is graded semi-primary, we have x 2n ∈ P or y 2n ∈ P, which implies that x ∈ Grad(P) or y ∈ Grad(P). Hence, Grad(P) is a graded prime ideal of R. Conversely, let x, y ∈ h(R) with xy ∈ P.
Then as P ⊆ Grad(P), xy ∈ Grad(P). Since Grad(P) is graded prime, we have x ∈ Grad(P) or y ∈ Grad(P). Hence, P is a graded semi-primary ideal of R.

Proposition 2.
Let R be a Z-graded principal ideal domain and P be a graded ideal of R. Then P is a graded semi-primary ideal of R if and only if P is a graded primary ideal of R.
Proof. Suppose that P is a graded semi-primary ideal of R. Then by Lemma 1, Grad(P) is a graded prime ideal, and then as R is a principal ideal domain, Grad(P) is a graded maximal ideal of R, which implies that P is a graded primary ideal of R by ( [5], Proposition 1.11). The converse is clear.

Definition 3.
Let R be a graded ring. Then x ∈ h(R) is said to be a homogeneous reducible element of R if x = yz for some non-unit elements y, z ∈ h(R). Otherwise, x is called a homogeneous irreducible element of R. Proof. {0} is a graded prime ideal of R as R is a domain. For a homogeneous irreducible element x of R and n ∈ N, the graded ideal Rx n is a power of a graded maximal ideal of R. We have Grad(Rx n ) = Rx is a graded maximal ideal of R. So, by ([5], Proposition 1.11) we have that Rx n is a graded primary ideal of R. On the other hand, a nonzero graded primary ideal of R should have the form Rx for some nonzero x ∈ h(R), and x cannot be a unit since a graded primary ideal is proper. Since R is a unique factorization domain, we can write x as a product of homogeneous irreducible elements of R. If x is divisible by two homogeneous irreducible elements a and b of R which are not associated, then Ra and Rb are graded maximal ideals of R; and they both are graded minimal prime ideals of Rx, which contradicts ( [5], Corollary 1.9). Therefore, Rx is generated by a positive power of some homogeneous irreducible element of R. Proposition 3. Let R be a graded principal ideal domain and P be a graded ideal of R. Then P is a graded 2-prime ideal of R if and only if P is a graded primary ideal of R.
Proof. We show that P is a graded 2-prime ideal of R if and only if either P = Rx n , for some positive integer n and a homogeneous irreducible element x of R or x = 0; and so the result follows from Lemma 2. Suppose that P is a nonzero graded 2-prime ideal of R. Since R is a principal ideal domain, there exists s ∈ h(R) such that P = Rs. If s is irreducible, then n = 1 and we are done. Suppose that s is not an irreducible element. Since R is a unique factorization domain, we have s can be written in the form s = ..x n m m . Then ab ∈ P. As P is graded 2-prime, then either a 2 ∈ P or b 2 ∈ P.
If a 2 = x 2n 1 1 ∈ P = Rs, then there exists y ∈ h(R) such that a 2 = x 2n 1 1 = ys = yx n 1 1 .x n 2 2 ...x n m m , and then x n 1 1 = yx n 2 2 ...x n m m , which implies that x j divides x 1 for some 2 ≤ j ≤ m. Since x 1 is an irreducible element of R, we have x 1 and x j are associated, which is a contradiction.
..x n m m 2 ∈ P = Rs, then there exists z ∈ h(R) such that x n 2 2 ...x n m m 2 = zs = zx n 1 1 .x n 2 2 ...x n m m , which implies that x 1 divides x n 2 2 ...x n m m 2 . Since R is a principal ideal domain, x 1 divides x j for some 2 ≤ j ≤ m, which is a contradiction. Conversely, suppose that P = Rx n for some a homogeneous irreducible element x of R and a positive integer n.
Assume that a, b ∈ h(R) such that ab ∈ P. Then a = yx k and b = zx j for some y, z ∈ h(R) such that j + k ≥ n. Assume that 2k < n and 2j < n. Then 2k + 2j < 2n, which is a contradiction since j + k ≥ n. Hence, a 2 ∈ P or b 2 ∈ P, and so P is a graded 2-prime ideal of R.
By combining Proposition 2 and Proposition 3, we state the following result.

Corollary 1.
Let R be a Z-graded principal ideal domain and P be a graded ideal of R. Then the following are equivalent.
1. P is a graded semi-primary ideal of R.

2.
P is a graded 2-prime ideal of R. 3.
P is a graded primary ideal of R.

Proposition 4.
Let R be a Z-graded ring and P be a graded ideal of R. If P is a graded 2-prime ideal of R, then Grad(P) is a graded prime ideal of R. Moreover, Grad(P) is the smallest graded prime ideal of R containing P.
Proof. Since P is a graded 2-prime ideal of R, we have P is a graded semi-primary ideal of R, and then by Lemma 1, Grad(P) is a graded prime ideal of R. Moreover, one can easily prove that every graded prime ideal of R containing P should also contain Grad(P).

Proposition 5.
Let R be a graded ring and P be a graded ideal of R. If P is a graded prime ideal of R, then P 2 is a graded 2-prime ideal of R.
Proof. By ( [5], Lemma 2.1) P 2 is a graded ideal of R. Let x, y ∈ h(R) such that xy ∈ P 2 . Then as P 2 ⊆ P, xy ∈ P. Since P is graded prime, then either x ∈ P or y ∈ P, and then either x 2 ∈ P 2 or y 2 ∈ P 2 . Hence, P 2 is a graded 2-prime ideal of R.

Graded 2-Prime Ideals over Graded Ring Homomorphisms, Cartesian Product of Graded Rings and Factor Rings
In this section, we study graded 2-prime ideals over graded ring homomorphisms, cartesian product of graded rings and factor rings. Let R and S be two G-graded rings.
A ring homomorphism f : R → S is said to be graded homomorphism if f (R g ) ⊆ S g for all g ∈ G (see [2]).

Lemma 3. ([14]
, Lemma 3.11) Suppose that f : R → S is a graded epimorphism of graded rings. If P is a graded ideal of R with Ker( f ) ⊆ P, then f (P) is a graded ideal of S. Proposition 6. Suppose that f : R → S is a graded epimorphism of graded rings. If P is a graded 2-prime ideal of R with Ker( f ) ⊆ P, then f (P) is a graded 2-prime ideal of S.

Proof.
By Lemma 3, f (P) is a graded ideal of S. Let a, b ∈ h(S) such ab ∈ f (P). Since f is surjective, there exist x, y ∈ h(R) such that f (x) = a and f (y) = b, and then f (xy) = ab ∈ f (P), which implies that xy ∈ P since Ker( f ) ⊆ P. Since P is graded 2-prime, we have either x 2 ∈ P or y 2 ∈ P, and then either a 2 = ( f (x)) 2 = f (x 2 ) ∈ f (P) or b 2 = ( f (y)) 2 = f (y 2 ) ∈ f (P). Hence, f (P) is a graded 2-prime ideal of S.

Lemma 4. Let P be an ideal of a G-graded ring R and K be an ideal of a G-graded ring S. Then P × K is a graded ideal of R × S if and only if P is a graded ideal of R and K is a graded ideal of S.
Proof. Clearly, P × K is an ideal of R × S. If (x, y) ∈ P × K. Then x ∈ P and y ∈ K, and since P, K are graded, x g ∈ P and y g ∈ K for all g ∈ G, which implies that (x, y) g = (x g , y g ) ∈ P × K for all g ∈ G. Thus, P × K is a graded ideal of R × S. Conversely, let x ∈ P. Then (x, 0 S ) ∈ P × K, and since P × K is graded, then (x g , 0 S ) = (x, 0 S ) g ∈ P × K for all g ∈ G and x g ∈ P for all g ∈ G. Therefore, P is a graded ideal of R. Similarly, K is a graded ideal of S. Proposition 7. Let R and S be G-graded rings. Then P is a graded 2-prime ideal of R if and only if P × S is a graded 2-prime ideal of R × S.
Proof. Suppose that P is a graded 2-prime ideal of R. By Lemma 4, P × S is a graded ideal of R × S. Let (x, y), (z, w) ∈ h(R × S) such that (x, y)(z, w) ∈ P × S. Then x, z ∈ h(R) and xz ∈ P. Since P is graded 2-prime, we have either x 2 ∈ P or z 2 ∈ P, and then either (x, y) 2 ∈ P × S or (z, w) 2 ∈ P × S. Hence, P × S is a graded 2-prime ideal of R × S. Conversely, by Lemma 4, P is a graded ideal of R. Let x, y ∈ h(R) such that xy ∈ P. Then (x, 1 S ), (y, 1 S ) ∈ h(R × S) such that (x, 1 S )(y, 1 S ) ∈ P × S. Since P × S is graded 2prime, we have either (x, 1 S ) 2 ∈ P × S or (y, 1 S ) 2 ∈ P × S, and then either x 2 ∈ P or y 2 ∈ P. Hence, P is a graded 2-prime ideal of R.
Similarly, one can prove the following: Proposition 8. Let R and S be G-graded rings. Then K is a graded 2-prime ideal of S if and only if R × K is a graded 2-prime ideal of R × S.

Lemma 5. ([3]
, Lemma 4.1) Let R be a graded ring and P be a graded ideal of R. Then (P : a) = {x ∈ R : xa ∈ P} is a graded ideal of R for all a ∈ h(R).

Proposition 9.
Let R be graded ring and P be a graded 2-prime ideal of R. Then (P : a 2 ) is a graded 2-prime ideal of R for all a ∈ h(R) − Grad(P). In particular, Grad((P : a 2 )) = Grad(P).
Proof. Let a ∈ h(R) − Grad(P). Then a 2 ∈ h(R), and then by Lemma 5, (P : a 2 ) is a graded ideal of R. Please note that if a 2 ∈ P (which means that a ∈ Grad(P)), then (P : a 2 ) = R, but we need it to be proper. Therefore, we assume that a / ∈ Grad(P). Let x ∈ (P : a 2 ). Then x g ∈ (P : a 2 ) for all g ∈ G. Therefore, for any g ∈ G, x g a 2 ∈ P. Since P is graded 2-prime and a / ∈ Grad(P); we have x 2 g ∈ P, and then x g ∈ Grad(P), and so x = ∑ g∈G x g ∈ Grad(P).

Lemma 6. ([3]
, Lemma 3.2) Let R be a graded ring, K be a graded ideal of R and P be an ideal of R such that K ⊆ P. Then P is a graded ideal of R if and only if P/K is a graded ideal of R/K.

Proposition 10.
Let R be a graded ring, K be a graded ideal of R and P be an ideal of R such that K ⊆ P. Then P is a graded 2-prime ideal of R if and only if P/K is a graded 2-prime ideal of R/K.

Proof.
Suppose that P is a graded 2-prime ideal of R. By Lemma 6, P/K is a graded ideal of R/K. Let x + K, y + K ∈ h(R/K) such that (x + K)(y + K) ∈ P/K. Then x, y ∈ h(R) such that xy ∈ P. As P is graded 2-prime, then either x 2 ∈ P or y 2 ∈ P, and then either (x + K) 2 ∈ P/K or (y + K) 2 ∈ P/K. Hence, P/K is a graded 2-prime ideal of R/K. Conversely, by Lemma 6, P is a graded ideal of R. Let x, y ∈ h(R) such that xy ∈ P. Then x + K, y + K ∈ h(R/K) such that (x + K)(y + K) ∈ P/K. Since P/K is graded 2prime, we have either (x + K) 2 ∈ P/K or (y + K) 2 ∈ P/K, and then either x 2 ∈ P or y 2 ∈ P. Hence, P is a graded 2-prime ideal of R.
The next example shows that the intersection of two graded 2-prime ideals need not be graded 2-prime.
Example 5. Let R = Z[i] and G = Z 2 . Then R is G-graded by R 0 = Z and R 1 = iZ. One can prove that P = 2R and K = 3R are graded prime ideals of R; and then P and K are graded 2-prime ideals of R. On the other hand, 2, 3 ∈ h(R) such that 2 · 3 ∈ P K with 2 2 / ∈ P K and 3 2 / ∈ P K. Hence, P K is not a graded 2-prime ideal of R.

Graded 2-P-Rings
In this section, we study graded rings in which every graded 2-prime ideal is graded prime.

Definition 4.
Let R be a graded ring. Then R is said to be a graded 2-P-ring if every graded 2-prime ideal of R is graded prime.
A graded ring R is said to be a graded local ring if it contains a unique graded maximal ideal, say X, and it is denoted by (R, X) gr , (see [2]). Lemma 7. Let (R, X) gr be a graded local ring and P be a graded prime ideal of R. Then PX is a graded 2-prime ideal of R, and PX is a graded prime ideal of R if and only if PX = P.
Proof. By ( [5], Lemma 2.1), PX is a graded ideal of R. Let x, y ∈ h(R) such that xy ∈ PX. Then as PX ⊆ P, xy ∈ P. Since P is graded prime, then either x ∈ P or y ∈ P. Suppose that x ∈ P. Since P is proper as it is a graded prime, we have that x is not a unit element, and then x ∈ X. Hence, x 2 ∈ PX. Similarly, if y ∈ P, then y 2 ∈ PX. Hence, PX is a graded 2-prime ideal of R. Now, suppose that PX is a graded prime ideal of R and a ∈ P. Then a g ∈ P for all g ∈ G as P is graded. Since P is proper, for any g ∈ G, a g is not a unit element, so a g ∈ X, and then a 2 g ∈ PX. Since PX is graded prime, we have a g ∈ PX, and then a = ∑ g∈G a g ∈ PX. Hence, PX = P.
Proposition 11. Let (R, X) gr be a graded local ring. If R is a graded 2-P-ring, then R is a graded field.
Proof. Since X is graded maximal; we have that X is a graded prime ideal of R. Apply Lemma 7 with P = X, we conclude that X 2 is a graded 2-prime ideal of R. Since R is graded 2-P; we have that X 2 is a graded prime ideal of R, and then by Lemma 7, X 2 = X. We show that X = {0}. Suppose that X = {0}. Let {x 1 , ..., x n } be a minimal homogeneous generating set for X. Since x 1 ∈ X 2 , there exist y 1 , ..., y n ∈ X such that (1 − y 1 )x 1 = y 2 x 2 + ... + y n x n . But since y 1 ∈ X and X is graded maximal, 1 − y 1 is a unit element of R with inverse, say u. Hence, uy i x i . Therefore, X is generated by {x 2 , ..., x n }, which is a contradiction. Thus, X = {0}, which implies that {0} is the only graded maximal ideal of R. Therefore, R is a graded field.
First strongly graded rings have been introduced and studied in [15]; a G-graded ring R is said to be first strong if 1 ∈ R g R g −1 for all g ∈ supp(R, G), where supp(R, G) = g ∈ G : R g = {0} . In fact, it has been proved that R is first strongly G-graded if and only if supp(R, G) is a subgroup of G and R g R h = R gh for all g, h ∈ supp(R, G). We introduce the following: Lemma 8. Every G-graded field is first strongly graded.
Proof. Let R be a G-graded field. Suppose that g ∈ supp(R, G). Then R g = {0}, and then there exists 0 = x ∈ R g . Since R is a graded field, we conclude that there exists y ∈ h(R) such that xy = 1. Since y ∈ h(R), y ∈ R h for some h ∈ G, and then 1 = xy ∈ R g R h ⊆ R gh . Therefore, 0 = 1 ∈ R gh R e , which implies that gh = e, i.e., h = g −1 . Hence, 1 = xy ∈ R g R g −1 , and thus R is first strongly graded.
Corollary 2. Let (R, X) gr be a graded local ring. If R is a graded 2-P-ring, then R is first strongly graded.

Proposition 12.
Let (R, X) gr be a graded local ring. If R is a graded 2-P-ring, then PX = K, for every minimal graded prime ideal K over an arbitrary graded 2-prime ideal P.
Proof. Let K be a minimal graded prime over a graded 2-prime ideal P. Then P is graded prime and K = P. By Lemma 7, PX is graded 2-prime and hence PX is graded prime. Again, by Lemma 7, PX = P, as desired.
The next proposition shows that the converse of Proposition 12 is true when R is Z-graded. Proposition 13. Let (R, X) gr be a Z-graded local ring. If PX = K, for every minimal graded prime ideal K over an arbitrary graded 2-prime ideal P, then R is a graded 2-P-ring.
Proof. Let P be a graded 2-prime ideal of R. By Proposition 4, K = Grad(P) is a graded prime ideal of R such that P ⊆ K. Since PX = K, we deduce that K = PX ⊆ P X = P, and so P = K is graded prime, as needed.

Proposition 14.
Let R be a graded 2-P-ring. Then P 2 = P, for every graded prime ideal P of R.
Proof. Let P be a graded prime ideal of R. By Proposition 5, P 2 is a graded 2-prime ideal of R. Since R is a graded 2-P-ring, P 2 is a graded prime ideal of R. Let x ∈ P. Then x g ∈ P for all g ∈ G as P is graded. Therefore, for any g ∈ G, x 2 g ∈ P 2 , and since P 2 is graded prime; we have x g ∈ P 2 , and then x = ∑ g∈G x g ∈ P 2 . Therefore, P ⊆ P 2 ⊆ P. Hence, P 2 = P.

Definition 5.
Let R be a graded ring, K be a graded ideal of R and P be a graded 2-prime ideal of R. Then P is said to be a minimal graded 2-prime ideal over K if there is not a graded 2-prime ideal Q of R such that K ⊆ Q ⊂ P. We denote the set of all minimal graded 2-prime ideals over K by 2-Min gr (K). The set of all minimal graded prime ideals over K was denoted by Min gr (K).
Proposition 15. Let (R, X) gr be a graded local ring, K be a graded prime ideal of R contains P and assume that (Grad(P)) 2 ⊆ P, for every graded 2-prime ideal P of R. If PX = K for every graded ideal P ∈ 2-Min gr (K 2 ) and K ∈ Min gr (P), then P = K for every graded ideal P ∈ 2-Min gr (K 2 ) with P ⊆ K.
Proof. Let P ∈ 2-Min gr (K 2 ) with P ⊆ K. First, we show that K ∈ Min gr (P). Assume that there exists a graded prime ideal Q of R such that P ⊆ Q ⊆ K. Clearly, K 2 ⊆ P ⊆ Q ⊆ K. Let x ∈ K. Then x g ∈ K for all g ∈ G as K is graded. Therefore, for any g ∈ G, x 2 g ∈ K 2 , and hence, x 2 g ∈ Q. Since Q is graded prime, we have x g ∈ Q for all g ∈ G, and then x ∈ Q.
Therefore, K = Q, as desired. Clearly, PX ⊆ P ⊆ K. Now, by assumption, PX = K, and so P = K.
The next proposition shows that the converse of Proposition 15 is true when R is Z-graded.
Proposition 16. Let (R, X) gr be a Z-graded local ring, K be a graded prime ideal of R and assume that (Grad(P)) 2 ⊆ P, for every graded 2-prime ideal P of R. If P = K for every graded ideal P ∈ 2-Min gr (K 2 ) with P ⊆ K, then PX = K for every graded ideal P ∈ 2-Min gr (K 2 ) and K ∈ Min gr (P).
Proof. Let P ∈ 2-Min gr (K 2 ) and K ∈ Min gr (P). Since Grad(P) is a graded prime ideal of R by Proposition 4 and since K ∈ Min gr (P), we conclude that P = K. Hence, by assumption, (Grad(P)) 2 = K 2 ⊆ P ⊆ K. Thus, by assumption, P = K. Since K 2 ⊆ KX ⊆ P = K and KX is graded 2-prime by Lemma 7, we conclude that KX = PX = K.

Conclusions
In this article, we introduced the concept of graded 2-prime ideals as a generalization of graded prime ideals. We proved that graded 2-prime ideals and graded semi-prime ideals are completely different. Furthermore, we proved that graded 2-prime ideals and graded weakly prime ideals are totally different. Several properties of graded 2-prime ideals have been investigated. Graded rings in which every graded 2-prime ideal is graded prime have been investigated. Moreover, we introduced the concept of graded semi-primary ideals. We proved that every graded 2-prime ideal is graded semi-primary. However, we proved that the converse is not true in general. In fact, we proved that graded semi-primary, graded 2-prime and graded primary ideals are equivalent over Z-graded principal ideal domain. As a proposal of further work on the topic, we are going to extend the concept of graded 2-prime ideals into graded 2-prime R-submodules. We will try to introduce and study the concept of graded 2-prime R-submodules as a generalization of graded prime R-submodules. Also, we will investigate the properties of graded 2-prime submodules and try to study them in special graded modules such as graded multiplication modules.
Author Contributions: Both authors have: 1. substantial contributions to conception and design of the manuscript; 2. Drafting the article and revising it critically for important intellectual content; 3. Final approval of the version to be published. All authors have read and agreed to the published version of the manuscript.

Funding:
The study received no financial fund from any source.

Informed Consent Statement: Not applicable.
Data Availability Statement: Not applicable.