Date | November 2012 | Marks available | 3 | Reference code | 12N.3srg.hl.TZ0.3 |
Level | HL only | Paper | Paper 3 Sets, relations and groups | Time zone | TZ0 |
Command term | Construct | Question number | 3 | Adapted from | N/A |
Question
Let \(A = \left\{ {a,{\text{ }}b} \right\}\).
Let the set of all these subsets be denoted by \(P(A)\) . The binary operation symmetric difference, \(\Delta\) , is defined on \(P(A)\) by \(X\Delta Y = (X\backslash Y) \cup (Y\backslash X)\) where \(X\) , \(Y \in P(A)\).
Let \({\mathbb{Z}_4} = \left\{ {0,{\text{ }}1,{\text{ }}2,{\text{ }}3} \right\}\) and \({ + _4}\) denote addition modulo \(4\).
Let \(S\) be any non-empty set. Let \(P(S)\) be the set of all subsets of \(S\) . For the following parts, you are allowed to assume that \(\Delta\), \( \cup \) and \( \cap \) are associative.
Write down all four subsets of A .
Construct the Cayley table for \(P(A)\) under \(\Delta \) .
Prove that \(\left\{ {P(A),{\text{ }}\Delta } \right\}\) is a group. You are allowed to assume that \(\Delta \) is associative.
Is \(\{ P(A){\text{, }}\Delta \} \) isomorphic to \(\{ {\mathbb{Z}_4},{\text{ }}{ + _4}\} \) ? Justify your answer.
(i) State the identity element for \(\{ P(S){\text{, }}\Delta \} \).
(ii) Write down \({X^{ - 1}}\) for \(X \in P(S)\) .
(iii) Hence prove that \(\{ P(S){\text{, }}\Delta \} \) is a group.
Explain why \(\{ P(S){\text{, }} \cup \} \) is not a group.
Explain why \(\{ P(S){\text{, }} \cap \} \) is not a group.
Markscheme
\(\emptyset {\text{, \{ a\} , \{ b\} , \{ a, b\} }}\) A1
[1 mark]
A3
Note: Award A2 for one error, A1 for two errors, A0 for more than two errors.
[3 marks]
closure is seen from the table above A1
\(\emptyset \) is the identity A1
each element is self-inverse A1
Note: Showing each element has an inverse is sufficient.
associativity is assumed so we have a group AG
[3 marks]
not isomorphic as in the above group all elements are self-inverse whereas in \(({\mathbb{Z}_4},{\text{ }}{ + _4})\) there is an element of order 4 (e.g. 1) R2
[2 marks]
(i) \(\emptyset \) is the identity A1
(ii) \({X^{ - 1}} = X\) A1
(iii) if X and Y are subsets of S then \(X\Delta Y\) (the set of elements that belong to X or Y but not both) is also a subset of S, hence closure is proved R1
\(\{ P(S){\text{, }}\Delta \} \) is a group because it is closed, has an identity, all elements have inverses (and \(\Delta \) is associative) R1AG
[4 marks]
not a group because although the identity is \(\emptyset {\text{, if }}X \ne \emptyset \) it is impossible to find a set Y such that \(X \cup Y = \emptyset \), so there are elements without an inverse R1AG
[1 mark]
not a group because although the identity is S, if \(X \ne S\) is impossible to find a set Y such that \(X \cap Y = S\), so there are elements without an inverse R1AG
[1 mark]
Examiners report
A surprising number of candidates were unable to answer part (a) and consequently were unable to access much of the rest of the question. Most candidates however, were successful in parts (a), (b) and (c), and it was pleasing to see the preparedness of candidates in these parts. There were also many good answers for parts (d) and (e) although the third part of (e) caused the most problems with candidates failing to provide sufficient reasoning. Few candidates managed good responses to parts (f) and (g).
A surprising number of candidates were unable to answer part (a) and consequently were unable to access much of the rest of the question. Most candidates however, were successful in parts (a), (b) and (c), and it was pleasing to see the preparedness of candidates in these parts. There were also many good answers for parts (d) and (e) although the third part of (e) caused the most problems with candidates failing to provide sufficient reasoning. Few candidates managed good responses to parts (f) and (g).
A surprising number of candidates were unable to answer part (a) and consequently were unable to access much of the rest of the question. Most candidates however, were successful in parts (a), (b) and (c), and it was pleasing to see the preparedness of candidates in these parts. There were also many good answers for parts (d) and (e) although the third part of (e) caused the most problems with candidates failing to provide sufficient reasoning. Few candidates managed good responses to parts (f) and (g).
A surprising number of candidates were unable to answer part (a) and consequently were unable to access much of the rest of the question. Most candidates however, were successful in parts (a), (b) and (c), and it was pleasing to see the preparedness of candidates in these parts. There were also many good answers for parts (d) and (e) although the third part of (e) caused the most problems with candidates failing to provide sufficient reasoning. Few candidates managed good responses to parts (f) and (g).
A surprising number of candidates were unable to answer part (a) and consequently were unable to access much of the rest of the question. Most candidates however, were successful in parts (a), (b) and (c), and it was pleasing to see the preparedness of candidates in these parts. There were also many good answers for parts (d) and (e) although the third part of (e) caused the most problems with candidates failing to provide sufficient reasoning. Few candidates managed good responses to parts (f) and (g).
A surprising number of candidates were unable to answer part (a) and consequently were unable to access much of the rest of the question. Most candidates however, were successful in parts (a), (b) and (c), and it was pleasing to see the preparedness of candidates in these parts. There were also many good answers for parts (d) and (e) although the third part of (e) caused the most problems with candidates failing to provide sufficient reasoning. Few candidates managed good responses to parts (f) and (g).
A surprising number of candidates were unable to answer part (a) and consequently were unable to access much of the rest of the question. Most candidates however, were successful in parts (a), (b) and (c), and it was pleasing to see the preparedness of candidates in these parts. There were also many good answers for parts (d) and (e) although the third part of (e) caused the most problems with candidates failing to provide sufficient reasoning. Few candidates managed good responses to parts (f) and (g).