Orthogonal group O_n

Orthogonal group O_n
Name	Orthogonal group O_n
Type	Matrix group
Dimension	n(n-1)/2
Field	Real numbers
Related	Special orthogonal group, Lorentz group, Unitary group

Orthogonal group O_n The orthogonal group O_n is the group of n×n real matrices preserving the standard Euclidean form; it is central to studies linking Isaac Newton, Carl Friedrich Gauss, Évariste Galois, Sophus Lie, Hermann Weyl, Emmy Noether, Felix Klein, Bernhard Riemann and James Clerk Maxwell through symmetry, invariants, and geometric transformations. Its structure influences developments in David Hilbert's formalism, Élie Cartan's classification, and applications in Albert Einstein's relativity, Paul Dirac's quantum theory, and John von Neumann's operator theory.

Definition and basic properties

The group consists of n×n real matrices A satisfying A^T A = I, linking foundational results of René Descartes, Blaise Pascal, Pierre-Simon Laplace, Adrien-Marie Legendre and Joseph-Louis Lagrange on quadratic forms, rotations, and reflections, and connecting to classical work by Augustin-Louis Cauchy, Jean Baptiste Fourier, Niels Henrik Abel, Gottfried Wilhelm Leibniz and James Watt in analytical mechanics. O_n contains elements of determinant ±1, central to investigations by Srinivasa Ramanujan, Carl Gustav Jacob Jacobi, Adrien-Marie Legendre and Simon Newcomb on matrix invariants; it preserves the Euclidean inner product used in studies by Arthur Eddington, G. H. Hardy, John Nash, Alan Turing and Kurt Gödel.

Matrix representation and algebraic structure

As a subgroup of GL_n(R), O_n is described by polynomial equations A^T A = I, a viewpoint developed in algebraic traditions of Niels Henrik Abel, Évariste Galois, Augustin-Louis Cauchy, Karl Weierstrass, Leopold Kronecker and Richard Dedekind. The determinant map det: O_n → {±1} yields the exact sequence studied by Emil Artin, Emmy Noether, Hassler Whitney, Claude Shannon, André Weil and Alexander Grothendieck. Reflection matrices and Householder transformations link to computational methods of John von Neumann, Alan Turing, Grace Hopper, Donald Knuth, Edsger Dijkstra and James H. Wilkinson.

Connected components and topology

O_n has two connected components distinguished by determinant ±1, a fact used in works of Henri Poincaré, Lev Pontryagin, Andrey Kolmogorov, Mikhail Gromov, Raoul Bott, Michael Atiyah, I. M. Gelfand and Israel Gelfand. The component SO_n is path-connected for n≥2, related to classification approaches by Hermann Weyl, Élie Cartan, Eliezer Yudkowsky and John Milnor; fundamental groups and homotopy groups tie into topology research by René Thom, William Thurston, Smale, Stephen Smale, Edward Witten and Michael Freedman.

Lie group and Lie algebra

O_n is a compact Lie group with Lie algebra o_n consisting of skew-symmetric matrices, a concept developed by Sophus Lie, Élie Cartan, Hermann Weyl, Évariste Galois and Wilhelm Killing. The exponential map, Baker–Campbell–Hausdorff formula and root systems interplay in treatments by Claude Chevalley, Nicolas Bourbaki, Cartan, Kac, Harish-Chandra, Weyl, Cartan, Killing and Élie Cartan; representation theory foundations draw on works by George Mackey, Richard Brauer, Issai Schur and Frobenius.

Representations and invariants

Finite-dimensional representations of O_n decompose using highest-weight theory and Schur–Weyl duality, developed by Issai Schur, Hermann Weyl, Ferdinand Georg Frobenius, Alfred Young, Weyl, Schur and Richard Brauer. Invariant theory for quadratic forms and tensors connects to the classical work of David Hilbert, Emmy Noether, Arthur Cayley, James Joseph Sylvester, Augustin-Louis Cauchy and Sophus Lie, and feeds into modern studies by Pierre Deligne, Deligne, Jean-Pierre Serre, Bernard Malgrange and André Weil.

Applications and examples

O_n appears in rigid body mechanics traced to Leonhard Euler, Joseph-Louis Lagrange, William Rowan Hamilton, George Gabriel Stokes and Augustin-Louis Cauchy; its role in crystallography aligns with investigations by Max von Laue, William Henry Bragg, William Lawrence Bragg and Linus Pauling. In relativity and spacetime symmetries O_n's analogues inform work by Albert Einstein, Hermann Minkowski, Hendrik Lorentz, Arthur Eddington and Paul Dirac; in computer graphics and robotics engineers following Ivan Sutherland, Edwin Catmull, James F. Blinn and Ken Perlin use orthogonal matrices for rotations, while statisticians like Ronald Fisher, Karl Pearson, Jerzy Neyman and Abraham Wald exploit them in multivariate analysis.

Generalizations and related groups

Generalizations include complex orthogonal groups studied by Bernhard Riemann, Carl Gustav Jacobi, Évariste Galois and Sophus Lie, indefinite orthogonal groups O(p,q)] linked to Hermann Minkowski, Paul Dirac and Wigner, and connections to unitary groups U_n, symplectic groups Sp_n, and spin groups Spin_n central in work by Élie Cartan, Friedrich Hirzebruch, Raoul Bott, Michael Atiyah and John Milnor. Applications in algebraic topology, number theory and mathematical physics tie O_n to programs by Andrew Wiles, Gerd Faltings, Edward Witten, Maxwell Rosenlicht and Pierre Deligne.

Category:Lie groups