Encyclopedia > Binary operation

  Article Content

Binary operation

In mathematics, a binary operation, or binary operator, is a calculation involving two input quantities and one kind of a specific operation. It is sometimes called a dyadic operation as well.

More precisely, a binary operation on a set S is a binary function from S and S to S, in other words a function f from the Cartesian product S × S to S. Sometimes, especially in computer science, the term is used for any binary function. That f takes values in the same set S that provides its arguments is the property of closure.

Binary operations are the keystone of algebraic structures studied in abstract algebra: they form part of groups, monoids, semigroups, rings, and more. Most generally, a magma is a set together with any binary operation defined on it.

Many binary operations of interest are commutative or associative. Many also have identity elements and inverse elements. Typical examples of binary operations are the addition and multiplication of numbers and matrices as well as composition of functions on a single set.

Binary operations are often written using infix notation such as a * b, a + b, or a · b rather than by functional notation of the form f(a,b). Sometimes they are even written just by juxtaposition: ab. They can also be expressed using prefix or postfix[?] notations. A prefix notation, Polish notation, dispenses with parentheses; it is probably more often encountered now in its postfix[?] form, Reverse Polish Notation.

External binary operations

An external binary operation is a binary function from K and S to S. This differs from a binary operation in the strict sense in that K need not be S; its elements come from outside.

An example of an external binary operation is scalar multiplication in linear algebra. Here K is a field and S is a vector space over that field.

An external binary operation may alternatively be viewed as an action; K is acting on S.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Logical equivalence

... p and q in the object language[?]. But the material equivalence of p and q (often written "p ↔ q") is itself another statement in the object language. There ...