Namespaces
Variants
Actions

Binary operation

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

An algebraic operation on a set $A$ with two operands in a given order, hence a function from $A\times A \rightarrow A$. Such an operator may be written in conventional function or prefix form, as $f(a,b)$, occasionally in postfix form, as $a\,b\,\omega$ or $(a,b)\omega$, but more commonly in infix form as $a \star b$ where $\star$ is the operator symbol. Many arithmetic, algebraic and logical functions are expressed as binary operations, such as addition, subtraction, multiplication and division of various classes of numbers; conjunction, disjunction and implication of propositions.

A binary operation is partial if it is not defined on all pairs $(a,b) \in A \times A$ (as for example division by zero is not defined). Properties of binary operations which occur in many contexts include


References

[a1] R.H. Bruck, "A survey of binary systems" Ergebnisse der Mathematik und ihrer Grenzgebiete. Neue Folge. 20 Springer (1958) Zbl 0081.01704
How to Cite This Entry:
Binary operation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Binary_operation&oldid=39754