8.03c Group definition: recall and use, show structure is/isn't a group

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}

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 .

4

1. The elements of the set \(P = \{ 1,3,9,11 \}\) are combined under the binary operation, *, defined as multiplication modulo 16.
   1. Demonstrate associativity for the elements \(3,9,11\) in that order. Assuming associativity holds in general, show that \(P\) forms a group under the binary operation *.
   2. Write down the order of each element.
   3. Write down all subgroups of \(P\).
   4. Show that the group in part (i) is cyclic.
2. Now consider a group of order 4 containing the identity element \(e\) and the two distinct elements, \(a\) and \(b\), where \(a ^ { 2 } = b ^ { 2 } = e\). Construct the composition table. Show that the group is non-cyclic.
3. Now consider the four matrices \(\mathbf { I } , \mathbf { X } , \mathbf { Y }\) and \(\mathbf { Z }\) where $$\mathbf { I } = \left( \begin{array} { l l } 1 & 0 \\ 0 & 1 \end{array} \right) , \mathbf { X } = \left( \begin{array} { r r } 1 & 0 \\ 0 & - 1 \end{array} \right) , \mathbf { Y } = \left( \begin{array} { r r } - 1 & 0 \\ 0 & 1 \end{array} \right) , \mathbf { Z } = \left( \begin{array} { r r } - 1 & 0 \\ 0 & - 1 \end{array} \right) .$$ The group G consists of the set \(\{ \mathbf { I } , \mathbf { X } , \mathbf { Y } , \mathbf { Z } \}\) with binary operation matrix multiplication. Determine which of the groups in parts (a) and (b) is isomorphic to G, and specify the isomorphism.
4. The distinct elements \(\{ p , q , r , s \}\) are combined under the binary operation \({ } ^ { \circ }\). You are given that \(p ^ { \circ } q = r\) and \(q ^ { \circ } p = s\). By reference to the group axioms, prove that \(\{ p , q , r , s \}\) is not a group under \({ } ^ { \circ }\). Option 5: Markov chains \section*{This question requires the use of a calculator with the ability to handle matrices.}

4 The group \(G\) consists of a set of six matrices under matrix multiplication. Two of the elements of \(G\) are \(\mathbf { A } = \left( \begin{array} { l l } 0 & 1 \\ 1 & 0 \end{array} \right)\) and \(\mathbf { B } = \left( \begin{array} { l l } 1 & - 1 \\ 0 & - 1 \end{array} \right)\).

1. Determine each of the following:
   • \(\mathbf { A } ^ { 2 }\)
   • \(\mathbf { B } ^ { 2 }\)
   • Determine all the elements of \(G\).
   • State the order of each non-identity element of \(G\).
   • State, with justification, whether \(G\) is
   • abelian
   • cyclic.

7 You are given the set \(S = \{ 1,5,7,11,13,17 \}\) together with \(\times _ { 18 }\), the operation of multiplication modulo 18.

1. Complete the Cayley table for \(\left( S , \times _ { 18 } \right)\) given in the Printed Answer Booklet.
2. Prove that ( \(S , \times _ { 18 }\) ) is a group. (You may assume that \(\times _ { 18 }\) is associative.)
3. Write down the order of each element of the group.
4. Show that \(\left( S , \times _ { 18 } \right)\) is a cyclic group.
5. 1. Give an example of a non-cyclic group of order 6 .
   2. Give one reason why your example is structurally different to \(\left( S , { } _ { 18 } \right)\).

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}

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.)
3. 1. Write down all the proper subgroups of \(G\).
   2. Given that \(G\) is cyclic, write down all the possible generators of \(G\).

3 A non-commutative group \(G\) consists of the six elements \(\left\{ e , a , a ^ { 2 } , b , a b , b a \right\}\) where \(e\) is the identity element, \(a\) is an element of order 3 and \(b\) is an element of order 2 .
By considering the row in \(G\) 's group table in which each of the above elements is pre-multiplied by \(b\), show that \(b a ^ { 2 } = a b\).

4 Let \(S\) be the set \(\{ 16,36,56,76,96 \}\) and \(\times _ { H }\) the operation of multiplication modulo 100 .

1. Given that \(a\) and \(b\) are odd positive integers, show that \(( 10 a + 6 ) ( 10 b + 6 )\) can also be written in the form \(10 n + 6\) for some odd positive integer \(n\).
2. Construct the Cayley table for \(\left( S , \times _ { H } \right)\)
3. Show that \(\left( S , \times _ { H } \right)\) is a group.
   [0pt] [You may use the result that \(\times _ { H }\) is associative on \(S\).]
4. Write down all generators of \(\left( S , \times _ { H } \right)\).

5 The group \(G\) consists of a set \(S\) together with \(\times _ { 80 }\), the operation of multiplication modulo 80. It is given that \(S\) is the smallest set which contains the element 11 .

1. By constructing the Cayley table for \(G\), determine all the elements of \(S\). The Cayley table for a second group, \(H\), also with the operation \(\times _ { 80 }\), is shown below.

   \cline { 2 - 5 } \multicolumn{1}{c|}{\(\times _ { 80 }\)}	1	9	31	39
   1	1	9	31	39
   9	9	1	39	31
   31	31	39	1	9
   39	39	31	9	1

2. Use the two Cayley tables to explain why \(G\) and \(H\) are not isomorphic.
3. (i) List

8

1. Explain why all groups of even order must contain at least one self-inverse element (that is, an element of order 2).
2. Prove that any group, in which every (non-identity) element is self-inverse, is abelian.
3. A student believes that, if \(x\) and \(y\) are two distinct, non-identity, self-inverse elements of a group, then the element \(x y\) is also self-inverse. The table shown here is the Cayley table for the non-cyclic group of order 6, having elements \(i , a , b , c , d\) and \(e\), where \(i\) is the identity.

   	\(i\)	\(a\)	\(b\)	\(c\)	\(d\)	\(e\)
   \(i\)	\(i\)	\(a\)	\(b\)	\(c\)	\(d\)	\(e\)
   \(a\)	\(a\)	\(i\)	\(d\)	\(e\)	\(b\)	\(c\)
   \(b\)	\(b\)	\(e\)	\(i\)	\(d\)	\(c\)	\(a\)
   \(c\)	\(c\)	\(d\)	\(e\)	\(i\)	\(a\)	\(b\)
   \(d\)	\(d\)	\(c\)	\(a\)	\(b\)	\(e\)	\(i\)
   \(e\)	\(e\)	\(b\)	\(c\)	\(a\)	\(i\)	\(d\)

   By considering the elements of this group, produce a counter-example which proves that this student is wrong.
4. A group \(G\) has order \(4 n + 2\), for some positive integer \(n\), and \(i\) is the identity element of \(G\). Let \(x\) and \(y\) be two distinct, non-identity, self-inverse elements of \(G\). By considering the set \(\mathrm { H } = \{ \mathrm { i } , \mathrm { x } , \mathrm { y } , \mathrm { xy } \}\), prove by contradiction that not all elements of \(G\) are self-inverse.

9 The set \(C\) consists of the set of all complex numbers excluding 1 and - 1 . The operation ⊕ is defined on the elements of \(C\) by \(\mathrm { a } \oplus \mathrm { b } = \frac { \mathrm { a } + \mathrm { b } } { \mathrm { ab } + 1 }\) where \(\mathrm { a } , \mathrm { b } \in \mathrm { C }\).

1. Determine the identity element of \(C\) under ⊕.
2. For each element \(x\) in \(C\) show that it has an inverse element in \(C\).
3. Show that \(\oplus\) is associative on \(C\).
4. Explain why \(( C , \oplus )\) is not a group.
5. Find a subset, \(D\), of \(C\) such that \(( D , \oplus )\) is a group of order 3 . \section*{END OF QUESTION PAPER} }{www.ocr.org.uk}) after the live examination series.
   If OCR has unwittingly failed to correctly acknowledge or clear any third-party content in this assessment material, OCR will be happy to correct its mistake at the earliest possible opportunity.
   For queries or further information please contact The OCR Copyright Team, The Triangle Building, Shaftesbury Road, Cambridge CB2 8EA.
   OCR is part of Cambridge University Press \& Assessment, which is itself a department of the University of Cambridge.

1 The following Cayley table is for a set \(\{ a , b , c , d \}\) under a suitable binary operation.

1. Given that the Latin square property holds for this Cayley table, complete it using the table supplied in the Printed Answer Booklet.
2. Using your completed Cayley table, explain why the set does not form a group under the binary operation.

6 The binary operation ◇ is defined on the set \(\mathbb { C }\) of complex numbers by \(( a + i b ) \diamond ( c + i d ) = a c + i ( b + a d )\) where \(a , b , c\) and \(d\) are real numbers.

1. Is \(\mathbb { C }\) closed under △ ? Justify your answer.
2. Prove that ◇ is associative on \(\mathbb { C }\).
3. Determine the identity element of \(\mathbb { C }\) under \(\diamond\).
4. Determine the largest subset S of \(\mathbb { C }\) such that \(( \mathrm { S } , \diamond )\) is a group.

8 The set \(X\) consists of all \(2 \times 2\) matrices of the form \(\left( \begin{array} { r r } x & - y \\ y & x \end{array} \right)\), where \(x\) and \(y\) are real numbers which are not both zero.

1. (a) The matrices \(\left( \begin{array} { c c } a & - b \\ b & a \end{array} \right)\) and \(\left( \begin{array} { c c } c & - d \\ d & c \end{array} \right)\) are both elements of \(X\). Show that \(\left( \begin{array} { c c } a & - b \\ b & a \end{array} \right) \left( \begin{array} { c c } c & - d \\ d & c \end{array} \right) = \left( \begin{array} { c c } p & - q \\ q & p \end{array} \right)\) for some real numbers \(p\) and \(q\) to be found in terms of \(a , b , c\) and \(d\).
   (b) Prove by contradiction that \(p\) and \(q\) are not both zero.
2. Prove that \(X\), under matrix multiplication, forms a group \(G\). [You may use the result that matrix multiplication is associative.]
3. Determine a subgroup of \(G\) of order 17.

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

4 The set \(G\) is given by \(G = \{ \mathbf { M } : \mathbf { M }\) is a real \(2 \times 2\) matrix and det \(\mathbf { M } = 1 \}\).

1. Show that \(G\) forms a group under matrix multiplication, × . You may assume that matrix multiplication is associative.
2. The matrix \(\mathbf { A } _ { n }\) is defined by \(\mathbf { A } _ { n } = \left( \begin{array} { l l } 1 & 0 \\ n & 1 \end{array} \right)\) for any integer \(n\). The set \(S\) is defined by \(\mathrm { S } = \left\{ \mathrm { A } _ { \mathrm { n } } : \mathrm { n } \in \mathbb { Z } , \mathrm { n } \geqslant 0 \right\}\).
   1. Determine whether \(S\) is closed under × .
   2. Determine whether \(S\) is a subgroup of ( \(G , \times\) ).
3. 1. Find a subgroup of ( \(G , \times\) ) of order 2 .
   2. By considering the inverse of the non-identity element in any such subgroup, or otherwise, show that this is the only subgroup of ( \(G , \times\) ) of order 2. The set of all real \(2 \times 2\) matrices is denoted by \(H\).
4. With the help of an example, explain why ( \(H , \times\) ) is not a group.

3 Fig. 3.1 shows an equilateral triangle, with vertices \(\mathrm { A } , \mathrm { B }\) and C , and the three axes of symmetry of the triangle, \(\mathrm { S } _ { \mathrm { a } } , \mathrm { S } _ { \mathrm { b } }\) and \(\mathrm { S } _ { \mathrm { c } }\). The axes of symmetry are fixed in space and all intersect at the point O . \begin{figure}[h] \end{figure} There are six distinct transformations under which the image of the triangle is indistinguishable from the triangle itself, ignoring labels.
These are denoted by \(\mathrm { I } , \mathrm { M } _ { a ^ { \prime } } \mathrm { M } _ { \mathrm { b } ^ { \prime } } , \mathrm { M } _ { \mathrm { c } ^ { \prime } } , \mathrm { R } _ { 120 }\) and \(\mathrm { R } _ { 240 }\) where

• I is the identity transformation
• \(\mathrm { M } _ { \mathrm { a } }\) is a reflection in the mirror line \(\mathrm { S } _ { \mathrm { a } }\) (and likewise for \(\mathrm { M } _ { \mathrm { b } }\) and \(\mathrm { M } _ { \mathrm { c } }\) )
• \(\mathrm { R } _ { 120 }\) is an anticlockwise rotation by \(120 ^ { \circ }\) about O (and likewise for \(\mathrm { R } _ { 240 }\) ).

Composition of transformations is denoted by ○.
Fig. 3.2 illustrates the composition of \(R _ { 120 }\) followed by \(R _ { 240 }\), denoted by \(R _ { 240 } \circ R _ { 120 }\). This shows that \(\mathrm { R } _ { 240 } \circ \mathrm { R } _ { 120 }\) is equivalent to the identity transformation, so that \(\mathrm { R } _ { 240 } \circ \mathrm { R } _ { 120 } = \mathrm { I }\). \begin{figure}[h] \end{figure}

1. Using the blank diagrams in the Printed Answer Booklet, find the single transformation which is equivalent to each of the following.
   The set of the six transformations is denoted by G and you are given that \(( \mathrm { G } , \circ )\) is a group. The table below is a mostly empty composition table for \(\circ\). The entry given is that for \(R _ { 240 } \circ R _ { 120 }\).
   First transformation performed is
   followed by

   ◯	I	\(\mathrm { M } _ { \mathrm { a } }\)	\(\mathrm { M } _ { \mathrm { b } }\)	\(\mathrm { M } _ { \mathrm { c } }\)	\(\mathrm { R } _ { 120 }\)	\(\mathrm { R } _ { 240 }\)
   I
   \(\mathrm { M } _ { \mathrm { a } }\)
   \(\mathrm { M } _ { \mathrm { b } }\)
   \(\mathrm { M } _ { \mathrm { c } }\)
   \(\mathrm { R } _ { 120 }\)
   \(\mathrm { R } _ { 240 }\)					I

2. Complete the copy of this table in the Printed Answer Booklet. You can use some or all of the spare copies of the diagram in the Printed Answer Booklet to help.
3. Explain why there can be no subgroup of \(( \mathrm { G } , \circ )\) of order 4.
4. A student makes the following claim.
   "If all the proper non-trivial subgroups of a group are abelian then the group itself is abelian."
   Explain why the claim is incorrect, justifying your answer fully.
5. With reference to the order of elements in the groups, explain why ( \(\mathrm { G } , \circ\) ) is not isomorphic to \(\mathrm { C } _ { 6 }\), the cyclic group of order 6 .

4

1. In each of the following cases, a set \(G\) and a binary operation ∘ are given. The operation ∘ may be assumed to be associative on \(G\). Determine which, if any, of the other three group axioms are satisfied by ( \(G , \circ\) ) and which, if any, are not satisfied.
   1. \(G = \{ 2 n + 1 : n \in \mathbb { Z } \}\) and \(\circ\) is addition.
   2. \(G = \{ a + b \sqrt { 2 } : a , b \in \mathbb { Z } \}\) and ∘ is multiplication.
   3. \(G\) is the set of all real numbers and ∘ is multiplication.
2. A group \(M\) consists of eight \(2 \times 2\) matrices under the operation of matrix multiplication. Five of the eight elements of \(M\) are as follows. $$\frac { 1 } { \sqrt { 2 } } \left( \begin{array} { l l } 1 & \mathrm { i } \\ \mathrm { i } & 1 \end{array} \right) \quad \frac { 1 } { \sqrt { 2 } } \left( \begin{array} { r r } - 1 & \mathrm { i } \\ \mathrm { i } & - 1 \end{array} \right) \quad \frac { 1 } { \sqrt { 2 } } \left( \begin{array} { r r } 1 & - \mathrm { i } \\ - \mathrm { i } & 1 \end{array} \right) \quad \left( \begin{array} { l l } 0 & \mathrm { i } \\ \mathrm { i } & 0 \end{array} \right) \quad \left( \begin{array} { l l } 1 & 0 \\ 0 & 1 \end{array} \right)$$
   1. Find the other three elements of \(M\). \(( N , * )\) is another group of order 8, with identity element \(e\). You are given that \(N = \langle a , b , c \rangle\) where \(a * a = b * b = c * c = e\).
   2. State whether \(M\) and \(N\) are isomorphic to each other, giving a reason for your answer.

5 The binary operation * is defined as $$a * b = a + b + 4 ( \bmod 6 )$$ where \(a , b \in \mathbb { Z }\). 5

1. Show that the set \(\{ 0,1,2,3,4,5 \}\) forms a group \(G\) under *.
   5
2. Find the proper subgroups of the group \(G\) in part (a).
   5
3. Determine whether or not the group \(G\) in part (a) is isomorphic to the group \(K = \left( \langle 3 \rangle , \times _ { 14 } \right)\) [0pt] [3 marks]

2. \begin{figure}[h] \end{figure} Figure 1 shows an equilateral triangle \(A B C\). The lines \(x , y\) and \(z\) and their point of intersection, \(O\), are fixed in the plane. The triangle \(A B C\) is transformed about these fixed lines and the fixed point \(O\). The lines \(x , y\) and \(z\) each pass through a vertex of the triangle and the midpoint of the opposite side. The transformations \(I , X , Y , Z , R _ { 1 }\) and \(R _ { 2 }\) of the plane containing triangle \(A B C\) are defined as follows:

• I: Do nothing
• \(X\) : Reflect in the line \(x\)
• \(Y\) : Reflect in the line \(y\)
• \(Z\) : Reflect in the line \(z\)
• \(R _ { 1 }\) : Rotate \(120 ^ { \circ }\) anticlockwise about \(O\)
• \(R _ { 2 }\) : Rotate \(240 ^ { \circ }\) anticlockwise about \(O\)

The operation * is defined as 'followed by' on the set \(T = \left\{ I , X , Y , Z , R _ { 1 } , R _ { 2 } \right\}\).
For example, \(X { } ^ { * } Y\) means a reflection in the line \(x\) followed by a reflection in the line \(y\).

1. 1. Complete the Cayley table on page 5 Given that the associative law is satisfied,
   2. show that \(T\) is a group under the operation *
2. Show that the element \(R _ { 2 }\) has order 3
3. Explain why \(T\) is not a cyclic group.
4. Write down the elements of a subgroup of \(T\) that has order 3

   \multirow{2}{*}{}		Second transformation
   	*	I	\(X\)	\(Y\)	\(Z\)	\(R _ { 1 }\)	\(R _ { 2 }\)
   \multirow{6}{*}{First Transformation}	I
   	\(X\)		I			\(Z\)
   	\(Y\)
   	\(Z\)
   	\(R _ { 1 }\)		\(Y\)
   	\(R _ { 2 }\)

   \begin{table}[h]
   \captionsetup{labelformat=empty} \caption{Only use this grid if you need to re-write your Cayley table}

   \multirow{2}{*}{}		Second transformation
   	*	I	\(X\)	\(Y\)	Z	\(R _ { 1 }\)	\(R _ { 2 }\)
   \multirow{6}{*}{First Transformation}	I
   	X		I			Z
   	Y
   	Z
   	\(R _ { 1 }\)		\(Y\)
   	\(R _ { 2 }\)

   \end{table}

1. The set \(\{ e , p , q , r , s \}\) forms a group, \(A\), under the operation *

Given that \(e\) is the identity element and that $$p ^ { * } p = s \quad s ^ { * } s = r \quad p ^ { * } p ^ { * } p = q$$

1. show that
   1. \(p ^ { * } q = r\)
   2. \(s ^ { * } p = q\)
2. Hence complete the Cayley table below.

   *	\(e\)	\(\boldsymbol { p }\)	\(\boldsymbol { q }\)	\(r\)	\(s\)
   \(e\)
   \(\boldsymbol { p }\)
   \(\boldsymbol { q }\)
   \(\boldsymbol { r }\)
   \(S\)

   A spare table can be found on page 11 if you need to rewrite your Cayley table.
3. Use your table to find \(p ^ { * } q ^ { * } r ^ { * } s\) A student states that there is a subgroup of \(A\) of order 3
4. Comment on the validity of this statement, giving a reason for your answer. \includegraphics[max width=\textwidth, alt={}, center]{989d779e-c40a-4658-ad98-17a37ab1d9e1-11_2464_74_304_36}
   Only use this grid if you need to rewrite the Cayley table.

   *	\(e\)	\(\boldsymbol { p }\)	\(\boldsymbol { q }\)	\(r\)	\(s\)
   \(e\)
   \(\boldsymbol { p }\)
   \(\boldsymbol { q }\)
   \(\boldsymbol { r }\)
   \(S\)

1. (i) Let \(G\) be a group of order 5291848

Without performing any division, use proof by contradiction to show that \(G\) cannot have a subgroup of order 11
(ii) (a) Complete the following Cayley table for the set \(X = \{ 2,4,8,14,16,22,26,28 \}\) with the operation of multiplication modulo 30 A copy of this table is given on page 11 if you need to rewrite your Cayley table.
(b) Hence determine whether the set \(X\) with the operation of multiplication modulo 30 forms a group.
[0pt] [You may assume multiplication modulo \(n\) is an associative operation.] Only use this grid if you need to rewrite your Cayley table. (Total for Question 3 is 9 marks)

1. The operation * is defined on the set \(G = \{ 0,1,2,3 \}\) by

$$x ^ { * } y \equiv x + y - 2 x y ( \bmod 4 )$$

1. Complete the Cayley table below.

   *	0	1	2	3
   0
   1
   2
   3

2. Show that \(G\) is a group under the operation *
   (You may assume the associative law is satisfied.)
3. State the order of each element of \(G\).
4. State whether \(G\) is a cyclic group, giving a reason for your answer.

1. 1. The table below is a Cayley table for the group \(G\) with operation ∘

1. State which element is the identity of the group.
2. Determine the inverse of the element ( \(b \circ c\) )
3. Give a reason why the set \(\{ a , b , e , f \}\) cannot be a subgroup of \(G\). You must justify your answer.
4. Show that the set \(\{ b , d , f \}\) is a subgroup of \(G\).
   (ii) Given that \(H\) is a group with an element \(x\) of order 3 and an element \(y\) of order 6 satisfying $$y x = x y ^ { 5 }$$ show that \(y ^ { 3 } x y ^ { 3 } x ^ { 2 }\) is the identity element. \includegraphics[max width=\textwidth, alt={}, center]{7d269bf1-f481-46bd-b9d3-fea211b186cf-02_2270_54_309_1980}