In projective geometry and linear algebra, the projective orthogonal group PO is the induced action of the orthogonal group of a quadratic space V = (V,Q) on the associated projective space P(V). Explicitly, the projective orthogonal group is the quotient group In projective geometry and linear algebra, the projective orthogonal group PO is the induced action of the orthogonal group of a quadratic space V = (V,Q) on the associated projective space P(V). Explicitly, the projective orthogonal group is the quotient group where O(V) is the orthogonal group of (V) and ZO(V)={±I} is the subgroup of all orthogonal scalar transformations of V – these consist of the identity and reflection through the origin. These scalars are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation 'Z' is because the scalar transformations are the center of the orthogonal group. The projective special orthogonal group, PSO, is defined analogously, as the induced action of the special orthogonal group on the associated projective space. Explicitly: where SO(V) is the special orthogonal group over V and ZSO(V) is the subgroup of orthogonal scalar transformations with unit determinant. Here ZSO is the center of SO, and is trivial in odd dimension, while it equals {±1} in even dimension – this odd/even distinction occurs throughout the structure of the orthogonal groups. By analogy with GL/SL and GO/SO, the projective orthogonal group is also sometimes called the projective general orthogonal group and denoted PGO. Like the orthogonal group, the projective orthogonal group can be defined over any field and with varied quadratic forms, though, as with the ordinary orthogonal group, the main emphasis is on the real positive definite projective orthogonal group; other fields are elaborated in generalizations, below. Except when mentioned otherwise, in the sequel PO and PSO will refer to the real positive definite groups. Like the spin groups and pin groups, which are covers rather than quotients of the (special) orthogonal groups, the projective (special) orthogonal groups are of interest for (projective) geometric analogs of Euclidean geometry, as related Lie groups, and in representation theory. More intrinsically, the (real positive definite) projective orthogonal group PO can be defined as the isometries of real projective space, while PSO can be defined as the orientation-preserving isometries of real projective space (when the space is orientable; otherwise PSO = PO). The structure of PO differs significantly between odd and even dimension, fundamentally because in even dimension, reflection through the origin is orientation-preserving, while in odd dimension it is orientation-reversing ( − I ∈ S O ( 2 k ) {displaystyle -Iin SO(2k)} but − I ∉ S O ( 2 k + 1 ) {displaystyle -I ot in SO(2k+1)} ). This is reflected in odd-dimensional real projective space being orientable, while even-dimensional real projective space is nonorientable, and at a more abstract level, the Lie algebras of odd and even dimensional projective orthogonal groups are in two different families: B k = s o 2 k + 1 , D k = s o 2 k . {displaystyle B_{k}={mathfrak {so}}_{2k+1},D_{k}={mathfrak {so}}_{2k}.} Thus, O ( 2 k + 1 ) = S O ( 2 k + 1 ) × { ± I } , {displaystyle O(2k+1)=SO(2k+1) imes {pm I},} while O ( 2 k ) ≠ S O ( 2 k ) × { ± I } {displaystyle O(2k) eq SO(2k) imes {pm I}} and is instead a non-trivial central extension of PO(2k).