When does a linear map belong to at least one orthogonal or symplectic group?

From MaRDI portal
Publication:665958



Abstract: Given an endomorphism u of a finite-dimensional vector space over an arbitrary field K, we give necessary and sufficient conditions for the existence of a regular quadratic form (resp. a symplectic form) for which u is orthogonal (resp. symplectic). A solution to this problem being already known in the case char(K)<>2, our main contribution lies in the case char(K)=2. When char(K)=2, we also give necessary and sufficient conditions for the existence of a regular symmetric bilinear form for which u is orthogonal. In the case K is finite with characteristic 2, we give necessary and sufficient conditions for the existence of an hyperbolic quadratic form (resp. a regular non-hyperbolic quadratic form, resp. a regular non-alternate symmetric bilinear form) for which u is orthogonal.


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.











This page was built for publication: When does a linear map belong to at least one orthogonal or symplectic group?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q665958)