Horrocks theorem for odd orthogonal groups
A. A. Ambily, H Sugilesh · arXiv (Cornell University) · 2025
We prove Horrocks' theorem for the odd elementary orthogonal group, which gives a decomposition of an orthogonal matrix with entries from a polynomial ring $R[X]$, over a commutative ring $R$ in which 2 is invertible, as a product of an orthogonal matrix with entries in $R$ and an elementary orthogonal matrix with entries from $R[X]$.