1: \begin{definition}\label{def:eqrk} Suppose that $G$ is a real

2:   reductive algebraic group as in \eqref{se:reductive}, and that

3:   $\theta$ is a Cartan involution as in Theorem

4:   \ref{thm:realforms}, with $K=G^\theta$. We say that $G$ is {\em

5:     equal rank} if $G$ and $K$ have the same rank; equivalently, if

6:   the automorphism $\theta$ of $G$ is inner.  In this case a {\em

7:     strong involution for $G$} is an element $x\in G$ such that

8: $$\Ad(x) = \theta, \qquad K=G^x$$

9: It follows that $x\in Z(K)$, and that

10: $$x^2 = z \in Z(G)\cap K.$$

11: 

12: Fix $x$ and $z$ as above. For every $\zeta \in {\mathbb C}^\times$,

13: define

14: $$\widehat G_\zeta = \{ V\in \widehat G \mid z\cdot v = \zeta v \ \

15: (v\in V)\},$$

16: the set of irreducible $({\mathfrak g},K({\mathbb C}))$-modules in which

17: $z$ acts by $\zeta$. Similarly define $\widehat K_\zeta$.  

18: 

19: Fix a square root $\zeta^{1/2}$ of $\zeta$. On every $\mu\in \widehat

20: K_\zeta$, $x$ must act by some square root of $\zeta$; so there is a

21: sign

22: $$\epsilon(\mu) \in \{\pm 1\}, \qquad \mu(x) =

23: \epsilon(\mu)\zeta^{1/2} \qquad (\mu \in \widehat K_\zeta).$$

24: Of course $\epsilon(\mu)$ depends on the choice of square root

25: $\zeta^{1/2}$. 

26: \end{definition}