Abstract
Throughout this paper, S will denote a finite semigroup and Z+ the set of positive integers. E = E(S) denotes the set of idempotents of S. Let . If , then let AB = {ab| aA, bB}. has been studied by many authors, including [2, 3, 5, 6, 7]. If X is a set, then |X| denotes the cardinality of X. For undefined terms in this paper, see [1,4].THEOREM 1. Let I be an ideal of S, a subgroup of . Then has a normal subgroups such that is isomorphic to a subgroup of and is isomorphic to a subgroup of .

This publication has 0 references indexed in Scilit: