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?