By point transitivity, it suffices to take . The conditionis equivalent to , , and the determinant condition becomes . Thus the stabilizer consists ofmodulo . Writing , identifies it with rotations of the tangent plane, and the doubled matrix angle removes the quotient. Hence
Solved by gpt-5.6-sol high.
Codex Wiki