| Exam Board | OCR MEI |
|---|---|
| Module | Further Extra Pure (Further Extra Pure) |
| Year | 2022 |
| Session | June |
| Marks | 16 |
| Paper | Download PDF ↗ |
| Mark scheme | Download PDF ↗ |
| Topic | Groups |
| Type | Verify group axioms |
| Difficulty | Standard +0.8 This is a multi-part Further Maths group theory question requiring systematic verification of group axioms across different sets. While the algebraic manipulation in part (a) is straightforward, parts (d) and (e) require careful reasoning about closure, inverses, and identity across multiple number systems. The question demands conceptual understanding beyond routine application, but follows a standard 'verify group axioms' template common in Further Maths, placing it moderately above average difficulty. |
| Spec | 8.03c Group definition: recall and use, show structure is/isn't a group8.03e Order of elements: and order of groups8.03f Subgroups: definition and tests for proper subgroups8.03g Cyclic groups: meaning of the term |
| Answer | Marks | Guidance |
|---|---|---|
| 4 | (a) | 00=2⇒k =2 |
| Answer | Marks |
|---|---|
| 1 2 3 | B1 |
| Answer | Marks |
|---|---|
| [5] | 3.1a |
| Answer | Marks |
|---|---|
| 1.1 | Using identity correctly, one |
| Answer | Marks |
|---|---|
| and concluding correctly | eg0e=−k e+k =0 but not e◦e |
| Answer | Marks | Guidance |
|---|---|---|
| 4 | (b) | So the identity element, e, is –2 |
| [1] | 2.2a | |
| 4 | (c) | Because ba=b+a+2=a+b+2=ab, the |
| operationis commutative over A | B1 | |
| [1] | 2.1 | Or stating that a + b + 2 is |
| symmetrical in a and b. | Simply giving one or more |
| Answer | Marks | Guidance |
|---|---|---|
| 4 | (e) | (i) |
| Answer | Marks | Guidance |
|---|---|---|
| 𝐴𝐴= | B1 | |
| [1] | 2.2a | From correct conclusion in 4(d) |
| Answer | Marks | Guidance |
|---|---|---|
| 4 | (e) | (ii) |
| Answer | Marks | Guidance |
|---|---|---|
| 𝐴𝐴={2𝑚𝑚:𝑚𝑚∈ℤ} | B1 | |
| [1] | 2.2a | From correct conclusion in 4(d) |
| Answer | Marks | Guidance |
|---|---|---|
| 4 | (e) | (iii) |
| Answer | Marks | Guidance |
|---|---|---|
| (A,)is not a group | B1 | |
| [1] | 2.2a | From correct conclusion in 4(d) |
| Answer | Marks |
|---|---|
| axioms then B0. | Condone slightly incorrect |
Question 4:
4 | (a) | 00=2⇒k =2
3
ae=k a−k e+k =afor any a
1 2 3
k = 1
1
ea=ke−k a+k =a for any a
1 2 3
k = 1, k = –1, k = 2 so ab=a+b+2AG
1 2 3 | B1
M1
A1
M1
A1
[5] | 3.1a
3.1a
1.1
3.1a
1.1 | Using identity correctly, one
order of a/e, general or specific a.
Comparing coefficients (oe) to
derive the value of k or k .
1 2
Using identity correctly, other
order of a/e, general or specific a.
AG. Solving system of equations
and concluding correctly | eg0e=−k e+k =0 but not e◦e
2 3
(may be seen later)
ege0=ke+k =0 but not e◦e
1 3
Do not award credit for work done
based on assumptions (eg e = –2 or ◦
is associative).
4 | (b) | So the identity element, e, is –2 | B1
[1] | 2.2a
4 | (c) | Because ba=b+a+2=a+b+2=ab, the
operationis commutative over A | B1
[1] | 2.1 | Or stating that a + b + 2 is
symmetrical in a and b. | Simply giving one or more
examples is insufficient for B1.
[6]
4 | (e) | (i) | If ℤ then the arguments in (d) still apply
so there is no change
𝐴𝐴= | B1
[1] | 2.2a | From correct conclusion in 4(d)
only.
4 | (e) | (ii) | If then the arguments in (d)
still apply so there is no change
𝐴𝐴={2𝑚𝑚:𝑚𝑚∈ℤ} | B1
[1] | 2.2a | From correct conclusion in 4(d)
only.
4 | (e) | (iii) | If then the inverse
property is not satisfied (eg 2–1 = –6 ∉A) so
𝐴𝐴={𝑛𝑛:𝑛𝑛 ∈ℤ,𝑛𝑛 ≥−2}
(A,)is not a group | B1
[1] | 2.2a | From correct conclusion in 4(d)
only.
An example does not need to be
given but if given must be
correct. Ignore other irrelevant
comments but if incorrect
statement about any of the other 3
axioms then B0. | Condone slightly incorrect
statements (eg “No element in A has
an inverse”) provided that it is
established that only the inverse
property is not satisfied.
4 A binary operation, ○, is defined on a set of numbers, $A$, in the following way.\\
$a \circ b = \mathrm { k } _ { 1 } \mathrm { a } - \mathrm { k } _ { 2 } \mathrm {~b} + \mathrm { k } _ { 3 }$, for $a , b \in A$,\\
where $k _ { 1 } , k _ { 2 }$ and $k _ { 3 }$ are constants (which are not necessarily in $A$ ) and the operations addition, subtraction and multiplication of numbers have their usual notation and meaning.
You are initially given the following information about ○ and $A$.
\begin{itemize}
\item $A = \mathbb { R }$
\item $0 \circ 0 = 2$
\item An identity element, $e$, exists for ∘ in $A$
\begin{enumerate}[label=(\alph*)]
\item Show that $a \circ b = a + b + 2$.
\item State the value of $e$.
\item Explain whether ○ is commutative over $A$.
\item Determine whether or not ( $A , \circ$ ) is a group.
\item Explain whether your answer to part (d) would change in each of the following cases, giving details of any change.
\begin{enumerate}[label=(\roman*)]
\item $A = \mathbb { Z }$
\item $A = \{ 2 m : m \in \mathbb { Z } \}$
\item $\quad A = \{ n : n \in \mathbb { Z } , n \geqslant - 2 \}$
\end{itemize}
\end{enumerate}\end{enumerate}
\hfill \mbox{\textit{OCR MEI Further Extra Pure 2022 Q4 [16]}}