8.03f Subgroups: definition and tests for proper subgroups

60 questions

Sort by: Default | Easiest first | Hardest first
OCR FP3 2007 January Q5
10 marks Challenging +1.8
5 A multiplicative group \(G\) of order 9 has distinct elements \(p\) and \(q\), both of which have order 3 . The group is commutative, the identity element is \(e\), and it is given that \(q \neq p ^ { 2 }\).
  1. Write down the elements of a proper subgroup of \(G\)
    1. which does not contain \(q\),
    2. which does not contain \(p\).
    3. Find the order of each of the elements \(p q\) and \(p q ^ { 2 }\), justifying your answers.
    4. State the possible order(s) of proper subgroups of \(G\).
    5. Find two proper subgroups of \(G\) which are distinct from those in part (i), simplifying the elements.
OCR FP3 2007 June Q9
12 marks Standard +0.3
9 The set \(S\) consists of the numbers \(3 ^ { n }\), where \(n \in \mathbb { Z }\). ( \(\mathbb { Z }\) denotes the set of integers \(\{ 0 , \pm 1 , \pm 2 , \ldots \}\).)
  1. Prove that the elements of \(S\), under multiplication, form a commutative group \(G\). (You may assume that addition of integers is associative and commutative.)
  2. Determine whether or not each of the following subsets of \(S\), under multiplication, forms a subgroup of \(G\), justifying your answers.
    1. The numbers \(3 ^ { 2 n }\), where \(n \in \mathbb { Z }\).
    2. The numbers \(3 ^ { n }\), where \(n \in \mathbb { Z }\) and \(n \geqslant 0\).
    3. The numbers \(3 ^ { \left( \pm n ^ { 2 } \right) }\), where \(n \in \mathbb { Z }\). 4
OCR FP3 Specimen Q2
6 marks Standard +0.8
2 The set \(S = \{ a , b , c , d \}\) under the binary operation * forms a group \(G\) of order 4 with the following operation table.
\(*\)\(a\)\(b\)\(c\)\(d\)
\(a\)\(d\)\(a\)\(b\)\(c\)
\(b\)\(a\)\(b\)\(c\)\(d\)
\(c\)\(b\)\(c\)\(d\)\(a\)
\(d\)\(c\)\(d\)\(a\)\(b\)
  1. Find the order of each element of \(G\).
  2. Write down a proper subgroup of \(G\).
  3. Is the group \(G\) cyclic? Give a reason for your answer.
  4. State suitable values for each of \(a , b , c\) and \(d\) in the case where the operation \(*\) is multiplication of complex numbers.
OCR FP3 Specimen Q6
10 marks Challenging +1.2
6 The set \(S\) consists of all non-singular \(2 \times 2\) real matrices \(\mathbf { A }\) such that \(\mathbf { A Q } = \mathbf { Q A }\), where $$\mathbf { Q } = \left( \begin{array} { l l } 1 & 1 \\ 0 & 1 \end{array} \right)$$
  1. Prove that each matrix \(\mathbf { A }\) must be of the form \(\left( \begin{array} { l l } a & b \\ 0 & a \end{array} \right)\).
  2. State clearly the restriction on the value of \(a\) such that \(\left( \begin{array} { l l } a & b \\ 0 & a \end{array} \right)\) is in \(S\).
  3. Prove that \(S\) is a group under the operation of matrix multiplication. (You may assume that matrix multiplication is associative.)
OCR MEI FP3 2006 June Q4
24 marks Challenging +1.2
\(\mathbf { 4 }\) The group \(G\) consists of the 8 complex matrices \(\{ \mathbf { I } , \mathbf { J } , \mathbf { K } , \mathbf { L } , - \mathbf { I } , - \mathbf { J } , - \mathbf { K } , - \mathbf { L } \}\) under matrix multiplication, where $$\mathbf { I } = \left( \begin{array} { l l } 1 & 0 \\ 0 & 1 \end{array} \right) , \quad \mathbf { J } = \left( \begin{array} { r r } \mathrm { j } & 0 \\ 0 & - \mathrm { j } \end{array} \right) , \quad \mathbf { K } = \left( \begin{array} { r r } 0 & 1 \\ - 1 & 0 \end{array} \right) , \quad \mathbf { L } = \left( \begin{array} { c c } 0 & \mathrm { j } \\ \mathrm { j } & 0 \end{array} \right)$$
  1. Copy and complete the following composition table for \(G\).
    IJKL-I-J-K\(- \mathbf { L }\)
    IIJKL-I-J-K-L
    JJ-IL-K-JI-LK
    KK-L-I
    LLK
    -I-I-J
    -J-JI
    -K-KL
    -L-L-K
    (Note that \(\mathbf { J K } = \mathbf { L }\) and \(\mathbf { K J } = - \mathbf { L }\).)
  2. State the inverse of each element of \(G\).
  3. Find the order of each element of \(G\).
  4. Explain why, if \(G\) has a subgroup of order 4, that subgroup must be cyclic.
  5. Find all the proper subgroups of \(G\).
  6. Show that \(G\) is not isomorphic to the group of symmetries of a square.
OCR MEI FP3 2008 June Q4
24 marks Standard +0.8
4 A binary operation * is defined on real numbers \(x\) and \(y\) by $$x * y = 2 x y + x + y$$ You may assume that the operation \(*\) is commutative and associative.
  1. Explain briefly the meanings of the terms 'commutative' and 'associative'.
  2. Show that \(x * y = 2 \left( x + \frac { 1 } { 2 } \right) \left( y + \frac { 1 } { 2 } \right) - \frac { 1 } { 2 }\). The set \(S\) consists of all real numbers greater than \(- \frac { 1 } { 2 }\).
  3. (A) Use the result in part (ii) to show that \(S\) is closed under the operation *.
    (B) Show that \(S\), with the operation \(*\), is a group.
  4. Show that \(S\) contains no element of order 2 . The group \(G = \{ 0,1,2,4,5,6 \}\) has binary operation ∘ defined by $$x \circ y \text { is the remainder when } x * y \text { is divided by } 7 \text {. }$$
  5. Show that \(4 \circ 6 = 2\). The composition table for \(G\) is as follows.
    \(\circ\)012456
    0012456
    1140625
    2205164
    4461502
    5526041
    6654210
  6. Find the order of each element of \(G\).
  7. List all the subgroups of \(G\).
OCR MEI FP3 2010 June Q4
24 marks Challenging +1.8
4 The group \(F = \{ \mathrm { p } , \mathrm { q } , \mathrm { r } , \mathrm { s } , \mathrm { t } , \mathrm { u } \}\) consists of the six functions defined by $$\mathrm { p } ( x ) = x \quad \mathrm { q } ( x ) = 1 - x \quad \mathrm { r } ( x ) = \frac { 1 } { x } \quad \mathrm {~s} ( x ) = \frac { x - 1 } { x } \quad \mathrm { t } ( x ) = \frac { x } { x - 1 } \quad \mathrm { u } ( x ) = \frac { 1 } { 1 - x } ,$$ the binary operation being composition of functions.
  1. Show that st \(= \mathrm { r }\) and find ts.
  2. Copy and complete the following composition table for \(F\).
    pqrstu
    ppqrstu
    qqpsrut
    rruptsq
    sstqurp
    ttsu
    uurt
  3. Give the inverse of each element of \(F\).
  4. List all the subgroups of \(F\). The group \(M\) consists of \(\left\{ 1 , - 1 , e ^ { \frac { \pi } { 3 } \mathrm { j } } , e ^ { - \frac { \pi } { 3 } \mathrm { j } } , e ^ { \frac { 2 \pi } { 3 } \mathrm { j } } , e ^ { - \frac { 2 \pi } { 3 } \mathrm { j } } \right\}\) with multiplication of complex numbers as its binary operation.
  5. Find the order of each element of \(M\). The group \(G\) consists of the positive integers between 1 and 18 inclusive, under multiplication modulo 19.
  6. Show that \(G\) is a cyclic group which can be generated by the element 2 .
  7. Explain why \(G\) has no subgroup which is isomorphic to \(F\).
  8. Find a subgroup of \(G\) which is isomorphic to \(M\).
OCR MEI FP3 2014 June Q4
24 marks Challenging +1.8
4 The twelve distinct elements of an abelian multiplicative group \(G\) are $$e , a , a ^ { 2 } , a ^ { 3 } , a ^ { 4 } , a ^ { 5 } , b , a b , a ^ { 2 } b , a ^ { 3 } b , a ^ { 4 } b , a ^ { 5 } b$$ where \(e\) is the identity element, \(a ^ { 6 } = e\) and \(b ^ { 2 } = e\).
  1. Show that the element \(a ^ { 2 } b\) has order 6 .
  2. Show that \(\left\{ e , a ^ { 3 } , b , a ^ { 3 } b \right\}\) is a subgroup of \(G\).
  3. List all the cyclic subgroups of \(G\). You are given that the set $$H = \{ 1,7,11,13,17,19,23,29,31,37,41,43,47,49,53,59,61,67,71,73,77,79,83,89 \}$$ with binary operation multiplication modulo 90 is a group.
  4. Determine the order of each of the elements 11, 17 and 19 .
  5. Give a cyclic subgroup of \(H\) with order 4.
  6. By identifying possible values for the elements \(a\) and \(b\) above, or otherwise, give one example of each of the following:
    (A) a non-cyclic subgroup of \(H\) with order 12,
    (B) a non-cyclic subgroup of \(H\) with order 4.
OCR MEI FP3 2009 June Q4
24 marks Challenging +1.2
4 The group \(G = \{ 1,2,3,4,5,6 \}\) has multiplication modulo 7 as its operation. The group \(H = \{ 1,5,7,11,13,17 \}\) has multiplication modulo 18 as its operation.
  1. Show that the groups \(G\) and \(H\) are both cyclic.
  2. List all the proper subgroups of \(G\).
  3. Specify an isomorphism between \(G\) and \(H\). The group \(S = \{ \mathrm { a } , \mathrm { b } , \mathrm { c } , \mathrm { d } , \mathrm { e } , \mathrm { f } \}\) consists of functions with domain \(\{ 1,2,3 \}\) given by $$\begin{array} { l l l } \mathrm { a } ( 1 ) = 2 & \mathrm { a } ( 2 ) = 3 & \mathrm { a } ( 3 ) = 1 \\ \mathrm {~b} ( 1 ) = 3 & \mathrm {~b} ( 2 ) = 1 & \mathrm {~b} ( 3 ) = 2 \\ \mathrm { c } ( 1 ) = 1 & \mathrm { c } ( 2 ) = 3 & \mathrm { c } ( 3 ) = 2 \\ \mathrm {~d} ( 1 ) = 3 & \mathrm {~d} ( 2 ) = 2 & \mathrm {~d} ( 3 ) = 1 \\ \mathrm { e } ( 1 ) = 1 & \mathrm { e } ( 2 ) = 2 & \mathrm { e } ( 3 ) = 3 \\ \mathrm { f } ( 1 ) = 2 & \mathrm { f } ( 2 ) = 1 & \mathrm { f } ( 3 ) = 3 \end{array}$$ and the group operation is composition of functions.
  4. Show that ad \(= \mathrm { c }\) and find da.
  5. Give a reason why \(S\) is not isomorphic to \(G\).
  6. Find the order of each element of \(S\).
  7. List all the proper subgroups of \(S\).
OCR FP3 2009 January Q1
5 marks Standard +0.8
1 In this question \(G\) is a group of order \(n\), where \(3 \leqslant n < 8\).
  1. In each case, write down the smallest possible value of \(n\) :
    1. if \(G\) is cyclic,
    2. if \(G\) has a proper subgroup of order 3,
    3. if \(G\) has at least two elements of order 2 .
    4. Another group has the same order as \(G\), but is not isomorphic to \(G\). Write down the possible value(s) of \(n\).
OCR FP3 2012 January Q7
9 marks Challenging +1.8
7 The set \(M\) consists of the six matrices \(\left( \begin{array} { l l } 1 & 0 \\ n & 1 \end{array} \right)\), where \(n \in \{ 0,1,2,3,4,5 \}\). It is given that \(M\) forms a group ( \(M , \times\) ) under matrix multiplication, with numerical addition and multiplication both being carried out modulo 6 .
  1. Determine whether ( \(M , \times\) ) is a commutative group, justifying your answer.
  2. Write down the identity element of the group and find the inverse of \(\left( \begin{array} { l l } 1 & 0 \\ 2 & 1 \end{array} \right)\).
  3. State the order of \(\left( \begin{array} { l l } 1 & 0 \\ 3 & 1 \end{array} \right)\) and give a reason why \(( M , \times )\) has no subgroup of order 4.
  4. The multiplicative group \(G\) has order 6. All the elements of \(G\), apart from the identity, have order 2 or 3 . Determine whether \(G\) is isomorphic to ( \(M , \times\) ), justifying your answer.
OCR FP3 2013 January Q8
14 marks Challenging +1.8
8 A multiplicative group \(H\) has the elements \(\left\{ e , a , a ^ { 2 } , a ^ { 3 } , w , a w , a ^ { 2 } w , a ^ { 3 } w \right\}\) where \(e\) is the identity, elements \(a\) and \(w\) have orders 4 and 2 respectively and \(w a = a ^ { 3 } w\).
  1. Show that \(w a ^ { 2 } = a ^ { 2 } w\) and also that \(w a ^ { 3 } = a w\).
  2. Hence show that each of \(a w , a ^ { 2 } w\) and \(a ^ { 3 } w\) has order 2 .
  3. Find two non-cyclic subgroups of \(H\) of order 4, and show that they are not cyclic.
OCR FP3 2012 June Q8
11 marks Challenging +1.2
8 The set \(M\) of matrices \(\left( \begin{array} { l l } a & b \\ c & d \end{array} \right)\), where \(a , b , c\) and \(d\) are real and \(a d - b c = 1\), forms a group \(( M , \times )\) under matrix multiplication. \(R\) denotes the set of all matrices \(\left( \begin{array} { c c } \cos \theta & - \sin \theta \\ \sin \theta & \cos \theta \end{array} \right)\).
  1. Prove that ( \(R , \times\) ) is a subgroup of ( \(M , \times\) ).
  2. By considering geometrical transformations in the \(x - y\) plane, find a subgroup of \(( R , \times )\) of order 6 . Give the elements of this subgroup in exact numerical form. \section*{THERE ARE NO QUESTIONS WRITTEN ON THIS PAGE.}
OCR FP3 2014 June Q4
11 marks Challenging +1.3
4 The group \(G\) consists of the set \(\{ 1,3,7,9,11,13,17,19 \}\) combined under multiplication modulo 20.
  1. Find the inverse of each element.
  2. Show that \(G\) is not cyclic.
  3. Find two isomorphic subgroups of order 4 and state an isomorphism between them.
OCR FP3 2015 June Q2
8 marks Standard +0.8
2 The elements of a group \(G\) are polynomials of the form \(a + b x + c x ^ { 2 }\), where \(a , b , c \in \{ 0,1,2,3,4 \}\). The group operation is addition, where the coefficients are added modulo 5 .
  1. State the identity element.
  2. State the inverse of \(3 + 2 x + x ^ { 2 }\).
  3. State the order of \(G\). The proper subgroup \(H\) contains \(2 + x\) and \(1 + x\).
  4. Find the order of \(H\), justifying your answer.
OCR FP3 2015 June Q8
12 marks Challenging +1.8
8 Let \(G\) be any multiplicative group. \(H\) is a subset of \(G\). \(H\) consists of all elements \(h\) such that \(h g = g h\) for every element \(g\) in \(G\).
  1. Prove that \(H\) is a subgroup of \(G\). Now consider the case where \(G\) is given by the following table:
    \(e\)\(p\)\(q\)\(r\)\(s\)\(t\)
    \(e\)\(e\)\(p\)\(q\)\(r\)\(s\)\(t\)
    \(p\)\(p\)\(q\)\(e\)\(s\)\(t\)\(r\)
    \(q\)\(q\)\(e\)\(p\)\(t\)\(r\)\(s\)
    \(r\)\(r\)\(t\)\(s\)\(e\)\(q\)\(p\)
    \(s\)\(s\)\(r\)\(t\)\(p\)\(e\)\(q\)
    \(t\)\(t\)\(s\)\(r\)\(q\)\(p\)\(e\)
  2. Show that \(H\) consists of just the identity element.
OCR FP3 2009 June Q8
15 marks Challenging +1.8
8 A multiplicative group \(Q\) of order 8 has elements \(\left\{ e , p , p ^ { 2 } , p ^ { 3 } , a , a p , a p ^ { 2 } , a p ^ { 3 } \right\}\), where \(e\) is the identity. The elements have the properties \(p ^ { 4 } = e\) and \(a ^ { 2 } = p ^ { 2 } = ( a p ) ^ { 2 }\).
  1. Prove that \(a = p a p\) and that \(p = a p a\).
  2. Find the order of each of the elements \(p ^ { 2 } , a , a p , a p ^ { 2 }\).
  3. Prove that \(\left\{ e , a , p ^ { 2 } , a p ^ { 2 } \right\}\) is a subgroup of \(Q\).
  4. Determine whether \(Q\) is a commutative group.
OCR FP3 2016 June Q8
17 marks Challenging +1.8
8 A non-commutative multiplicative group \(G\) of order eight has the elements $$\left\{ e , a , a ^ { 2 } , a ^ { 3 } , b , a b , a ^ { 2 } b , a ^ { 3 } b \right\}$$ where \(e\) is the identity and \(a ^ { 4 } = b ^ { 2 } = e\).
  1. Show that \(b a \neq a ^ { n }\) for any integer \(n\).
  2. Prove, by contradiction, that \(b a \neq a ^ { 2 } b\) and also that \(b a \neq a b\). Deduce that \(b a = a ^ { 3 } b\).
  3. Prove that \(b a ^ { 2 } = a ^ { 2 } b\).
  4. Construct group tables for the three subgroups of \(G\) of order four. \section*{END OF QUESTION PAPER}
OCR MEI FP3 2011 June Q4
24 marks Challenging +1.8
4
  1. Show that the set \(G = \{ 1,3,4,5,9 \}\), under the binary operation of multiplication modulo 11 , is a group. You may assume associativity.
  2. Explain why any two groups of order 5 must be isomorphic to each other. The set \(H = \left\{ 1 , \mathrm { e } ^ { \frac { 2 } { 5 } \pi \mathrm { j } } , \mathrm { e } ^ { \frac { 4 } { 5 } \pi \mathrm { j } } , \mathrm { e } ^ { \frac { 6 } { 5 } \pi \mathrm { j } } , \mathrm { e } ^ { \frac { 8 } { 5 } \pi \mathrm { j } } \right\}\) is a group under the binary operation of multiplication of complex numbers.
  3. Specify an isomorphism between the groups \(G\) and \(H\). The set \(K\) consists of the 25 ordered pairs \(( x , y )\), where \(x\) and \(y\) are elements of \(G\). The set \(K\) is a group under the binary operation defined by $$\left( x _ { 1 } , y _ { 1 } \right) \left( x _ { 2 } , y _ { 2 } \right) = \left( x _ { 1 } x _ { 2 } , y _ { 1 } y _ { 2 } \right)$$ where the multiplications are carried out modulo 11 ; for example, \(( 3,5 ) ( 4,4 ) = ( 1,9 )\).
  4. Write down the identity element of \(K\), and find the inverse of the element \(( 9,3 )\).
  5. Explain why \(( x , y ) ^ { 5 } = ( 1,1 )\) for every element \(( x , y )\) in \(K\).
  6. Deduce that all the elements of \(K\), except for one, have order 5. State which is the exceptional element.
  7. A subgroup of \(K\) has order 5 and contains the element (9, 3). List the elements of this subgroup.
  8. Determine how many subgroups of \(K\) there are with order 5 .
OCR MEI FP3 2007 June Q4
24 marks Challenging +1.8
4
  1. Prove that, for a group of order 10, every proper subgroup must be cyclic. The set \(M = \{ 1,2,3,4,5,6,7,8,9,10 \}\) is a group under the binary operation of multiplication modulo 11.
  2. Show that \(M\) is cyclic.
  3. List all the proper subgroups of \(M\). The group \(P\) of symmetries of a regular pentagon consists of 10 transformations $$\{ \mathrm { A } , \mathrm {~B} , \mathrm { C } , \mathrm { D } , \mathrm { E } , \mathrm {~F} , \mathrm { G } , \mathrm { H } , \mathrm { I } , \mathrm {~J} \}$$ and the binary operation is composition of transformations. The composition table for \(P\) is given below.
    ABCDEFGHIJ
    ACJGHABIFED
    BFEHGBADCJI
    CGDIFCJEBAH
    DJCBEDGFIHA
    EABCDEFGHIJ
    FHIDCFEJABG
    GIHEBGDAJCF
    HDGJAHIBEFC
    IEFAJIHCDGB
    JBAFIJCHGDE
    One of these transformations is the identity transformation, some are rotations and the rest are reflections.
  4. Identify which transformation is the identity, which are rotations and which are reflections.
  5. State, giving a reason, whether \(P\) is isomorphic to \(M\).
  6. Find the order of each element of \(P\).
  7. List all the proper subgroups of \(P\).
OCR Further Additional Pure AS 2022 June Q7
13 marks Standard +0.8
7 The diagram below shows an equilateral triangle \(A B C\). The three lines of reflection symmetry of \(A B C\) (the lines \(a , b\) and \(c\) ) are shown as broken lines. The point of intersection of these three lines, \(O\), is the centre of rotational symmetry of the triangle. \includegraphics[max width=\textwidth, alt={}, center]{06496165-0b83-4050-ae26-fa5a0614bd46-4_533_538_884_246} The group \(D _ { 3 }\) is defined as the set of symmetries of \(A B C\) under the composition of the following transformations. \(i\) : the identity transformation \(a\) : reflection in line \(a\) \(b\) : reflection in line \(b\) \(c\) : reflection in line \(c\) \(p\) : an anticlockwise rotation about \(O\) through \(120 ^ { \circ }\) \(q\) : a clockwise rotation about \(O\) through \(120 ^ { \circ }\) Note that the lines \(a , b\) and \(c\) are unaffected by the transformations and remain fixed.
  1. On the diagrams provided in the Printed Answer Booklet, show each of the six elements of \(D _ { 3 }\) obtained when the above transformations are applied to triangle \(A B C\).
  2. Complete the Cayley table given in the Printed Answer Booklet.
  3. List all the proper subgroups of \(D _ { 3 }\).
  4. State, with justification, whether \(D _ { 3 }\) is
    1. cyclic,
    2. abelian.
  5. The group \(H\), also of order 6, is the set of rotational symmetries of the regular hexagon. Describe two structural differences between \(D _ { 3 }\) and \(H\). \section*{END OF QUESTION PAPER}
OCR Further Additional Pure AS 2020 November Q4
12 marks Standard +0.8
4
  1. For the set \(S = \{ 2,4,6,8,10,12 \}\), under the operation \(\times _ { 14 }\) of multiplication modulo 14, complete the Cayley table given in the Printed Answer Booklet.
  2. Show that ( \(S , \times _ { 14 }\) ) forms a group, \(G\). (You may assume that \(\times _ { 14 }\) is associative.)
    1. Write down all the proper subgroups of \(G\).
    2. Given that \(G\) is cyclic, write down all the possible generators of \(G\).
OCR Further Additional Pure 2024 June Q8
15 marks Challenging +1.8
8 The group \(G\) is cyclic and of order 12.
    1. State the possible orders of all the proper subgroups of \(G\). You must justify your answers.
    2. List all the elements of each of these subgroups.
    3. Explain why \(G\) must be abelian. The group \(\mathbb { Z } _ { k }\) is the cyclic group of order \(k\), consisting of the elements \(\{ 0,1,2 , \ldots , k - 1 \}\) under the operation \(+ _ { k }\) of addition modulo \(k\). The coordinate group \(\mathrm { C } _ { \mathrm { mn } }\) is the group which consists of elements of the form \(( x , y )\), where \(\mathrm { x } \in \mathbb { Z } _ { \mathrm { m } }\) and \(\mathrm { y } \in \mathbb { Z } _ { \mathrm { n } }\), under the operation \(\oplus\) given by \(\left( \mathrm { x } _ { 1 } , \mathrm { y } _ { 1 } \right) \oplus \left( \mathrm { x } _ { 2 } , \mathrm { y } _ { 2 } \right) = \left( \mathrm { x } _ { 1 } + { } _ { \mathrm { m } } \mathrm { x } _ { 2 } , \mathrm { y } _ { 1 } + { } _ { \mathrm { n } } \mathrm { y } _ { 2 } \right)\). For example, for \(m = 5\) and \(n = 2 , ( 3,0 ) \oplus ( 4,1 ) = ( 2,1 )\).
    1. List all the elements of \(\mathrm { J } = \mathrm { C } _ { 34 }\).
    2. Show that \(G\) and \(J\) are isomorphic. There is a second coordinate group of order 12; that is, \(\mathrm { K } = \mathrm { C } _ { \mathrm { mn } }\), where \(1 < \mathrm { m } < \mathrm { n } < 12\) but neither \(m\) nor \(n\) is equal to 3 or 4 .
    1. State the values of \(m\) and \(n\) which give \(K\).
    2. Hence list all of the elements of \(K\).
    3. Explain why \(K\) must be abelian.
  1. Show that \(G\) and \(K\) are not isomorphic. \section*{END OF QUESTION PAPER}
OCR Further Additional Pure 2020 November Q6
10 marks Challenging +1.8
6 The group \(G\) consists of the set \(\{ 3,6,9,12,15,18,21,24,27,30,33,36 \}\) under \(\times _ { 39 }\), the operation of multiplication modulo 39.
  1. List the possible orders of proper subgroups of \(G\), justifying your answer.
  2. List the elements of the subset of \(G\) generated by the element 3 .
  3. State the identity element of \(G\).
  4. Determine the order of the element 18 .
  5. Find the two elements \(g _ { 1 }\) and \(g _ { 2 }\) in \(G\) which satisfy \(g \times { } _ { 39 } g = 3\). The group \(H\) consists of the set \(\{ 1,2,3,4,5,6,7,8,9,10,11,12 \}\) under \(\times _ { 13 }\), the operation of multiplication modulo 13. You are given that \(G\) is isomorphic to \(H\). A student states that \(G\) is isomorphic to \(H\) because each element \(3 x\) in \(G\) maps directly to the element \(x\) in \(H\) (for \(x = 1,2,3,4,5,6,7,8,9,10,11,12\) ).
  6. Explain why this student is incorrect.
OCR Further Additional Pure 2021 November Q2
5 marks Challenging +1.3
2 The following Cayley table is for \(G\), a group of order 6. The identity element is \(e\) and the group is generated by the elements \(a\) and \(b\).
G\(e\)\(a\)\(a ^ { 2 }\)\(b\)\(a b\)\(\mathrm { a } ^ { 2 } \mathrm {~b}\)
\(e\)\(e\)\(a\)\(a ^ { 2 }\)\(b\)\(a b\)\(\mathrm { a } ^ { 2 } \mathrm {~b}\)
\(a\)\(a\)\(a ^ { 2 }\)\(e\)\(a b\)\(\mathrm { a } ^ { 2 } \mathrm {~b}\)\(b\)
\(a ^ { 2 }\)\(a ^ { 2 }\)\(e\)\(a\)\(\mathrm { a } ^ { 2 } \mathrm {~b}\)\(b\)\(a b\)
\(b\)b\(\mathrm { a } ^ { 2 } \mathrm {~b}\)\(a b\)\(e\)\(a ^ { 2 }\)\(a\)
\(a b\)\(a b\)b\(\mathrm { a } ^ { 2 } \mathrm {~b}\)\(a\)\(e\)\(a ^ { 2 }\)
\(\mathrm { a } ^ { 2 } \mathrm {~b}\)\(\mathrm { a } ^ { 2 } \mathrm {~b}\)\(a b\)b\(a ^ { 2 }\)\(a\)\(e\)
  1. List all the proper subgroups of \(G\).
  2. State another group of order 6 to which \(G\) is isomorphic.