All Questions

$\DeclareMathOperator\Spin{Spin}$The seven-sphere can be written as the reductive space $S^7=\Spin(7)/G_2$. Has the decomposition $\Spin(7)=G_2\times S^7$ been calculated somewhere; maybe in terms of ...

I am reading Knapp's book "Lie groups beyond an introduction" (2nd edition). I am struggling to understand the following point. Recall that $G$ is a reductive Lie group. If the Lie algebra $\...

Let $G$ be a connected reductive real Lie group with Lie algebra $\mathfrak{g}$. We denote by $\widehat{G}_u$ the unitary dual, that is the set of isomorphism classes of unitary reprensentation of $G$....