A groupoid
S
is called an AbelGrassmann's
groupoid, abbreviated as an
AG-groupoid, if its elements satisfy the left
invertive law [1, 2], that is:
for all
Several examples and interesting properties
of AG-groupoids can be found in [3], [4],
[5] and [6]. It has been shown in [3] that if
an AG-groupoid contains a left identity then
it is unique. It has been proved also that an
AG-groupoid with right identity is a
commutative monoid, that is, a semigroup
with identity element. It is also known [2]
that in an AG-groupoid
S , the medial law,
that is,
for all holds. An AG-groupoid
is called AG-3-band [7] if its every
element satisfies
Now we define the concepts that we
will used. Let be an AG-groupoid. By an
AG-subgroupoid of [8], we means a nonempty
subset of such that A
non-empty subset of an AG-groupoid
is called a left (right) ideal of [7] if
( ). By two-sided ideal or
simply ideal, we mean a non-empty subset
of an AG- groupoid which is both a left
and a right ideal of A proper ideal of
an AG-groupoid is called prime [8] if
AB P
implies that either
A P
or
B P
, for all ideals
A
and
B
in
S
. A
proper left ideal of an AG-groupoid is
called quasi prime [8] if
AB P
implies
that either
A P
or
B P
, for all left
ideals
A
and
B
in
S
. It is easy to see that
every quasi prime ideal is prime.
In this paper we characterize the
AG-groupoid. We investigate relationships
between prime and quasi prime ideals in
AG-groupoids. Finally, we obtain necessary
and sufficient conditions of a prime ideal to
be a quasi prime ideal in AG-groupoids