arrow
arrow
arrow
Let XXX be a non-empty set and P(X)P(X)P(X) be the set of all subsets of XXX. On P(X)P(X)P(X), define two operations ∗\ast∗ and Δ\DeltaΔ as follows: f
Question

Let XXX be a non-empty set and P(X)P(X)P(X) be the set of all subsets of XXX. On P(X)P(X)P(X), define two operations ∗\ast and Δ\DeltaΔ as follows: for A,B∈P(X)A, B \in P(X)A,BP(X),

  • A∗B=A∩BA \ast B = A \cap BAB=AB (Intersection of sets)
  • AΔB=(A∪B)∖(A∩B)A \Delta B = (A \cup B) \setminus (A \cap B)AΔB=(AB)(AB) (Symmetric difference of sets)

Which of the following statements is true?

A.

P(X) is a group under ∗\ast as well as under Δ\DeltaΔ

B.

P(X) is a group under ∗\ast, but not under Δ\DeltaΔ

C.

P(X) is a group under Δ\DeltaΔ, but not under ∗\ast

D.

P(X) is neither a group under ∗\ast nor under Δ\DeltaΔ

Correct option is C

1. Operation ∗\ast (Intersection) on Power Set P(X)P(X)P(X):

The operation ∗\ast is defined as:

A∗B=A∩BA \ast B = A \cap BAB=AB

This means that A∗BA \ast BAB represents the intersection of sets AAA and BBB.

  • Identity Element: There must exist an identity element eee such that for every set AAA, we have:

    A∗e=Aande∗A=AA \ast e = A \quad \text{and} \quad e \ast A = AAe=AandeA=A
    • No identity element: For intersection, the identity element should be the set XXX, but X∩A=AX \cap A = AXA=A holds for any set AAA.​​
    • The problem is that the inverse of each element does not exist, meaning there is no set such that A∗A′=XA \ast A' = XA∗A′A*A'AA​=X,
    • because there is no set that can "reverse" the intersection. Thus, no inverse exists.

Since the operation ∗\ast on P(X)P(X)P(X) fails the condition of having inverses for each element, P(X),∗P(X), \astP(X), is not a group.

2. Operation Δ\DeltaΔ (Symmetric Difference) on Power Set P(X)P(X)P(X):

The operation Δ\DeltaΔ is defined as:

AΔB=(A∪B)∖(A∩B)A \Delta B = (A \cup B) \setminus (A \cap B)AΔB=(AB)(AB)

This operation represents the symmetric difference between two sets, which is the set of elements that are in either of the sets, but not both.

To form a group under Δ\DeltaΔ, the following conditions must be satisfied:

  • Closure: For any two subsets AAA and BBB of XXX, the symmetric difference AΔBA \Delta BAΔB must also be a subset of XXX.

    • Closure holds: The symmetric difference of two subsets is always a subset of XXX, so closure is satisfied.
  • Associativity: For all subsets A,B,CA, B, CA,B,C in P(X)P(X)P(X), the operation must satisfy:

    (AΔB)ΔC=AΔ(BΔC)(A \Delta B) \Delta C = A \Delta (B \Delta C)(AΔB)ΔC=AΔ(BΔC)
    • Associativity holds: Symmetric difference is associative.
  • Identity Element: There must be an identity element eee such that:

    AΔe=AandeΔA=AA \Delta e = A \quad \text{and} \quad e \Delta A = AAΔe=AandeΔA=A
    • Identity is the empty set: The empty set ∅\varnothing acts as the identity element for symmetric difference because AΔ∅=AA \Delta \varnothing = AAΔ=A for any set AAA.
  • Inverse Element: For every element AAA, there must be an element A′A' A′A'A such that  AΔA′=∅


    • Inverse exists: The inverse of a set under symmetric difference is the set itself. Thus, for any set AAA, AΔA=∅A \Delta A = \varnothingAΔA=, satisfying the inverse condition.

Since the operation Δ\DeltaΔ satisfies closure, associativity, has an identity element (the empty set ∅\varnothing), and every element has an inverse, P(X),ΔP(X), \DeltaP(X),Δ forms a group.

Conclusion:

  • P(X),∗P(X), \astP(X), is not a group because the inverse of each element does not exist.
  • P(X),ΔP(X), \DeltaP(X),Δ is a group with identity ∅\varnothing.

test-prime-package

Access ‘CSIR NET Mathematical Sciences’ Mock Tests with

  • 60000+ Mocks and Previous Year Papers
  • Unlimited Re-Attempts
  • Personalised Report Card
  • 500% Refund on Final Selection
  • Largest Community
students-icon
353k+ students have already unlocked exclusive benefits with Test Prime!
test-prime-package

Access ‘CSIR NET Mathematical Sciences’ Mock Tests with

  • 60000+ Mocks and Previous Year Papers
  • Unlimited Re-Attempts
  • Personalised Report Card
  • 500% Refund on Final Selection
  • Largest Community
students-icon
353k+ students have already unlocked exclusive benefits with Test Prime!
Our Plans
Monthsup-arrow