Hi everyone

Let $p$ be a prime number. I am interested to classify $\{ A\in {\rm GL}_{p-1}(\mathbb{Z}): {\rm ord}(A)=p \}$ up to conjugacy. One reason to consider this problem is its relation to class number of $\mathbb{Q}(\zeta_p)$, more precisely one can show $|\{ [A]\in {\rm GL}_{p-1}(\mathbb{Z}): {\rm ord}(A)=p \}|=h(\mathbb{Q}(\zeta_p))$ where $[A]$ is denoted for conjugacy class.

It seems $\{ [A]\in {\rm GL}_{p-1}(\mathbb{Z}): {\rm ord}(A)=p \}$ is more easier to study than class number of $\mathbb{Q}(\zeta_p)$. At least its seems is easier to show is finite without invoking Geometry of number which shows $h(\mathbb{Q}(\zeta_p))$ is finite. For example Borel and Harish-Chandra theorem ("Arithmetic subgroups of algebraic groups") shows that this set should be finite, (they proved much more general theorem which implies this, I have never read that paper so I don't know their proof for the general theorem. So they might reduce it to class number or some adelic version of class number).

Ok, now is time to ask a question. Is there any paper considering this problem which give us some finiteness theorem (beside Borel and Harish-Chandra paper)?