Professional Documents
Culture Documents
MODULE NO. 2D
Mathematics in the Modern World
Title : Binary Operations
Overview
The word "binary" means composed of two pieces. A binary operation is simply
a rule for combining two values to create a new value. The most widely known
binary operations are those learned in elementary school: addition, subtraction,
multiplication and division on various sets of numbers.
Learning Outcomes
1. Learned the following for a non-empty set S: Binary Operation, Closure property,
Associative Property, Commutative property, Distributive Property and Identity.
Topic Presentation
Binary operation
Definition:
Let S be a non-empty set, and ⋆ said to be a binary operation on S , if a ⋆ b is defined for all a, b ∈ S.
In other words, ⋆ is a rule for any two elements in the set S.
Example
RIZAL TECHNOLOGICAL UNIVERSITY
Cities of Mandaluyong and Pasig
Closure property
Let S be a non-empty set. A binary operation ⋆ on S is said to be a closed binary operation on S,
if a ⋆ b ∈ S,∀ a,b ∈S.
Associative property
Let S be a subset of Z. A binary operation ⋆ on S is said to be associative,
if (a⋆b)⋆c=a⋆(b⋆c),∀a,b,c∈S
We shall assume the fact that the addition (+) and the multiplication (×) are associative on Z+. (You
don't need to prove them!).
Below is an example of proof when the statement is true.
Example : Associative
Determine whether the binary operation oplus is associative on Z.
We shall show that the binary operation oplus is associative on Z.
Proof:
Let a,b,c∈Z. Then consider,
(a⊕b)⊕c=(ab+a+b)⊕c
=(ab+a+b)c+(ab+a+b)+c
=(ab)c+ac+bc+ab+a+b+c.
On the other hand,
a⊕(b⊕c)=a⊕(bc+b+c
=a(bc+b+c)+a+(bc+b+c)
=a(bc)+ab+ac+a+bc+b+c.
Since multiplication is associative on Z, (a⊕b)⊕c=a⊕(b⊕c).
Thus, the binary operation oplus is associative on Z. □
Commutative property
Let S be a non-empty set. A binary operation ⋆ on S is said to be commutative, if a⋆b = b⋆a, ∀ a,b ∈
S
We shall assume the fact that the addition (+) and the multiplication (×) are commutative on Z+. (You
don't need to prove them!).
Counter Example:
Choose a = 3 and b = 4
Then a − b = 3−4 = −1, and
b – a = 4−3 = 1
Hence the binary operation subtraction − is not commutative on Z.
Example : Commutative
Determine whether the binary operation oplus is commutative on Z.
We shall show that the binary operation oplus is commutative on Z.
Proof:
Let a,b∈Z.
Then consider,(a⊕b) = (ab+a+b).
On the other hand, .(b⊕a) = ba+b+a.
Since multiplication is associative on Z, .(a⊕b) = (b⊕a).
Thus, the binary operation oplus is commutative on Z.
Identity
A non-empty set S with binary operation ⋆, is said to have an identity e ∈ S, if e ⋆ a = a ⋆ e = a,∀ a
∈ S.
Note that 0 is called additive identity on (Z,+), and 1 is called multiplicative identity on (Z,×).
Let S be a non-empty set and let ⋆ be a binary operation on S. If 𝑒1 and 𝑒2 are two identities in (S,⋆) ,
then 𝑒1 = 𝑒2
Proof:
Suppose that 𝑒1 and 𝑒2 are two identities in .
Then 𝑒1 = 𝑒1 ⋆ 𝑒2 = 𝑒2
Hence identity is unique.
Example : Identity
Does (Z,⊕) have an identity?
Answer:
Let e be the identity on (Z,⊕).
Then e⊕a = a⊕e = a,∀ a ∈ Z.
Thus ea + e + a = a and ae + a + e = a ∀ a ∈ Z
Since ea + e + a = a ∀ a ∈ Z, , ea + e = 0 ⟹e(a+1) = 0 ∀ a ∈ Z.
Therefore e = 0
Now 0⊕a = a⊕0 = a,∀ a ∈ Z.
Hence 0is the identity on (Z,⊕)
Example :
Does (Z,⊗) have an identity?
Answer:
Let e be the identity on (Z,⊗).
Then e⊗a = a⊗e = a,∀a∈Z.
Thus (e+a)(e+a) = (a+e)(a+e) = a,∀ a ∈Z.
Now,(a+e)(a+e) = a,∀ a ∈Z.
⟹ 𝑎2 + 2𝑒𝑎 + 𝑒 2 = 𝑎,∀a ∈ Z.
Choose a = 0 then e = 0
If e = 0 then 𝑎 2 = a,∀ a ∈ Z.
This is a contradiction.
Hence, (Z,⊗) has no identity.
Distributive Property
Let S be a non-empty set. Let ⋆1 and ⋆2 be two different binary operations on S.
Then ⋆1 is said to be distributive over ⋆2 on S if a⋆1 (b⋆2 c)=( a ⋆1 b) ⋆2 (𝑎 ⋆1 c),∀a , b, c, ∈ S
Note that the multiplication distributes over the addition on Z.
That is, 4(10+6) = (4)(10) + (4)(6 )= 40+24 = 64.
Further, we extend to (a+b)(c+d) = (ac + ad + bc + bd) FOIL
Example :
Does division distribute over addition ?
Answer:
Counter Example:
Choose a = 2, b = 3, c = 4.
Then a ÷(b + c) = 2÷(3+4)
= 2 ÷ 7.
2
=
7
and (a ÷ b) + (a ÷ c) =3 + 4
2 2
7
= 6
.
, the binary operation ÷ is not distributive over +.
2 7
Since ≠
7 6
Example :
Does ⊗ distribute over ⊕ on Z ?
Answer:
Counter Example:
Choose a = 2, b = 3, c = 4.
Then 2⊗(3⊕4) = 2⊗[(3)(4)+3+4]
= 2⊗19
= (2+19)(2+19)
= 441
and (2⊗3)⊕(2⊗4)=[(2+3)(2+3)]⊕[(2+4)(2+4)]
= 25⊕36
= (25)(36)+25+36
= 961.
Since 441 ≠ 961, the binary operation ⊗ is not distributive over ⊕ on Z.