The concept of a binary operation on a nonempty set has already been explained in the previous. One may recall that a binary operation on a nonempty set A is just a function *:A x A → A so, for each (a, b) in A x A, * associates an element *(a, b) of A. We shall denote *(a, b) by a * b. If A is a nonempty set with a binary operation *, then A is said to be closed under *. DEFINAITIONS AND EXAMPLES A pair (G, *), where G is a nonempty set and * is a binary operation on G, is called a group if the following conditions called axioms of a group, are satisfied in G: (1) The binary operation * is associative. That is, (a * b) * c = a *(b*c) for all a, b, c, are belong to G (2) There is an element e in G such that a*e = e*a = a for all a belong to G e is called the identity element of G. (3) For each a belong to G, there is an a. Note: Use of word the before identity element and inverse of an e