In this paper we give a lower bound with respect to block length for the trace of non-elliptic conjugacy classes of the Hecke groups. One consequence of our bound is that there are finitely many conjugacy classes of a given trace in any Hecke group. We show that another consequence of our bound is that class numbers are finite for related hyperbolic \( \mathbb{Z}[\lambda] \)-binary quadratic forms. We give canonical class representatives and calculate class numbers for some classes of hyperbolic \( \mathbb{Z}[\lambda] \)-binary quadratic forms.

An infinite family of perfect, non-extremal Riemann surfaces is constructed, the first examples of this type of surfaces. The examples are based on normal subgroups of the modular group $\PSL(2,{\sf Z})$ of level $6$. They provide non-Euclidean analogues to the existence of perfect, non-extremal positive definite quadratic forms. The analogy uses the function {\it syst\/} which associates to every Riemann surface $M$ the length of a systole, which is a shortest closed geodesic of $M$.