माना कि N पर `a **b=LCM(a , b)` सभी `a, b in N` द्वारा प्रदत्त द्विआधारी संक्रिया `**` है।
N में तत्समक अवयव निकालें।

Explanation

माना कि e तत्समक अवयव है।
तो, `a ** e = a = e ** a ` सभी `a in N ` के लिए
`rArr a ** e = a ` सभी `a in N ` के लिए
`rArr L.C.M. (a , e )= a ` सभी ` a in N ` के लिए
`rArr e = 1 `
अतः 1 , N में तत्समक अवयव है।