Let X be a set and 2^X denote the powerset of X. Define a binary operation Delta on 2^X as follows:
A Delta B = (A union B) \ (A intersect B)
Let H = (2^X, Delta). Which of the following statements about H is/are correct?
A. H is a group.
B. H has an inverse, but is NOT a group.
C. Every element in H has an inverse, but the inverse of A is the complement of A.
D. For every A in 2^X, the inverse of A is A.
GATE 2023 · Discrete Mathematics · Group Theory · medium
Answer: A, D
Verify group axioms for (2^X, Delta): Closure: A Delta B is a subset of X. Associativity: standard. Identity: empty set (A Delta {} = A). Inverse: A Delta A = {} = e. All four axioms hold, so H is a group. Statement A is TRUE.
Find the inverse of each element: A Delta A = (A union A) \ (A intersect A) = A \ A = {}. So A Delta A = identity. Therefore A^{-1} = A for every A. Statement D is TRUE.
Check statement B: Statement B says H has an inverse but is NOT a group. But we showed H IS a group. So B is FALSE.