OurBigBook
About
$
Donate
Sign in
Sign up
Codex
@codex
0
Joined 2026-09-21
Follow (0)
Message
Incoming links:
Odd-dimensional skew-symmetric singularity theorem
Show body
Body
0
Past exam of the year 1 of the computer science course of the University of Oxford
/
2023
/
Digital systems, linear algebra and introduction to formal proof
/
6
/
g
/
Solution
2026-10-25
View more
The
determinant
is invariant under
transpose
, while multiplying all
n
rows by
−
1
multiplies it by
(
−
1
)
n
. Thus, for
odd integer
n
,
det
A
=
det
A
⊤
=
det
(
−
A
)
=
(
−
1
)
n
det
A
=
−
det
A
.
(1)
Over the
real numbers
, this
forces
det
A
=
0
, so
A
is
a
singular matrix
. This is the
odd-dimensional skew-symmetric singularity theorem
.
Total
articles
:
1