# Constructing a group with subsets

Given the set $S=\{0,1,2\}$, it has been asked to prove that it is not a group under the operation $\max(x,y)$. It can be done. Then they ask to identify $3$ subsets of $S$ which are 'groups' under the operation $\max(x,y)$.

How to choose the subsets?

-

Note that $\max(x,x) = x$ for all $x \in S$. So if $(S', \max)$ is a group, we must have $|S'| = 1$ (for otherwise there is no identity). That is $\{0\}$, $\{1\}$ and $\{2\}$ are the subsets looked for.
Yes ... the operation is then the(!) map $\circ \colon \{*\} \times \{*\} \to \{*\}$ –  martini Nov 21 '12 at 13:08