- #1
roam
- 1,271
- 12
Homework Statement
Let [tex]n \geq 1[/tex] be a positive integer and let [tex]M_n = \{ 1,...,n \}[/tex] be a set with n elements. Denote by [tex]\mathcal{P} (M_n)[/tex] the set of all subsets of Mn. For example [tex]\mathcal{P} (M_2) = \{ \{ \emptyset \}, \{ 1 \}, \{ 2 \}, \{ 1,2 \} \}[/tex].
Show that [tex]C=(\mathcal{P} (M_n) , \cap)[/tex] and [tex]U=(\mathcal{P} (M_n) , \cup)[/tex] each has an identity. Decide whether C and U are groups.
The Attempt at a Solution
For [tex]C=(\mathcal{P} (M_n) , \cap)[/tex], let [tex]a,b,c \in \mathcal{P} (M_n)[/tex]
- Associativity: [tex](a \cap b) \cap c = a \cup (b \cap c)[/tex] [tex]\checkmark[/tex]
- Identity: is the empty set => [tex]a \cap \emptyset = a[/tex] [tex]\checkmark[/tex]
- Inverse: I can't see what's the inverse of this group! for an element a we need an inverse b such that [tex]a \cap b = \emptyset[/tex]. I think this is only true when a & b are completely distinct but I'm not sure...
Similarly [tex]U=(\mathcal{P} (M_n) , \cup)[/tex] satisfies the associativity and I think its identity is also [tex]\emptyset[/tex]. But what is the inverse??
I need help finding the inverses, and please let me know if the rest of my working is correct.
Any help is really appreciated.
Last edited: