All submissions of the EM system will be redirected to Online Manuscript Submission System. Authors are requested to submit articles directly to Online Manuscript Submission System of respective journal.

Original Article

, Volume: 15( 4)

Structure of M (I): Ternary Gamma-Semigroups

*Correspondence:
Madhusudhana Rao D, Associate Professor, Department of Mathematics, VSR & NVR college, Tenali, Guntut (Dt), Andhra Pradesh, India, Tel: 9440358718; E-mail: dmrmaths@gmail.com

Received: October 25, 2017; Accepted: November 20, 2017; Published: November 23, 2017

Citation: Vasantha M, Madhusudhana Rao D. Structure of M (I): Ternary Gamma-Semigroups. Int J Chem Sci. 2017;15(4):224

Abstract

The terms, ‘I-dominant’, ‘left I-divisor’, ‘right I-divisor’, ‘I-divisor’ elements, ‘M (I)-ternary Γ-semigroup’ for a ternary Γ-ideal I of a ternary Γ-semigroup are introduced and we characterized M (I)-ternary gamma semigroups.

Keywords

Completely prime ternary Γ -ideal; I-dominant element; I-dominant ternary Γ-ideal; I-divisor; M (I)-ternary Γ -semigroup

Introduction

In [1] introduced the concepts of A-potent elements, A-divisor elements and N (A)-semigroups for a given ideal A in a semigroup and characterized N (A)-semigroups for a pseudo symmetric ideal A. He proved that if M is a maximal ideal containing a pseudo symmetric ideal A, then either M contains all A-dominant elements or M is trivial. In this paper we extent these notions and results to M (I)-ternary Γ-semigroups.

Experimental

Preliminaries

Definition 2.1: Let T and Γ be two non-empty set. Then T is said to be a Ternary Γ-semigroup if there exist a mapping from T × Γ × T × Γ × T to T which maps (x1,α,x2,β,x3) → [x1αx2βx3] satisfying the condition:Equation ∀ xi ∈ T 1≤ i ≤ 5 and α,β,γ,δ∈Γ. A nonempty subset A of a ternary Γ-semigroup T is said to be ternary Γ-ideal of T if b,c∈T, α,β∈Γ, a∈A implies bαcβa∈ A,bαaβc∈ A,aαbβc∈ A. A is said to be a completely prime Γ-ideal of T provided x, y, z ∈ T and xΓyΓz ⊆A implies either x∈ A or y∈A or z∈ A. and A is said to be a prime Γ-ideal of T provided X,Y,Z are Ternary Γ-ideal of T and XΓYΓZ⊆A⇒X⊆A or Z⊆A. A ternary Γ-ideal A of a ternary Γ-semigroup T is said to be a completely semiprime Γ-ideal provided Equation for some odd natural number n>1 implies Equation Similarly, A ternary Γ-ideal A of a ternary Γ-semigroup T is said to be semiprime ternary Γ-ideal provided X is a ternary Γ- ideal of T and Equation for some odd natural number n implies X ⊆ A [2-6].

Definition 2.2: A ternary Γ-ideal I of a ternary Γ-semigroup T is said to be pseudo symmetric provided x, y, z ∈T, Equation I impliesEquation for all s, t ∈T and I is said to be semi pseudo symmetric provided for any odd natural number n,x∈T,Equation

Theorem 2.3: Let I be a semi-pseudo symmetric ternary Γ-ideal of a ternary Γ-semigroup T. Then the following are equivalent.

1) I1=The intersection of all completely prime ternary Γ-ideals of T containing I.

2) I11 =The intersection of all minimal completely prime ternary Γ-ideals of T containing I.

3) 111I =The minimal completely semiprime ternary Γ-ideal of T relative to containing I.

4) I2={x ∈ T: (xΓ)n-1 x ⊆I for some odd natural number n}

5) I3=The intersection of all prime ternary Γ-ideals of T containing I.

6) I31 =The intersection of all minimal prime ternary Γ-ideals of T containing I.

7) I113 =The minimal semiprime ternary Γ-ideal of T relative to containing I.

8) I4={x ∈ T: (<x>Γ)n-1< x > ⊆ I for some odd natural number n}.

Theorem 2.4: If I is a ternary Γ-ideal of a semi simple ternary Γ-semigroup T, then the following are equivalent. 1) I is completely semiprime.

2) I is pseudo symmetric.

3) I is semi-pseudo symmetric.

Results and Discussion

M (i)-ternary gamma-semigroup

We now introduce the terms I-dominant element and I-dominant ternary Γ-ideal for a ternary Γ-ideal of a ternary Γ- semigroup [7].

Definition 3.1: Let I be a ternary Γ-ideal in a Ternary Γ-semigroup T. An element x∈T is said to be I-dominant provided there exists an odd natural number n such that Equation A ternary Γ-ideal J of T is said to be I-dominant ternary Γ- ideal provided there exists an odd natural number n such that Equation

Note 3.2: If I is a ternary Γ-ideal of a ternary Γ-semigroup T, then every element of I is a I-dominant element of T and I itself an I-dominant ternary Γ-ideal of T.

Definition 3.3: Let I be a ternary Γ-ideal of a ternary Γ-semigroup T. An I-dominant element x is said to be a nontrivial Idominant element of T if x ∉ I.

Notation 3.4: Mo (I)=The set of all I-dominant elements in T.

M1 (I)=The largest ternary Γ-ideal contained in Mo (I).

M2 (I)=The union of all I-dominant ternary Γ-ideals.

Theorem 3.5: If I is a ternary Γ-ideal of a ternary Γ-semigroup T, the Equation

Proof: Since I is itself an I-dominant ternary Γ-ideal, and M2 (I) is the union of all I-dominant ternary Γ-ideals. Therefore, I⊆M2 (I). Let Equationbelongs to at least one I-dominant ternary Γ-ideals Equation is an I-dominant element. Hence, x∈M0 (I). Therefore,Equation Clearly M2 (I) is a ternary Γ-ideal of T. Since M1 (I) is the largest ternary Γ-ideal contained in Mo (I), we have Equation Hence,Equation

Theorem 3.6: If I is a ternary Γ-ideal in a ternary Γ-semigroup T, then the following are true.

1. M0 (I)=I2.

2. M1 (I) is a semiprime ternary Γ-ideal of T containing I.

3. M2 (I)=I4.

Proof: (1) Mo (I)=The set of all I-dominant elementsEquation

(2) Suppose that Equation for some odd natural number n. Suppose, if possible Equation M1 (I), < x > are the ternary Γ-ideals implies Equation is a ternary Γ-ideal. Since M1 (I) is the largest ternary Γ-ideal in M0 (I), We haveEquation Hence, there exists an element y such thatEquation NowEquation for some odd natural number Equation It is a contradiction. Therefore, x ∈ M1 (I). Hence, M1 (I) is a semiprime ternary Γ-ideal of T containing I.

(3) Let x∈M2 (I). Then there exists an I-dominant ternary Γ-ideal J such that x∈J.

J is I-dominant ternary Γ-ideal implies there exists an odd natural number n such that EquationEquation for some oddEquation Therefore,EquationEquation for some odd n∈ N. So < x > is an I-dominant ternary Γ-ideal in T and hence,EquationEquation Therefore,Equation Hence,Equation It is natural to ask whether M1 (I)=I3. This is not true.

Example 3.7: In the free ternary Γ-semigroup T over the alphabet x, y, z. For the ternary Γ-ideal EquationEquation andEquation ButEquation is a prime ternary Γ-ideal, let I, J, K are three ternary Γ-ideals of T such that Equation implies all words containingEquationor all words containing Equation or all words containingEquation orEquation Therefore,Equation is a prime ternary Γ-ideal. We have Equation so Equation Therefore, we can remark that the inclusions in Equation may be proper in an arbitrary ternary Γ-semigroup [8-11].

Theorem 3.8: If I is a semi pseudo symmetric ternary Γ-ideal in a ternary Γ-semigroup T, then M0 (I)=M1 (I)=M2 (I).

Proof: Suppose I is a semi pseudo symmetric ternary Γ-ideal in a ternary Γ-semigroup T. By theorem 3.7, M0 (I)=I2 and M2 (I)=I4. Also by theorem 2.10, we have I2=I4. Hence, M0 (I)=M2 (I). By the theorem 3.5, Equation We haveEquation Now let Equation Therefore,Equation Hence,Equation Therefore,Equation

Theorem 3.9: For any semi pseudo symmetric ternary Γ-ideal I in a ternary Γ-semigroup T, a nontrivial I-dominant element Equation cannot be semi simple [12,13].

Proof: Since x is a nontrivial I-dominant element, there exists an odd natural number n such that Equation Since I is semi pseudo symmetric ternary Γ-ideal, we have Equation If x is semi simple, thenEquationEquation and hence,Equation this is a contradiction. Thus, x is not semi simple.

Theorem 3.10: If I is a ternary Γ-ideal in a ternary Γ-semigroup T, such that M0 (I)=I, then I is a completely semiprime ternary Γ-ideal and I is a pseudo symmetric ternary Γ-ideal.

Proof: Let Equation andEquation SinceEquation Thus, there exists an odd natural number n such thatEquation Therefore, I is a completely semiprime ternary Γ-ideal. By corollary 2.11, A is pseudo symmetric ternary Γ-ideal. Hence, I is completely semiprime and pseudo symmetric ternary Γ-ideal.

Theorem 3.11: If I is a semi pseudo symmetric ternary Γ-ideal of a ternary semi simple Γ-semigroup then I=M0 (I).

Proof: Clearly, Equation LetEquation If Equation then x is a nontrivial I-dominant element. By theorem 3.9, x cannot be semi simple. It is a contradiction. Therefore, Equation and hence,Equation ThusEquation

We now introduce a left I-divisor element, lateral I-divisor element, right, I-divisor element and I-divisor element corresponding to a ternary Γ-ideal A in a ternary Γ-semigroup.

Definition 3.12: Let I be a ternary Γ-ideal in a ternary Γ-semigroup T. An element Equation is said to be a left I-divisor (a lateral I-divisor, right I-divisor) provided there exist two elements Equation such thatEquation

Definition 3.13: Let I be a ternary Γ-ideal in a ternary Γ-semigroup T. An element x∈T is said to be two-sided A-divisor if x is both a left I-divisor and a right, I-divisor element.

Definition 3.14: Let I be a ternary Γ-ideal in a ternary Γ-semigroup T. An element x∈T is said to be I-divisor if a is a left Idivisor, a lateral I-divisor and a right, I-divisor element.

We now introduce a left I-divisor ternary Γ-ideal, lateral I-divisor ternary Γ-ideal, right I-divisor ternary Γ-ideal and I-divisor ternary Γ-ideal corresponding to a ternary Γ-ideal I in a ternary Γ-semigroup.

Definition 3.15: Let I be a ternary Γ-ideal in a ternary Γ-semigroup T. A ternary Γ-ideal J in T is said to be a left I-divisor ternary Γ-ideal (lateral I-divisor ternary Γ-ideal, right I-divisor ternary Γ-ideal, two sided I-divisor ternary Γ-ideal) provided every element of J is a left I-divisor element (a lateral I-divisor element, a right I-divisor element, it is both a left I-divisor ternary Γ-ideal and a right I-divisor ternary Γ-ideal).

Definition 3.16: Let I be a ternary Γ-ideal in a ternary Γ-semigroup T. A ternary Γ-ideal J in T is said to be I-divisor ternary Γ-ideal provided if it is a left I-divisor ternary Γ-ideal, a lateral I-divisor ternary Γ-ideal and a right I-divisor ternary Γ-ideal of a ternary Γ-semigroup T.

Notation 3.17: Rl (I)=The union of all left I-divisor ternary Γ-ideals in T.

Rr (I)=The union of all right I-divisor ternary Γ-ideals in T.

Rm (I)=The union of all lateral I-divisor ternary Γ-ideals in T.

Equation We call R (I), the divisor radical of T.

Theorem 3.18: If I is any ternary Γ-ideal of a ternary Γ-semigroup T, then Equation

Proof: Let Equation SinceEquation we haveEquation for some odd natural number n. Let n be the least odd natural number such that Equation If n=1 then x∈I and hence, Equation

If n >1, then Equation whereEquation

Hence, x is an I-divisor element. Thus, Equation Therefore,Equation

Theorem 3.19: If I is a ternary Γ-ideal in a ternary Γ-semigroup T, then R (I) is the union of all I-divisor ternary Γ-ideals in T.

Proof: Suppose I is a ternary Γ-ideal in a ternary Γ-semigroup T.

Let J be I-divisor ternary Γ-ideal in T. Then J is a left I-divisor, a lateral I-divisor and a right I-divisor ternary Γ-ideal in T. Thus Equation andEquation

Equation

Therefore, R (I) contains the union of all I-divisor ternary Γ-ideals in T. Let Equation ThenEquation SoEquation

Hence, Equation is I-divisor ternary Γ-ideal. So, R (I) is contained in the union of all divisor ternary Γ-ideals in T. Thus R (I) is the union of all divisor ternary Γ-ideals of T.

Corollary 3.20: If I is a pseudo symmetric ternary Γ-ideal in a ternary Γ-semigroup T, then R (I) is the set of all I-divisor elements in T.

Proof: Suppose I is a pseudo symmetric ternary Γ-ideal in T. Let x be I-divisor element in T. ThenEquation where y, zEquation I is pseudo symmetric

Equation is I-divisor ternary Γ-ideal Equation

Equation Hence, R (I) is the set of all I-divisor elements in T. We now introduce the notion of M (I)-ternary Γ- semigroup.

Definition 3.21: Let I be a ternary Γ-ideal in a ternary Γ-semigroup T. T is said to be a M (I)-ternary Γ-semigroup provided every I-divisor is I-dominant.

Notation 3.22: Let T be a ternary Γ-semigroup with zero. If I={0}, then we write R for R (I) and M for M0 (I) and M-ternary Γ-semigroup for M (I)-ternary Γ-semigroup.

Theorem 3.23: If T is an M (I)-ternary Γ-semigroup, then R (I)=M1 (I).

Proof: Suppose T is an M (I)-ternary Γ-semigroup. By theorem 3.18, Equation

Let Equation is an I-divisorEquation is an I-dominantEquation

Hence, Equation

Theorem 3.24: Let I be a semipseudo symmetric ternary Γ-ideal in a ternary Γ-semigroup T. Then T is an M (I)-ternary Γ- semigroup iff R (I)=M0 (I).

Proof: Since I is a semi-pseudo symmetric ternary Γ-ideal, by theorem 3.8, M0 (I)=M1 (I)=M2 (I). If Tan M (I)-ternary Γ- semigroup, then by theorem 3.23, R (I)=M1 (I). Hence, R (I)=N0 (I). Conversely suppose that R (I)=M0 (I). Then clearly every I-divisor element is an I-dominant element. Hence, T is an M (I)-ternary Γ-semigroup.

Corollary 3.25: Let I be a pseudo symmetric ternary Γ-ideal in a ternary Γ-semigroup T. Then T is an M (I)-ternary Γ- semigroup if and only if R (I)=M0 (I).

Proof: Since every pseudo symmetric ternary Γ-ideal is a semi-pseudo symmetric ternary Γ-ideal, by theorem 3.24, R (I)=M0 (I).

Corollary 3.26: Let T be a ternary Γ-semigroup with 0 and < 0 > is a pseudo symmetric ternary Γ-ideal. Then R=M iff T is an M-ternary Γ-semigroup.

Proof: The proof follows from the theorem 3.24.

Theorem 3.27: If N is a maximal ternary Γ-ideal in a ternary Γ-semigroup T containing a pseudo symmetric ternary Γ-ideal I, then N contains all I-dominant elements in T or T\N is singleton which is I-dominant.

Proof: Suppose N does not contain all I-dominant elements.

Let Equation be any I-dominant element and y be any element in T\N.

Since N is a maximal ternary Γ-ideal, Equation

Since Equation we have Equation Let n be the least positive odd integer such that Equation Since I is a pseudo symmetric ternary Γ-ideal then I is a semipseudo symmetric ternary Γ-ideal and hence, Equation

Therefore Equation and hence, y is I-dominant element. Thus, every element in T\N is I-dominant.

Similarly, we can show that if m is the least positive odd integer such that Equation Therefore, there exists an odd natural number p such thatEquation for allEquation

Let x, y, z ∈ T\N. Since N is maximal ternary Γ-ideal, we have Equation

So Equation So Equation and hence, x ∈ sΓyΓt for some s, t ∈ T1. Now since I is a pseudo symmetric ternary Γ-ideal,

we have, Equation If y ≠ x then s, t ∈ T. If s, t ∈ N then Equation

Which is not true. In both the cases we have a contradiction. Hence, x=y.

Similarly, we show that z=x.

Corollary 3.28: If N is a nontrivial maximal ternary Γ-ideal in a ternary Γ-semigroup T containing a pseudo symmetric ternary Γ-ideal I. Then M0 (I) ⊆N.

Proof: Suppose in Equation Then by above theorem 3.27, N is trivial ternary Γ-ideal. It is a contradiction. Therefore, M0 (I) ⊆N.

Corollary 3.29: If N is a maximal ternary Γ-ideal in a semi simple ternary Γ-semigroup T containing a semipseudo symmetric ternary Γ-ideal I. Then M0 (I) ⊆N.

Proof: By theorem 3.11, I is pseudo symmetric ternary Γ-ideal. If Equation is I-dominant, then x cannot be semi simple. It is a contradiction. Therefore, M0 (I) ⊆ N.

Conclusion

According to theorem 3.11, I is pseudo symmetric ternary Γ-ideal. If x ∈ T\N is I-dominant, then x cannot be semi simple. Hence, is a contradiction. Therefore, M0 (I) ⊆ N.

References

Google Scholar citation report
Citations : 9398

International Journal of Chemical Sciences received 9398 citations as per Google Scholar report

Indexed In

  • Google Scholar
  • Open J Gate
  • China National Knowledge Infrastructure (CNKI)
  • Cosmos IF
  • Geneva Foundation for Medical Education and Research
  • ICMJE

View More