Binary Operation

What it is

A binary operation ∗* on a set SS takes any two elements of SS and combines them into an element of SS (closure). An identity element ee leaves every element unchanged: a∗e=e∗a=aa*e = e*a = a. An inverse of aa is an element bb with a∗b=b∗a=ea*b = b*a = e.

Worked example: not a binary operation

Is subtraction a binary operation on the natural numbers? No: 2−5=−32 - 5 = -3 is not a natural number, so subtraction isn't closed on N\mathbb{N}. It is a binary operation on the integers.

Worked example: identity and inverse

Find the identity element for a∗b=ab4a*b = \dfrac{ab}{4} on the nonzero rationals, and the inverse of each element.

Identity: a∗e=a⇒ae4=a⇒e=4a*e = a \Rightarrow \dfrac{ae}{4} = a \Rightarrow e = 4, and e∗a=4a4=ae*a = \dfrac{4a}{4} = a too.

Inverse: a∗b=4⇒ab4=4⇒b=16aa*b = 4 \Rightarrow \dfrac{ab}{4} = 4 \Rightarrow b = \dfrac{16}{a}. For example, the inverse of 3 is 163\dfrac{16}{3}: 3∗163=164=43 * \dfrac{16}{3} = \dfrac{16}{4} = 4.

Worked example: commutative vs associative

For real numbers, a∗b=1+aba*b = 1+ab. Since ab=baab = ba, it is commutative. For associativity:

(a∗b)∗c=1+(1+ab)c=1+c+abc,a∗(b∗c)=1+a(1+bc)=1+a+abc(a*b)*c = 1+(1+ab)c = 1+c+abc, \qquad a*(b*c) = 1+a(1+bc) = 1+a+abc

These differ by c−ac - a, so they agree only when a=ca = c. The operation is commutative but not associative.

Counting binary operations

On a set with nn elements, a binary operation assigns one of nn results to each of the n2n^2 ordered pairs, so there are nn2n^{n^2} binary operations. With n=2n = 2 that's 24=162^4 = 16; with n=3n = 3 it's 39=196833^9 = 19683.

Common mistakes

  • Skipping closure. Check that every result lands back in the set before anything else.
  • Checking identity on one side only. Both a∗ea*e and e∗ae*a must equal aa (they agree automatically only if the operation is commutative).
  • Concluding associativity from a few numbers. One counterexample disproves it; proving it needs the general algebra.

Where this comes up in exams

Binary operations aren't listed in the 2025-26 CBSE Class XII syllabus, the JEE Main 2026 syllabus or the JEE Advanced 2026 syllabus, which were checked for this page. The ideas here (closure, identity, inverse, commutativity, associativity) are still useful background for relations, functions and matrices.

Checked against CBSE Mathematics curriculum, Classes XI-XII (2025-26), JEE (Main) 2026 syllabus (NTA) and JEE (Advanced) 2026 syllabus. Syllabi can change from year to year, so confirm with the latest official notification for your exam.

Continue learning

Checking properties like commutativity here is the same kind of check used on relations and functions.