OCR MEI Further Extra Pure 2022 June — Question 4 16 marks

Exam BoardOCR MEI
ModuleFurther Extra Pure (Further Extra Pure)
Year2022
SessionJune
Marks16
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicGroups
TypeVerify group axioms
DifficultyStandard +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.
Spec8.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

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\).
  • \(A = \mathbb { R }\)
  • \(0 \circ 0 = 2\)
  • An identity element, \(e\), exists for ∘ in \(A\)

Question 4:
AnswerMarks Guidance
4(a) 00=2⇒k =2
3
ae=k a−k e+k =afor any a
1 2 3
k = 1
1
ea=ke−k a+k =a for any a
1 2 3
k = 1, k = –1, k = 2 so ab=a+b+2AG
AnswerMarks
1 2 3B1
M1
A1
M1
A1
AnswerMarks
[5]3.1a
3.1a
1.1
3.1a
AnswerMarks
1.1Using 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
AnswerMarks
and concluding correctlyeg0e=−k e+k =0 but not e◦e
2 3
(may be seen later)
ege0=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).
AnswerMarks Guidance
4(b) So the identity element, e, is –2
[1]2.2a
4(c) Because ba=b+a+2=a+b+2=ab, the
operationis commutative over AB1
[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]
AnswerMarks Guidance
4(e) (i)
so there is no change
AnswerMarks Guidance
𝐴𝐴=B1
[1]2.2a From correct conclusion in 4(d)
only.
AnswerMarks Guidance
4(e) (ii)
still apply so there is no change
AnswerMarks Guidance
𝐴𝐴={2𝑚𝑚:𝑚𝑚∈ℤ}B1
[1]2.2a From correct conclusion in 4(d)
only.
AnswerMarks Guidance
4(e) (iii)
property is not satisfied (eg 2–1 = –6 ∉A) so
𝐴𝐴={𝑛𝑛:𝑛𝑛 ∈ℤ,𝑛𝑛 ≥−2}
AnswerMarks Guidance
(A,)is not a groupB1
[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
AnswerMarks
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.
Question 4:
4 | (a) | 00=2⇒k =2
3
ae=k a−k e+k =afor any a
1 2 3
k = 1
1
ea=ke−k a+k =a for any a
1 2 3
k = 1, k = –1, k = 2 so ab=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 | eg0e=−k e+k =0 but not e◦e
2 3
(may be seen later)
ege0=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 ba=b+a+2=a+b+2=ab, the
operationis 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]}}