![](https://static.wixstatic.com/media/5820e5_d5420182f83a412d9519dcad753b50af~mv2.jpg/v1/fill/w_288,h_204,al_c,q_80,usm_0.66_1.00_0.01,blur_2,enc_auto/5820e5_d5420182f83a412d9519dcad753b50af~mv2.jpg)
Leonhard Euler
An Introduction to Abstract Algebra: Binary Operations
Ahmet Eren Doğan
![Screen Shot 2021-06-23 at 21.38.22.png](https://static.wixstatic.com/media/5820e5_a20996efd97343a09b46ea132ac812fb~mv2.png/v1/fill/w_192,h_202,al_c,q_85,usm_0.66_1.00_0.01,enc_auto/Screen%20Shot%202021-06-23%20at%2021_38_22.png)
Figure 1: Binary operation combines x and y
![CodeCogsEqn - 2021-06-24T222559.905.gif](https://static.wixstatic.com/media/5820e5_56d5decbbe0b4625bd3fe9656b7d671f~mv2.gif)
The word “binary” means consisting of two pieces and a binary operation is a rule for merging two values to obtain a new value. The operations such as addition and multiplication that we all learned in elementary school are actually the most common binary operations.
In order to understand binary operations, we first need to look at the definition of a mapping which is very similar to a function.
A relationship between the sets X and Y where each is the first component of exactly one ordered pair (x, y) in is defined as the function mapping X into Y. A mapping of X into Y is the name given for these kinds of functions. We write and show by . The set X is the domain; the set Y is the codomain, and
is the range of .
The addition of real numbers can be viewed as the function , which is the mapping of into . For instance, the action of + on can be showed in function notation by +((3,4)) = 7. To show this in set notation, we write . In reality, all these expressions are the same as our familiar notation 3 + 4 = 7.
Now, we are ready to investigate binary operations.
A binary operation on a set S is . For each , we will indicate the element of S by .
Addition and multiplication are binary operations on the set ℝ.
Let be a binary operation on a set S, and let H be a subset of S. If we have for all , we say that the subset H is closed under . For this case, the induced operation of on H is the binary operation on H that is provided by limiting to H.
The following example will help the reader to understand this concept better.
On the set ℤ, let + and be the binary operations of addition and multiplication, and let . We will now check to see if H is closed under multiplication and addition.
For addition, we only need to observe that and are in H, but that 4 + 9 = 13 and . Hence, we can conclude that H is not closed under addition.
For multiplication, let and . In order for H to include r and s, there should be integers n and m in such that and . We can easily observe that . Based on the definition of elements in H and the fact that , we can conclude that which means H is closed under multiplication.
A binary operation on a set S is associative if and commutative if for all .
Let’s define a binary operation on where is equal to the larger of a and b and equal to 1 if a = b. From this definition and , which shows it is not hard to see that this binary operation is associative. Similarly, if we observe that and we can easily come to the conclusion that this binary operation is commutative.
References:
Fraleigh, John B. “A First Course in Abstract Algebra”. Essex, Pearson Education Limited, 2014.
Roberts, D. R. and F. (n.d.). Binary Operations - MathBitsNotebook(A1 - CCSS Math). https://mathbitsnotebook.com/Algebra1/RealNumbers/RNBinary.html.
Wikipedia contributors. "Function (mathematics)." Wikipedia, The Free Encyclopedia. Wikipedia, The Free Encyclopedia, 14 May. 2021. Web. 17 May. 2021.
Figure References:
[1] Wikipedia contributors. "Binary operation." Wikipedia, The Free Encyclopedia. Wikipedia, The Free Encyclopedia, 6 Jan. 2021. Web. 17 May. 2021.
![CodeCogsEqn (95).gif](https://static.wixstatic.com/media/5820e5_a050ae351fcf42bf8cc9ab18e314e04d~mv2.gif)
![CodeCogsEqn - 2021-06-23T234301.362.gif](https://static.wixstatic.com/media/5820e5_2c8e2271f6b94992b0dfc8957ff33833~mv2.gif)
![CodeCogsEqn - 2021-06-23T234301.362.gif](https://static.wixstatic.com/media/5820e5_c30a695122a84a52b8490b07ad24156b~mv2.gif)
![CodeCogsEqn - 2021-06-23T234602.016.gif](https://static.wixstatic.com/media/5820e5_74f917256ea24f24a9f2771da306ac4b~mv2.gif)
![CodeCogsEqn - 2021-06-23T234921.798.gif](https://static.wixstatic.com/media/5820e5_04f01c1e113b4f749e23d33d42b49991~mv2.gif)
![CodeCogsEqn - 2021-06-23T235201.283.gif](https://static.wixstatic.com/media/5820e5_cdc897dc8c484c2bbe5151f4d314430a~mv2.gif)
![CodeCogsEqn - 2021-06-23T234301.362.gif](https://static.wixstatic.com/media/5820e5_c30a695122a84a52b8490b07ad24156b~mv2.gif)
![CodeCogsEqn - 2021-06-23T235935.106.gif](https://static.wixstatic.com/media/5820e5_17e2d115f89647c0a15238c7582dc904~mv2.gif)
![CodeCogsEqn - 2021-06-24T000401.165.gif](https://static.wixstatic.com/media/5820e5_279356d2d0f84605b89109ebec498027~mv2.gif)
![CodeCogsEqn - 2021-06-24T000456.450.gif](https://static.wixstatic.com/media/5820e5_a6ca445595564c61a58977fd151e1f6a~mv2.gif)
![CodeCogsEqn - 2021-06-24T000505.976.gif](https://static.wixstatic.com/media/5820e5_7181119fd5f648a1ad04106e4b8a4a9e~mv2.gif)
![CodeCogsEqn - 2021-06-24T201224.252.gif](https://static.wixstatic.com/media/5820e5_8161b4537ef349d6850a9731815cdef9~mv2.gif)
![CodeCogsEqn - 2021-06-24T201425.270.gif](https://static.wixstatic.com/media/5820e5_8909b736e8fe4763948f945c7341cec7~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-24T201818.029.gif](https://static.wixstatic.com/media/5820e5_f0143d9045bb41238c71aae339d87c59~mv2.gif)
![CodeCogsEqn - 2021-06-24T201940.956.gif](https://static.wixstatic.com/media/5820e5_13930bc7f8b54eea9b3b2e1f33856cbf~mv2.gif)
![CodeCogsEqn - 2021-06-24T212711.476.gif](https://static.wixstatic.com/media/5820e5_96b3b63f2091480885320a2a7fd91f44~mv2.gif)
![CodeCogsEqn - 2021-06-24T212840.715.gif](https://static.wixstatic.com/media/5820e5_34170b47a444480c8f8870d05c3619fe~mv2.gif)
![CodeCogsEqn - 2021-06-24T213011.392.gif](https://static.wixstatic.com/media/5820e5_bfa32f806744429d82983158c4701595~mv2.gif)
![CodeCogsEqn - 2021-06-24T213102.180.gif](https://static.wixstatic.com/media/5820e5_8d2ef98fbae543ff9bbf59499f916383~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-24T213524.677.gif](https://static.wixstatic.com/media/5820e5_554dbb6f1b864276903c89d1dc927f12~mv2.gif)
![CodeCogsEqn - 2021-06-24T213644.552.gif](https://static.wixstatic.com/media/5820e5_77b96f0dd6554f93b308c348015a8b58~mv2.gif)
![CodeCogsEqn - 2021-06-24T213659.929.gif](https://static.wixstatic.com/media/5820e5_c95a738bc50b4ae495cc482ec0f54d40~mv2.gif)
![CodeCogsEqn - 2021-06-24T215855.976.gif](https://static.wixstatic.com/media/5820e5_2d8be14bb3944f34bad74afe02c99a32~mv2.gif)
![CodeCogsEqn - 2021-06-24T220003.157.gif](https://static.wixstatic.com/media/5820e5_14ac3178f3c14d16872c537127246f17~mv2.gif)
![CodeCogsEqn - 2021-06-24T220011.949.gif](https://static.wixstatic.com/media/5820e5_f5a90a41d0324108a4c059bb810d3edc~mv2.gif)
![CodeCogsEqn - 2021-06-24T220144.404.gif](https://static.wixstatic.com/media/5820e5_3ca7fe58cf074e1c880dd6709f2d533e~mv2.gif)
![CodeCogsEqn - 2021-06-24T220425.443.gif](https://static.wixstatic.com/media/5820e5_eb2f6ad641b3476cb11fa009a9696a41~mv2.gif)
![CodeCogsEqn - 2021-06-24T220434.025.gif](https://static.wixstatic.com/media/5820e5_02da6657b7044089b70c882fdd1b28a8~mv2.gif)
![CodeCogsEqn - 2021-06-24T220630.015.gif](https://static.wixstatic.com/media/5820e5_3957ea4ce7264f86852d0d36c9a269f4~mv2.gif)
![CodeCogsEqn - 2021-06-24T220800.145.gif](https://static.wixstatic.com/media/5820e5_50e91a719a1a4b4fa22e2feed65ea57f~mv2.gif)
![CodeCogsEqn - 2021-06-24T220915.455.gif](https://static.wixstatic.com/media/5820e5_919066579048470b91920806989593fb~mv2.gif)
![CodeCogsEqn - 2021-06-24T220954.066.gif](https://static.wixstatic.com/media/5820e5_b6a7f1a12fd142078622c91148654b85~mv2.gif)
![CodeCogsEqn - 2021-06-24T221141.986.gif](https://static.wixstatic.com/media/5820e5_ea7899f7f0304da58c4e144ef825b7d7~mv2.gif)
![CodeCogsEqn - 2021-06-24T221157.421.gif](https://static.wixstatic.com/media/5820e5_e4b00b6e78df407aa56d136fd6af21b3~mv2.gif)
![CodeCogsEqn - 2021-06-24T221209.724.gif](https://static.wixstatic.com/media/5820e5_4b86e710452f447f9be7cdfe76eaca62~mv2.gif)
![CodeCogsEqn - 2021-06-24T220144.404.gif](https://static.wixstatic.com/media/5820e5_3ca7fe58cf074e1c880dd6709f2d533e~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-24T221813.601.gif](https://static.wixstatic.com/media/5820e5_1fb4eb79f9cf43e397029b4288a4c23d~mv2.gif)
![CodeCogsEqn - 2021-06-24T221851.151.gif](https://static.wixstatic.com/media/5820e5_207e2df25d7745d08b70eda262a75cc7~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-24T222209.097.gif](https://static.wixstatic.com/media/5820e5_e6f1eeb606984857a8fb40b3c4319281~mv2.gif)
![CodeCogsEqn - 2021-06-24T222222.934.gif](https://static.wixstatic.com/media/5820e5_a28bee50960d418f80752b807535a9b7~mv2.gif)
![CodeCogsEqn - 2021-06-24T201551.828.gif](https://static.wixstatic.com/media/5820e5_2276330e617a49638d5189be2a8be0ab~mv2.gif)
![CodeCogsEqn - 2021-06-25T002859.044.gif](https://static.wixstatic.com/media/5820e5_7f7f15f7a9414959a9840f14fabad57c~mv2.gif)