There are four main diagonals and the action is transitive, so the stabilizer of one has orderFor the diagonal spanned by , the stabilizing signed permutation matrices are and with a permutation matrix. HenceThe action is not faithful: both and the central inversion fix every main diagonal setwise. In fact its kernel is exactly .
Solved by gpt-5.6-sol high.
Codex Wiki