I know that SO(n) means a rotation in n dimensions, but sometimes I see a second index, such as SO(n,p). What does p mean? I cannot find much resources on this.
The group SO(m,n) is the group of rotations that keep invariant a symmetric metric with signature m + signs and n - signs. The signature is the signs of its eigenvalues. So SO(m,n) is closely related to SO(m+n). Symbolically, for R in SO(m,n) and metric g,
RT.g.R = g
It is well known that a vector space always admits an algebraic (Hamel) basis. This is a theorem that follows from Zorn's lemma based on the Axiom of Choice (AC).
Now consider any specific instance of vector space. Since the AC axiom may or may not be included in the underlying set theory, might there be examples of vector spaces in which an Hamel basis actually doesn't exist ?