MathDB
4x4 orthogonal matrices over Z

Source: LIMIT 2019 CCS2 P7

April 28, 2021
Matriceslinear algebra

Problem Statement

Let O(4,Z)O(4,\mathbb Z) be the set of all 4×44\times4 orthogonal matrices over Z\mathbb Z, i.e., AtA=I=AAtA^tA=I=AA^t. Then O(4,Z)|O(4,\mathbb Z)| is