Sei \(A^TA=E_2\). Dann gilt für$$A=\left(\begin{array}{cc}a&b\\c&d\end{array}\right):\;A^TA=\left(\begin{array}{cc}a^2+c^2&ab+cd\\ab+cd&b^2+d^2\end{array}\right)$$.
Es muss also \(a^2+c^2=1\), \(b^2+d^2=1\) und \(ab+cd=0\) gelten.
Wieviele Möglichkeiten gibt es in \(F_3\) für \(a^2+c^2=1\),
d.h. wieviele verschiedene Möglichkeiten gibt es für
die erste Spalte von \(A\) ?
Kommst du vielleicht so ein bisschen weiter?
Zum Vergleich: ich komme auf 8 Elemente in der
orthogonalen Gruppe (ohne Gewähr ;-))