An elementary proof of the Jordan-Kronecker theorem (Q2439997)

The author gives a new proof of the Jordan-Kronecker theorem: Let \(A\) and \(B\) be two skew-symmetric bilinear forms on a finite-dimensional vector space \(V\) over a field \(\mathbb{K}\). If the field \(\mathbb{K}\) is algebraically closed, then there exists a basis of the space \(V\) such that the matrices of both forms \(A\) and \(B\) simultaneously reduce to block-diagonal form. The blocks are either Jordan blocks with eigenvalue \(\lambda \in \mathbb{K}\), or Jordan blocks with eigenvalue \(\infty\), or Kronecker blocks. The proof consists of a number of statements and 3 theorems, one on a self-adjoint operator on a symplectic space over an algebraically closed field of characteristic distinct from \(2\), one on two skew-symmetric bilinear forms on a real finite-dimensional vector space, and one on a finite-dimensional vector space over an algebraically closed or real field.