Previous page (Exercises 3) | Contents | Next page (Exercises 5) |

- If
*A*and*B*are two subgroups of*I*(**R**^{2}) each generated by a rotation by 2*p*/*n*(about different points of**R**^{2}), then prove that*A*and*B*are conjugate subgroups.

(i.e. for some*g**I*(**R**^{2}) we have*A*=*g*^{-1}*Bg*.)

Deduce that although there are many different subgroups of*I*(**R**^{2}) isomorphic to*C*_{n}they are all conjugate.Prove the same result for subgroups isomorphic to

*D*_{n}.Prove that although the subgroups

*D*_{1}and*C*_{2}are isomorphic as groups, they are not conjugate subgroups of*I*(**R**^{2}). - A subgroup of symmetries of a set
*S*is called*discrete*if there is some distance*m*such that every element of*S*is either fixed or moved by at least*m*by every element of*G*.

If*G*is a discrete subgroup of*I*(**R**), prove that*G*contains a translation*T*by a minimum distance and that every translation in*G*is a power of*T*. - Prove that there are two infinite discrete subgroups of the group
*I*(**R**), one generated by a translation (which we will call*C*_{}**Z**under addition) and the other generated by a pair of reflections (which we will call*D*_{}).Prove that the

*Frieze groups*(i), ... , (vii) considered earlier are (respectively) isomorphic to*C*_{},*C*_{},*D*_{},*D*_{},*D*_{},*C*_{}*D*_{1},*D*_{}*D*_{1}. *Inversion in a point***a****R**^{3}or*reflection in*is the map**a**2*x*-*a*.*x*

A*rotatory inversion*is rotation about a line*L*followed by inversion in a point of*L*.

Show that every rotatory reflection is a rotatory inversion and vice versa.-
- Define a map from
*O*(3) to the direct product*SO*(3) {1} by

(*A*) = ( (*det*(*A*).*A*,*det*(*A*) ).

i.e. (*A*) = (*A*, 1 ) if*A**SO*(3) and ( -*A*, -1 ) if*A**SO*(3).

Prove that is a group isomorphism. - If
*X*is a subset of**R**^{3}with -*X*=*X*(i.e.*x**X*if and only if -*x**X*) prove that the group*S*(*X*) of all symmetries of*X*is isomorphic to*S*_{d}(*X*) <*J*> where*S*_{d}(*X*) is the subgroup of direct symmetries of*X*and < J > is the group of order 2 generated by*J*:-*x*.*x*

Solution to question 5 - Define a map from

Previous page (Exercises 3) | Contents | Next page (Exercises 5) |