User interface language: English | Español

Date November 2014 Marks available 4 Reference code 14N.3srg.hl.TZ0.4
Level HL only Paper Paper 3 Sets, relations and groups Time zone TZ0
Command term Prove that Question number 4 Adapted from N/A

Question

The group \(\{ G,{\rm{ }} * {\rm{\} }}\) has identity \({e_G}\) and the group \(\{ H,{\text{ }} \circ \} \) has identity \({e_H}\). A homomorphism \(f\) is such that \(f:G \to H\). It is given that \(f({e_G}) = {e_H}\).

Prove that for all \(a \in G,{\text{ }}f({a^{ - 1}}) = {\left( {f(a)} \right)^{ - 1}}\).

[4]
a.

Let \(\{ H,{\text{ }} \circ \} \) be the cyclic group of order seven, and let \(p\) be a generator.

Let \(x \in G\) such that \(f(x) = {p^{\text{2}}}\).

Find \(f({x^{ - 1}})\).

[4]
b.

Given that \(f(x * y) = p\), find \(f(y)\).

[4]
c.

Markscheme

\(f({e_G}) = {e_H} \Rightarrow f(a * {a^{ - 1}}) = {e_H}\)     M1

\(f\) is a homomorphism so \(f(a * {a^{ - 1}}) = f(a) \circ f({a^{ - 1}}) = {e_H}\)     M1A1

by definition \(f(a) \circ {\left( {f(a)} \right)^{ - 1}} = {e_H}\) so \(f({a^{ - 1}}) = {\left( {f(a)} \right)^{ - 1}}\) (by the left-cancellation law)     R1

[4 marks]

a.

from (a) \(f({x^{ - 1}}) = {\left( {f(x)} \right)^{ - 1}}\)

hence \(f({x^{ - 1}}) = {({p^2})^{ - 1}} = {p^5}\)     M1A1

[2 marks]

b.

\(f(x * y) = f(x) \circ f(y)\;\;\;\)(homomorphism)     (M1)

\({p^2} \circ f(y) = p\)     A1

\(f(y) = {p^5} \circ p\)     (M1)

\( = {p^6}\)     A1

[4 marks]

Total [10 marks]

c.

Examiners report

Part (a) was well answered by those who understood what a homomorphism is. However many candidates simply did not have this knowledge and consequently could not get into the question.

a.

Part (b) was well answered, even by those who could not do (a). However, there were many who having not understood what a homomorphism is, made no attempt on this easy question part. Understandably many lost a mark through not simplifying \({p^{ - 2}}\) to \({p^5}\).

b.

Those who knew what a homomorphism is generally obtained good marks in part (c).

c.

Syllabus sections

Topic 8 - Option: Sets, relations and groups » 8.12 » Definition of a group homomorphism.

View options