Mod 2 LT2
Mod 2 LT2
Computations
Exercises 1 through 4 concern the binary operation ∗ de ined on S = {a, b,c, d, e} by means of Table
2.26.
1. Compute b ∗ d, c ∗ c, and [(a ∗ c) ∗ e] ∗ a.
b∗d=e
c∗c=b
[(a∗c)∗e]∗a=[(c∗a)∗e]∗a=(b∗e)∗a=d∗a=e
2. Compute (a ∗ b) ∗ c and a ∗ (b ∗ c). Can you say on the basis of this computations whether ∗ is
associative?
(a∗b)∗c=(b∗c)∗c=(e∗c)∗c=c∗c=b
a∗(b∗c)=a∗(a)=b
Since (a∗b)∗c≠a∗(b∗c), the operation ∗ is not associative.
3. Compute (b ∗ d) ∗ c and b ∗ (d ∗ c). Can you say on the basis of this computation whether ∗ is
associative?
b∗d)∗c=(e∗d)∗c=b∗c=a
b∗(d∗c)=b∗(e)=c
Since (b∗d)∗c≠b∗(d∗c), the operation ∗∗ is not associative.
4. Is ∗ commutative? Why?
Yes, ∗ is commutative. For example, a∗b=b∗a because a∗b=b and b∗a=b. This holds for all pairs
of elements in S. Therefore, the operation ∗ is commutative.
5. Complete Table 2.27 so as to de ine a commutative binary operation ∗ on S = {a, b, c, d}.
In Exercises 14 through 16, correct the de inition of the italicized term without reference to the text, if
correction is needed, so that it is in a form acceptable for publication.
15. A binary operation ∗ on a set S is associative if and only if, for all a, b, c ∈ S, we have (b∗c)∗a=b∗{c∗a).
16. A subset H of a set S is closed under a binary operation ∗ on S if and only if (a ∗ b) ∈ H for all a, b ∈ S.
Corrected:
In Exercises 17 through 22, determine whether the de inition of ∗ does give a binary operation on the set.
In the event that ∗ is not a binary operation, state whether Condition 1, Condition 2, or both of these
conditions on page 23 are violated.
20. On ℤ+, de ine ∗ by letting a ∗ b = c, where c is the smallest integer greater than both a and b.
To determine whether the given de inition of ⋆ gives a binary operation on the set, we need to verify if the
operation satis ies the conditions of a binary operation
Condition 1:
Condition 2:
This operation violates Condition 2 because a−b may not always be a non-negative integer (an
element of Z^+).
This operation satis ies both Condition 1 and Condition 2. ab is always a non-negative integer.
This operation satis ies both Condition 1 and Condition 2. a−b is a real number for all a,b in R.
20) On Z^+, de ine ⋆ by letting a⋆b=c, where c is the smallest integer greater than both a and b.
This operation violates both Condition 1 and Condition 2 because the result c might not always be
in Z^+, and it's not always uniquely de ined.
In summary:
Operation ⋆ de ined as a⋆b=ab on Z^+ and ⋆ de ined as a⋆b=a−b on R satisfy the conditions of a
binary operation.
Operations ⋆ de ined as a⋆b=a−b on Z^+ and ⋆ de ined as a⋆b=c, where c is the smallest integer
greater than both a and b on Z^+ do not satisfy the conditions of a binary operation.