User interface language: English | Español

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 Prove 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 .

[1]
a.

Construct the Cayley table for \(P(A)\) under \(\Delta \) .

[3]
b.

Prove that \(\left\{ {P(A),{\text{ }}\Delta } \right\}\) is a group. You are allowed to assume that \(\Delta \) is associative.

[3]
c.

Is \(\{ P(A){\text{, }}\Delta \} \) isomorphic to \(\{ {\mathbb{Z}_4},{\text{ }}{ + _4}\} \) ? Justify your answer.

[2]
d.

(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.

[4]
e.

Explain why \(\{ P(S){\text{, }} \cup \} \) is not a group.

[1]
f.

Explain why \(\{ P(S){\text{, }} \cap \} \) is not a group.

[1]
g.

Markscheme

\(\emptyset {\text{, \{ a\} , \{ b\} , \{ a, b\} }}\)     A1

[1 mark]

a.

 A3

Note: Award A2 for one error, A1 for two errors, A0 for more than two errors.

 

[3 marks]

b.

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]

c.

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]

d.

 

(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]

 

e.

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]

f.

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]

g.

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.

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).

b.

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).

c.

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).

d.

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).

e.

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).

f.

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).

g.

Syllabus sections

Topic 8 - Option: Sets, relations and groups » 8.7 » The definition of a group \(\left\{ {G, * } \right\}\) .

View options