Groups in Polygroups

In this paper, we consider the fundamental relation B* as the smallest equivalence relation on a poly group P such that the quotient P/B*, the set of all equivalence classes, is a group. the quotient P/B* is called the fundamental group. We give some interesting results about the fundamental groups.