Definition. A binary operation on a set X is a function .
In other words, a binary operation takes a pair of elements of X and produces an element of X.
It's customary to use infix notation for binary operations. Thus, rather than write for the binary operation acting on elements , you write . Since all those letters can get confusing, it's also customary to use certain symbols --- +, , --- for binary operations. Thus, becomes (say) or or .
Example. Addition is a binary operation on the set of integers: For every pair of integers m, n, there corresponds an integer .
Multiplication is also a binary operation on the set of integers: For every pair of integers m, n, there corresponds an integer .
However, division is not a binary operation on the set of integers. For example, if I take the pair , I can't perform the operation . A binary operation on a set must be defined for all pairs of elements from the set.
Likewise,
does not define a binary operation on . In this case, I don't have a function , since the output is ambiguously defined. (Is equal to 6? Or is it 117?)
When a binary operation occurs in mathematics, it usually has properties that make it useful in constructing abstract structures.
Definition. Let be a binary operation on a set X.
For instance, in abstract algebra you will learn about groups. A group is a set G with a binary operation which is associative, has an identity element, and such that every element has an inverse.
Example. Addition is a binary operation on .
It is associative, since
It is commutative, since
0 is an identity for +, since
If , then is an inverse for a with respect to addition:
Example. Subtraction is a binary operation on .
It is not associative; for example,
It is not commutative; for example,
There is no identity element for subtraction. Suppose that e was an identity element. Then
But I'd also have
e can't be both 4 and 26, so this contradiction shows that there is no such e.
Since there is no identity element, it makes no sense to ask whether there are inverses.
Example. Consider the binary operation on given by
Therefore, is associative.
Since
is commutative.
To see if has an identity, I'll work backwards to guess a possible identity. Then I'll check that my guess works.
Suppose e is the identity. Then for all x, so for all x. Solving for e, I get . Therefore, I {\it guess} that 3 is the identity.
Next, I'll confirm my guess by checking the axiom. Let . Then
Therefore, 3 is the identity.
Next, I'll work backwards to guess a formula for the inverse of an element. Let . Then the inverse must satisfy , since 3 is the identity. Therefore, , so . Therefore, I guess that is the inverse of x.
Next, I'll confirm my guess by checking the axiom. Let . Then
Therefore, is the inverse of x, and every element has an inverse.
Many mathematical structures which arise in algebra involve one or two binary operations which satisfy certain axioms.
Definition.
Example. , , , and are groups under the usual addition operations.
, , , and are semigroups under the usual multiplication operations. They aren't groups, because all of them contain 0, which does not have a multiplicative inverse.
Example. I saw above that the binary operation on given by
makes into a group. Note that this operation is different from the addition operation: A given set can be made into a group in many ways.
Example. ( A binary operation on loops) Take a subset X of and pick a point P as the basepoint. Consider the set of loops which start and end at P.
To be precise, a loop is a continuous function such that and . Think of the parametrized curves you saw in calculus, for example.
Define an operation on loops by taking loops a and b and letting be the loop formed by going around a, then going around b.
Since both a and b start and end at P, the result is a loop starting and ending at P.
The precise definition of is as follows. If , then
This traces out a as t goes from 0 to , then traces out b as t goes from to 1.
This gives a binary operation on the set of loops. Unfortunately, it isn't quite associative as is. If you have 3 loops a, b, and c, then will trace out a for , b for , and c for . On the other hand, will trace out a for , b for , and c for .
I could fix this problem by considering equivalence classes of loops instead of loops. Define two loops to be equivalent if they have the same image --- that is, if they "trace out the same curve". The operation above is still defined on equivalence classes of loops, and becomes an associative operation. In fact, it has an identity element, namely the loop which consists of the point P alone.
Thus, the set of equivalence classes of loops with this operation is a semigroup.
In order to make the set into a group, I need a different equivalence relation called loop homotopy. Roughly speaking, two loops will be homotopic if one can be continuously deformed into the other with X, such that the starting and ending point P doesn't move during the deformation. The resulting group is called the fundamental group of X; it is studied in a branch of mathematics called algebraic topology.
Copyright 2006 by Bruce Ikenaga