I am currently working on the following question:
$\mathbb{Z}n$ is the set of equivalence classes determined by division mod $n$ for $n\ge 1$, $n \in \mathbb{N}$. Let $n$ = $11$. Consider the binary option $*$ on $\mathbb{Z}_{11}$ defined by,
$x*y = x\oplus_{11}y\oplus_{11}2$ for all $x, y \in \mathbb{Z_{11}}$.
Recall that by definition $x\oplus_{11}y = x + y$ mod $11$.
- What is the identity element for $(\mathbb{Z}_{11},*)$?
- Prove that $(\mathbb{Z}_{11},*)$ is a monoid
- Which elements of $(\mathbb{Z}_{11},*)$ are invertible?
- Is $(\mathbb{Z}_{11},*)$ a group?
I can write $x*y$ as $((x + y)mod11+2)mod11$.
To find the identity element, I must find an element $e$ of $\mathbb{Z}_{11}$, such that $e*x=x*e=x$ for all elements $x$ of $\mathbb{Z}_{11}$. Can I just test different values of $e$ until I arrive at the solution?
Once I have the identity element, I need to show that the binary operation is associative in order to show that $(\mathbb{Z}_{11},*)$ is a monoid. I am not sure how to approach this. I have read "Proving ... is a monoid" but am unsure as to how to apply the method in this case.
As for the remaining parts, I'll hopefully get them once I am sure of the method for the first two parts.
Corrections and guidance appreciated. Thank you!
Hint: The map $f\colon x\mapsto x\ominus_{11} 1$ has the property that $f(x*y)=f(x)\oplus_{11}f(y)$.