m e = m ⇒ = ⇒ e = or m = . But m is an arbitrary integer and hence need not be equal to . So the only possibility is e = . Also m ∗ = ∗ m , ∀ .
Hence is the identity element and hence the existence of identity is assured. (v) An element ′∈ is to be found such that m m ∗