Po-πͺ-Ideals in Po-πͺ-Semigroups
V. B. Subrahmanyeswara Rao Seetamraju Β· IOSR Journal of Mathematics Β· 2012
In this paper the terms; a completely prime po-Ξ-ideal, c-system,a prime po-Ξ-ideal, m-system of a po-πͺ-semigroup are introduced.It is proved that every po-πͺ-subsemigroup of a po-πͺ-semigroup is a c-system.It is also proved that a po-πͺ-ideal P of a po-πͺ-semigroup S is completely prime if and only if S\P is either a c-system or empty.It is proved that if P is a po-Ξ-ideal of a po-Ξ-semigroup S, then the conditions (1) if A, B are po-Ξ-ideals of S and AΞBβP then either AβP or BβP, (2) if a, b β S such that aΞS 1 Ξb β P, then either a β P or b β P, are equivalent.It is proved that every completely prime po-πͺ-ideal of a po-πͺ-semigroup S is a prime po-πͺ-ideal of S. It is also proved that in a commutative po-πͺ-semigroup S, a po-πͺ-ideal P is a prime po-πͺ-ideal if and only if P is a completely prime po-πͺ-ideal.Further it is proved that a po-πͺ-ideal P of a po-πͺ-semigroup S is a prime po-πͺ-ideal of S if and only if S\P is an m-system or empty.In a globally idempotent po-Ξ-semigroup, it is proved that every maximal po-Ξ-ideal is a prime po-Ξ-ideal.It is also proved that a globally idempotent po-Ξ-semigroup having a maximal po-Ξ-ideal, contains semisimple elements.The terms completely semiprime po-Ξ-ideal,a semiprime po-Ξ-ideal, n-system, d-system are introduced.It is proved that (1) every completely semiprime po-Ξ-ideal of a po-Ξ-semigroup is a semiprime po-Ξ-ideal, (2) every completely prime po-Ξ-ideal of a po-Ξ-semigroup is a completely semiprime po-Ξ-ideal.It is also proved that the nonempty intersection of any family of (1) completely prime po-Ξ-ideals of a po-Ξ-semigroup is a completely semiprime po-Ξ-ideal, (2) prime po-Ξ-ideals of a po-Ξ-semigroup is a semiprime po-Ξ-ideal.It is also proved that a po-Ξ-ideal Q of a po-Ξ-semigroup S is a semiprime iff S\Q is either an n-system or empty.Further it is proved that if N is an n-system in a po-Ξ-semigroup S and a β N, then there exists an m-system M of S such that a β M and M β N. Mathematics Subject Clasification (2010) : 06F05, 06F99, 20M10, 20M99 Keywords: A po-Ξ-semigroup, po-Ξ-ideal, prime po-Ξ-ideal, a completely prime po-Ξ-ideal,a completely semiprime po-Ξ-ideal, a semiprime po-Ξ-ideal, po-c-system, po-d-system, po-m-system, po-n-system. I .