Verify group axioms

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\)	0	1	2	4	5	6
   0	0	1	2	4	5	6
   1	1	4	0	6	2	5
   2	2	0	5	1	6	4
   4	4	6	1	5	0	2
   5	5	2	6	0	4	1
   6	6	5	4	2	1	0

6. Find the order of each element of \(G\).
7. List all the subgroups of \(G\).

7

1. The operation \(*\) is defined by \(x * y = x + y - a\), where \(x\) and \(y\) are real numbers and \(a\) is a real constant.
   1. Prove that the set of real numbers, together with the operation \(*\), forms a group.
   2. State, with a reason, whether the group is commutative.
   3. Prove that there are no elements of order 2.
   4. The operation \(\circ\) is defined by \(x \circ y = x + y - 5\), where \(x\) and \(y\) are positive real numbers. By giving a numerical example in each case, show that two of the basic group properties are not necessarily satisfied.

1 The plane \(\Pi\) passes through the points with coordinates \(( 1,6,2 ) , ( 5,2,1 )\) and \(( 1,0 , - 2 )\).

1. Find a vector equation of \(\Pi\) in the form \(\mathbf { r } = \mathbf { a } + \lambda \mathbf { b } + \mu \mathbf { c }\).
2. Find a cartesian equation of \(\Pi\). \(2 G\) consists of the set \(\{ 1,3,5,7 \}\) with the operation of multiplication modulo 8 .

2 It is given that the set of complex numbers of the form \(r \mathrm { e } ^ { \mathrm { i } \theta }\) for \(- \pi < \theta \leqslant \pi\) and \(r > 0\), under multiplication, forms a group.

1. Write down the inverse of \(5 \mathrm { e } ^ { \frac { 1 } { 3 } \pi \mathrm { i } }\).
2. Prove the closure property for the group.
3. \(Z\) denotes the element \(\mathrm { e } ^ { \mathrm { i } \gamma }\), where \(\frac { 1 } { 2 } \pi < \gamma < \pi\). Express \(Z ^ { 2 }\) in the form \(\mathrm { e } ^ { \mathrm { i } \theta }\), where \(- \pi < \theta < 0\).

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

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

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

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.

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.

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]

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. The operation * is defined on the set \(S = \{ 0,2,3,4,5,6 \}\) by \(x ^ { * } y = x + y = x y ( \bmod 7 )\)

1. 1. Complete the Cayley table shown above
   2. Show that \(S\) is a group under the operation *
      (You may assume the associative law is satisfied.)
2. Show that the element 4 has order 3
3. Find an element which generates the group and express each of the elements in terms of this generator.

1. The group \(\mathrm { S } _ { 4 }\) is the set of all possible permutations that can be performed on the four numbers 1, 2, 3 and 4, under the operation of composition.

For the group \(\mathrm { S } _ { 4 }\)

1. write down the identity element,
2. write down the inverse of the element \(a\), where $$a = \left( \begin{array} { l l l l } 1 & 2 & 3 & 4 \\ 3 & 4 & 2 & 1 \end{array} \right)$$
3. demonstrate that the operation of composition is associative using the following elements $$a = \left( \begin{array} { l l l l } 1 & 2 & 3 & 4 \\ 3 & 4 & 2 & 1 \end{array} \right) \quad b = \left( \begin{array} { l l l l } 1 & 2 & 3 & 4 \\ 2 & 4 & 3 & 1 \end{array} \right) \quad \text { and } c = \left( \begin{array} { l l l l } 1 & 2 & 3 & 4 \\ 4 & 1 & 2 & 3 \end{array} \right)$$
4. Explain why it is possible for the group \(\mathrm { S } _ { 4 }\) to have a subgroup of order 4 You do not need to find such a subgroup.

4

1. The binary operation is defined on \(\mathbb { Z }\) by \(a\) b \(b = a + b - a b\) for all \(a , b \in \mathbb { Z }\). Prove that is associative on \(\mathbb { Z }\). The operation ∘ is defined on the set \(A = \{ 0,2,3,4,5,6 \}\) by \(a \circ b = a + b - a b ( \bmod 7 )\) for all \(a , b \in A\).
2. Complete the Cayley table for \(\left( A , { } ^ { \circ } \right)\) given in the Printed Answer Booklet.
3. Prove that \(( A , \circ )\) is a group. You may assume that the operation is associative.
4. List all the subgroups of \(( A , \circ )\).

4 The set \(L\) consists of all points \(( x , y )\) in the cartesian plane, with \(x \neq 0\). The operation ◇ is defined by \(( a , b ) \diamond ( c , d ) = ( a c , b + a d )\) for \(( a , b ) , ( c , d ) \in L\).

1. 1. Show that \(L\) is closed under ◇.
   2. Prove that \(\diamond\) is associative on \(L\).
   3. Find the identity element of \(L\) under ◇ .
   4. Find the inverse element of \(( a , b )\) under ◇.
2. Find a subgroup of \(( L , \diamond )\) of order 2.

4 M is the set of all \(2 \times 2\) matrices \(\mathrm { m } ( a , b )\) where \(a\) and \(b\) are rational numbers and $$\mathrm { m } ( a , b ) = \left( \begin{array} { l l } a & b \\ 0 & \frac { 1 } { a } \end{array} \right) , a \neq 0$$

1. Show that under matrix multiplication M is a group. You may assume associativity of matrix multiplication.
2. Determine whether the group is commutative. The set \(\mathrm { N } _ { k }\) consists of all \(2 \times 2\) matrices \(\mathrm { m } ( k , b )\) where \(k\) is a fixed positive integer and \(b\) can take any integer value.
3. Prove that \(\mathrm { N } _ { k }\) is closed under matrix multiplication if and only if \(k = 1\). Now consider the set P consisting of the matrices \(\mathrm { m } ( 1,0 ) , \mathrm { m } ( 1,1 ) , \mathrm { m } ( 1,2 )\) and \(\mathrm { m } ( 1,3 )\). The elements of P are combined using matrix multiplication but with arithmetic carried out modulo 4 .
4. Show that \(( \mathrm { m } ( 1,1 ) ) ^ { 2 } = \mathrm { m } ( 1,2 )\).
5. Construct the group combination table for P . The group R consists of the set \(\{ e , a , b , c \}\) combined under the operation *. The identity element is \(e\), and elements \(a , b\) and \(c\) are such that $$a ^ { * } a = b ^ { * } b = c ^ { * } c \quad \text { and } \quad a ^ { * } c = c ^ { * } a = b$$
6. Determine whether R is isomorphic to P . Option 5: Markov chains \section*{This question requires the use of a calculator with the ability to handle matrices.}

5

1. Describe the conditions necessary for a set of elements, \(S\), under a binary operation * to form a group.
   5
2. In the multiplicative group of integers modulo 13, the group \(G\) is defined as $$G = \left( \langle 10 \rangle , \times _ { 13 } \right)$$ 5 (b) (i) Explain why \(G\) is an abelian group.
   5 (b) (ii) Find the order of \(G\).
   5
3. State the identity element of \(G\) and prove it is an identity element. Fully justify your answer.
   5
4. Find all the proper non-trivial subgroups of \(G\), giving your answers in the form \(\left( \langle g \rangle , \times _ { 13 } \right)\), where \(g\) is an integer less than 13

6 The set \(S\) consists of all real numbers except 1. The binary operation * is defined for all \(a , b\) in \(S\) by $$a * b = a + b - a b$$

1. By considering the identity \(a + b - a b \equiv 1 - ( a - 1 ) ( b - 1 )\), or otherwise, show that \(S\) is closed under *.
2. Show that * is associative on \(S\).
3. Find the identity of \(S\) under \(*\), and the inverse of \(x\) for all \(x \in S\).
4. The set \(S\), together with the binary operation *, forms a group \(G\). Find a subgroup of \(G\) of order 2 .

Elements of the set \(\{p, q, r, s, t\}\) are combined according to the operation table shown below.

	\(p\)	\(q\)	\(r\)	\(s\)	\(t\)
\(p\)	\(t\)	\(s\)	\(p\)	\(r\)	\(q\)
\(q\)	\(s\)	\(p\)	\(q\)	\(t\)	\(r\)
\(r\)	\(p\)	\(q\)	\(r\)	\(s\)	\(t\)
\(s\)	\(r\)	\(t\)	\(s\)	\(q\)	\(p\)
\(t\)	\(q\)	\(r\)	\(t\)	\(p\)	\(s\)

1. Verify that \(q(st) = (qs)t\). [2]
2. Assuming that the associative property holds for all elements, prove that the set \(\{p, q, r, s, t\}\), with the operation table shown, forms a group \(G\). [4]
3. A multiplicative group \(H\) is isomorphic to the group \(G\). The identity element of \(H\) is \(e\) and another element is \(d\). Write down the elements of \(H\) in terms of \(e\) and \(d\). [2]

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.) [6]
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^{2n}\), where \(n \in \mathbb{Z}\). [2]
   2. The numbers \(3^n\), where \(n \in \mathbb{Z}\) and \(n \geqslant 0\). [2]
   3. The numbers \(3^{(±n^2)}\), where \(n \in \mathbb{Z}\). [2]