Let $S=\{1,2,3,4\}$ and the operation $*$ so defined in $\mathcal{P}(S)\times\mathcal{P}(S)$: $$(A,B)*(C,D) = (A \Delta C, B \cap D) \quad\forall (A,B)(C,D)\in\mathcal{P}(S)\times\mathcal{P}(S)$$
- What type of structure is this?
- Determine the set $U(\mathcal{P}(S)\times\mathcal{P}(S))$ of invertible elements;
- What of the following is a closed part in $\mathcal{P}(S)\times\mathcal{P}(S)$ $$L = \{\{1,3\}\} \times\mathcal{P}(S))$$ $$M = \mathcal{P}(S)) \times\{\{1,3\}\}$$ $$N = \{\{1,3\}, \emptyset\} \times \mathcal{P}(S))$$
This is associative, commutative and it has an identity, cause: $$\exists (E, E') | \forall (A,B),\quad(A,B)*(E, E') = (A,B)$$ $$(A \Delta E, B \cap E')=(A,B)$$ $$A \Delta E=A\Leftrightarrow E=\emptyset$$ $$B \cap E'=B\Leftrightarrow E'=B$$ I don't need to test it twice, cause the operation is commutative. So $(E, E') = (\emptyset, B)$, is correct? If correct I can search for invertible elements, and so: $$(I, I')*(A, B)=(\emptyset, B)$$ $$(I \Delta A, I' \cap B)=(\emptyset,B)$$ $$I \Delta A=\emptyset\Leftrightarrow I=A$$ $$I' \cap B=B\Leftrightarrow I'=B$$ Is correct? If correct, this means that every element is invertible and so the structure is commutative group. Am I right? What about last question?