Math 360, Fall 2021, Assignment 4

Mathematicians are like Frenchmen: whatever you say to them they translate into their own language, and forthwith it is something entirely different.

- Goethe

Read:

1. Section 4.

Carefully define the following terms, then give one example and one non-example of each:

1. $(\mathrm{Fun}(S,S))$.
2. $f\circ g$ (the composition of the functions $f$ and $g$).
3. $\iota$ (the identity function from a set $S$ to itself).
4. $\mathbb{Z}_n$.
5. $+_n$ (addition modulo $n$).
6. $\cdot_n$ (multiplication modulo $n$).
7. Semigroup.
8. Monoid.
9. Inverse (of an element of a monoid).
10. Group.
11. Abelian (group).

Carefully state the following theorems (you do not need to prove them):

1. Theorem regarding associativity of composition.
2. Theorem asserting that $+_n$ is well-defined.

Solve the following problems:

1. Section 4, problems 1, 3, 5, 11, 12, 13, 14, 18, and 19.
2. Give an example of (a) a binary structure which is not a semigroup, (b) a semigroup which is not a monoid, (c) a monoid which is not a group, and (d) a group which is not abelian.
3. By making an operation table, determine which elements of the commutative monoid $(\mathbb{Z}_5,\cdot_5)$ have inverses. Then do the same for $(\mathbb{Z}_6,\cdot_6)$ and $(\mathbb{Z}_8,\cdot_8)$.
4. Based on the results of the previous problem, try to make a conjecture regarding which elements of $(\mathbb{Z}_n,\cdot_n)$ have inverses.
5. Carefully show that the operation $\cdot_n$ is well-defined (i.e. state and prove a theorem analogous to the theorem asserting that $+_n$ is well-defined).

--------------------End of assignment--------------------