MathDB
Commutative implies non-negative determinant

Source: 2021 SEEMOUS, P2

July 23, 2021
linear algebra

Problem Statement

Let n2n \ge 2 be a positive integer and let AMn(R)A \in \mathcal{M}_n(\mathbb{R}) be a matrix such that A2=InA^2=-I_n. If BMn(R)B \in \mathcal{M}_n(\mathbb{R}) and AB=BAAB = BA, prove that detB0\det B \ge 0.