## Section13.5Commutativity

In Part I we have already discussed the commutativity of addition and multiplication of integers. Commutativity of addition meant that, for example, $$2+7=9$$ and also $$7+2=9\text{.}$$ Also recall that this property does not hold for subtraction, as is proved by the counterexample $$2-7=-5$$ but $$7-2=5\text{.}$$ In the following we introduce the commutative property for general binary operations.

In the video in Figure 13.5.1 we introduce the commutative property for general binary operations and give examples. Following the video we present the formal definition of commutativity, give examples, and discuss methods for determining whether an binary operation is commutative in detail.

### Definition13.5.2.

Let $$S$$ be a set and $$\bullet:S\times S \to S$$ be a binary operation on $$S\text{.}$$ Then, $$\bullet$$ is commutative if $$a \bullet b=b \bullet a$$ for all $$a\in S$$ and $$b\in S\text{.}$$

Now reproduce the definition by filling in the blanks.

Let the binary operation $$\diamond$$ on the set $$F=\lbrace$$ a, b, c, d, x, y, z$$\rbrace$$ be defined by:

 $$\diamond$$ a b c d x y z a a z y x d c b b b a z y x d c c c b a z y x d d d c b a z y x x x d c b a z y y y x d c b a z z z y x d c b a

Complete the following:

(1) In the set $$F$$ with respect to $$\diamond$$

• select

• the identity element is a

• the identity element is b

• the identity element is c

• the identity element is d

• the identity element is x

• the identity element is y

• the identity element is z

• there is no identity element

.

(2) In the set $$F$$

• select

• each element has an inverse

• at least one element does not have an inverse

• there is no identity, so inverses are not defined

with respect to $$\diamond\text{.}$$

(4) The operation $$\diamond$$ is not associative.

(e) The operation $$\diamond$$ is

• select

• commutative

• not commutative

.

Conclude whether $$(F,\diamond)$$ is a commutative group:

The set $$F$$ with the operation $$\diamond$$ is

• select

• a commutative group

• not a commutative group

.

$$\text{there is no identity element}$$

$$\text{there is no identity, so inverses are not defined}$$

$$\text{not commutative}$$

$$\text{not a commutative group}$$

We already know that addition and multiplication of integers are commutative. In the following example we also investigate whether subtraction of integers is commutative.

We consider the binary operations from Example 13.1.3:

1. The addition of integers $$+:\Z\times\Z\to\Z$$ is commutative.

2. The multiplication of natural numbers $$\cdot:\N\times\N\to\N$$ is commutative.

3. We have $$5-2=3$$ and $$2-5=(-3)\text{.}$$ As $$3\ne(-3)$$ we have $$5-2\ne 2-5\text{.}$$ This counterexample shows that the binary operation $$-:\Z\times\Z\to\Z$$ is not commutative.

Let $$T=\{\Tx,\Ty,\Tz\}\text{,}$$ and let the binary operation $$\star:T\times T\to T$$ be given by the table in Example 13.1.4. To prove that $$\star$$ is commutative, we exhaust all possibilities. We verify that for all $$a\in T$$ and $$b\in T\text{,}$$

\begin{equation*} a\star b\text{ is equal to } b \star a \end{equation*}

by separately computing $$a\star b$$ in the left column and $$b\star a$$ in the right column and noticing that the two computations in each row match.

In the case where one of the general elements is the identity element, there is a shortcut. We can handle several cases at the same time by setting one of the two general elements equal to the identity element and using a variable for the other general element. Recall that the identity element is $$\Ty$$ for $$T$$ with respect to $$\star\text{.}$$ Then, for all $$a\in T$$ we have:

 $$a\star \Ty=a$$ $$\Ty\star a=a$$

Now, note that if the two general elements are the same, there is nothing to check. For all $$a \in T\text{,}$$ we trivially have that $$a\star a = a\star a\text{.}$$ So, the only remaining case to check is covered here:

 $$\Tx\star \Tz=\Ty$$ $$\Tz\star \Tx=\Ty$$

We have shown that $$a\star b=b\star a$$ for all $$a\in T$$ and $$b\in T\text{.}$$ Thus, the binary operation $$\star:T\times T \to T$$ is commutative.

When we have an operation on a set given by an operation table, we can determine whether or not the operation is commutative by observing whether or not the operation table possesses a particular symmetry. We locate the diagonal of the table from the operation symbol in the top left corner of the table to the bottom right corner of the table. Then, we determine whether or not that diagonal acts as a mirror for the other entries in the table. If so, the operation is commutative.

With the above comment in mind, we revisit Example 13.5.5. We shade the diagonal that must act as a mirror for the other entries in the table if the operation is commutative. Then, we individually verify the symmetry by pointing out the pairs of entries that need to match and noting that they do, in fact, match.

 $$\star$$ $$\Tx$$ $$\Ty$$ $$\Tz$$ $$\Tx$$ $$\color{gray}\Tz$$ $$\color{red}\Tx$$ $$\Ty$$ $$\Ty$$ $$\color{red}\Tx$$ $$\color{gray}\Ty$$ $$\Tz$$ $$\Tz$$ $$\Ty$$ $$\Tz$$ $$\color{gray}\Tx$$
 $$\star$$ $$\Tx$$ $$\Ty$$ $$\Tz$$ $$\Tx$$ $$\color{gray}\Tz$$ $$\Tx$$ $$\color{red}\Ty$$ $$\Ty$$ $$\Tx$$ $$\color{gray}\Ty$$ $$\Tz$$ $$\Tz$$ $$\color{red}\Ty$$ $$\Tz$$ $$\color{gray}\Tx$$
 $$\star$$ $$\Tx$$ $$\Ty$$ $$\Tz$$ $$\Tx$$ $$\color{gray}\Tz$$ $$\Tx$$ $$\Ty$$ $$\Ty$$ $$\Tx$$ $$\color{gray}\Ty$$ $$\color{red}\Tz$$ $$\Tz$$ $$\Ty$$ $$\color{red}\Tz$$ $$\color{gray}\Tx$$

Consider the binary operation $$\oplus:\Z_5\times\Z_5\to\Z_5$$ defined by $$a\oplus b=(a+b)\fmod 5\text{.}$$ We follow an approach that is similar to that from Example 13.2.6 to show that $$\oplus$$ is commutative. Let $$a\in\Z_5$$ and $$b\in\Z_5\text{.}$$ By the definition of $$\oplus$$ and the commutativity of addition of integers we have

\begin{equation*} a\oplus b = (a+b)\fmod 5 = (b+a)\fmod 5=b\oplus a\text{.} \end{equation*}

Thus $$\oplus$$ is commutative

Let $$A = \{\Tg,\Th,\Tc,\Td\}$$ and let $$\diamond:A\times A\to A$$ be defined by the table:

 $$\diamond$$ $$\Tg$$ $$\Th$$ $$\Tc$$ $$\Td$$ $$\Tg$$ $$\Tg$$ $$\Th$$ $$\Tc$$ $$\Td$$ $$\Th$$ $$\Th$$ $$\Tg$$ $$\Td$$ $$\Tc$$ $$\Tc$$ $$\Tc$$ $$\Td$$ $$\Tg$$ $$\Box$$ $$\Td$$ $$\Td$$ $$\Tc$$ $$\Th$$ $$\Tg$$

Which element in the box makes the operation $$\diamond$$ commutative?

Solution.

The operation $$\diamond$$ is commutative if for all $$a$$ and $$b$$ in $$A$$ we have $$a\diamond b=b\diamond a\text{.}$$ In particular we must have $$\Td\diamond\Tc=\Tc\diamond\Td\text{.}$$ Since $$\Td\diamond\Tc=\Th$$ we must also have $$\Tc\diamond\Td=\Th\text{.}$$ Hence the element $$\Th$$ in the box makes $$\diamond$$ commutative.

Give an example of a binary operation that is not commutative.

Solution.

Consider the binary operation subtraction $$-:\Z\times\Z\to\Z\text{.}$$ Since $$3-2=1$$ and $$2-3=-1\text{,}$$ and $$1\ne -1\text{,}$$ the binary operation $$-$$ is not commutative.

When a binary operation is based on a commutative operation such that addition or multiplication, it is commutative itself.

Decide whether the binary operation $$\otimes:\Z_{11}^\otimes\times \Z_{11}^\otimes\to \Z_{11}^\otimes$$ given by $$a\otimes b = (a\cdot b) \fmod 11$$ is commutative.

The binary operation $$\otimes:\Z_{11}^\otimes\times \Z_{11}^\otimes\to \Z_{11}^\otimes$$ given by $$a\otimes b = (a\cdot b) \fmod 11$$ is commutative.
Solution.

We know multiplication of integers is commutative. That is, for all integers $$a$$ and $$b$$ we have $$(a\cdot b) = (b\cdot a)\text{.}$$ Thus

\begin{equation*} a\otimes b = (a\cdot b) \fmod 11 = (b\cdot a) \fmod 11 = b\otimes a\text{,} \end{equation*}

which means that the binary operation $$\otimes$$ is commutative.

Decide whether the binary operation $$\oplus:\Z_{11}\times \Z_{11}\to \Z_{11}$$ given by $$a\oplus b = (a+b) \fmod 11$$ is commutative.

The binary operation $$\oplus:\Z_{11}\times \Z_{11}\to \Z_{11}$$ given by $$a\oplus b = (a+b) \fmod 11$$ is commutative.
Solution.

We proceed as in Problem 13.5.10.

Because the addition of integers is commutative, we have $$a+b=b+a$$ for all integers $$a$$ and $$b\text{.}$$ Thus

\begin{equation*} a\oplus b = (a+b) \fmod 11=(b+a)\fmod 11 = b\oplus a, \end{equation*}

which means that $$\oplus$$ is a commutative binary operation.

When we suspect that a binary operation is not commutative, we look for a counterexample. If we find a counterexample we have proven that the binary operation is not commutative.

Decide whether the binary operation $$\ominus:\Z_{11}\times \Z_{11}\to \Z_{11}$$ given by $$a\ominus b = (a-b) \fmod 11$$ is commutative.

The binary operation $$\ominus:\Z_{11}\times \Z_{11}\to \Z_{11}$$ given by $$a\ominus b = (a-b) \fmod 11$$ is not commutative.
Solution.

We know that subtraction of integers is not commutative. So we suspect that the binary operation $$\ominus$$ that is based on subtraction is not commutative. We find a counterexample. Let $$a:=1$$ and $$b:=0\text{.}$$ Then

\begin{equation*} a\ominus b = 1\ominus 0 = (1-0) \fmod 11 = 1 \fmod 11 = 1 \end{equation*}

and

\begin{equation*} b\ominus a = 0\ominus 1 = (0-1) \fmod 11 = (-1) \fmod 11 = 10\text{.} \end{equation*}

We have found $$a$$ and $$b$$ such that $$a\ominus b$$ is not equal to $$b\ominus a\text{.}$$ So the binary operation $$\ominus$$ is not commutative.

In Checkpoint 13.5.13 decide whether the given binary operations are commutative. If it is not commutative give a counterexample.

Are these sets with the given operations commutative groups ?

If not, indicate the reason. If several reasons apply, select the first reason that applies.

1. ($$\lbrace 0\rbrace\text{,}$$+)

2. ($$\lbrace-1,1\rbrace\text{,}$$*) where $$a$$*$$b:=a\cdot b$$

3. ($$\mathbb{N}\text{,}$$+)

4. ($$\lbrace1\rbrace\text{,}$$*) where $$a$$*$$b := a\cdot b$$

5. ($$\mathbb{Z}_{3}\text{,}$$*) where $$a$$*$$b := (a\cdot b)\bmod 3$$