OCR FP3 2015 June — Question 8

Exam BoardOCR
ModuleFP3 (Further Pure Mathematics 3)
Year2015
SessionJune
TopicGroups

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.