Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2015/2/d/solution

The given unitriangular group of degree three over F3 has elements, just as does, so counting alone cannot distinguish them. Instead compare element orders.
Write an element as , with strictly upper triangular of size . Then . Over the finite field , the binomial theorem for commuting matrices gives
Every nonidentity element of consequently has element order . In contrast, has element order , by part (b). An isomorphism preserves element order, so
Equivalently, the exponent of a finite group is for and for .

New to topics? Read the docs here!