When does a linear map belong to at least one orthogonal or symplectic group? (Q665958): Difference between revisions

Given an endomorphism \(u\) of a finite-dimensional vector space over an arbitrary field \(K\), the author gives necessary and sufficient conditions for the existence of a regular quadratic form (respectively, a symplectic form) for which \(u\) is orthogonal (respectively, symplectic). Since a solution to this problem is already known in the case char\((\mathbb K)\neq 2\), the contribution lies in the case char\((\mathbb K)=2\). When char\((\mathbb K)=2\), he also gives necessary and sufficient conditions for the existence of a regular symmetric bilinear form for which \(u\) is orthogonal. When \(K\) is finite with characteristic 2, necessary and sufficient conditions are given for the existence of an hyperbolic quadratic form (respectively, a regular non-hyperbolic quadratic form, respectively, a regular nonalternate symmetric bilinear form) for which \(u\) is orthogonal.