UnitaryMatrixQ

UnitaryMatrixQ[m] gives True if m is a unitary matrix, and False otherwise.

A unitary matrix satisfies m†·m = I (conjugate transpose times itself equals identity).

Examples

UnitaryMatrixQ[{{1, 0}, {0, 1}}]

UnitaryMatrixQ[{{1, 1}, {1, -1}}/Sqrt[2]]

UnitaryMatrixQ[{{1, 2}, {3, 4}}]

*See the official Wolfram Language Reference for more details.