Let $\mathfrak{g}$ be a simple Lie algebra with a compact subalgebra $\mathfrak{k}$ such that $(\mathfrak{g},\mathfrak{k})$ corresponds to an irreducible Riemann symmetric space. Denote by $\sigma$ be the involutive automorphism. Suppose that $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ where $\mathfrak{p}$ is the eigenspace of $\sigma$ on $\mathfrak{g}$ with eigenvalue $-1$. Thus, $\mathfrak{p}$ must be an irreducible (**CORRECT?**) $\mathfrak{k}$-module.

Now suppose that $\mathfrak{g}$ is non-compact, and let $\tau$ be an arbitrary involutive automorphism of $\mathfrak{g}$. Then there exists a Cartan involution $\theta$ commuting with $\tau$, and one has $\mathfrak{g}=\mathfrak{g}^{\theta,\tau}+\mathfrak{g}^{\theta,-\tau}+\mathfrak{g}^{-\theta,\tau}+\mathfrak{g}^{-\theta,-\tau}$. Let $\mathfrak{u}:=\mathfrak{g}^{\theta,\tau}+\sqrt{-1}\mathfrak{g}^{\theta,-\tau}+\sqrt{-1}\mathfrak{g}^{-\theta,\tau}+\mathfrak{g}^{-\theta,-\tau}$, and then $\tau$ is a Cartan involution of $\mathfrak{u}$ with the maximal compact subalgebra $\mathfrak{k}':=\mathfrak{g}^{\theta,\tau}+\sqrt{-1}\mathfrak{g}^{-\theta,\tau}$. Thus $(\mathfrak{u},\mathfrak{k}')$ corresponds to an irreducible Riemann symmetric space. Write $\mathfrak{p}':=\sqrt{-1}\mathfrak{g}^{\theta,-\tau}+\mathfrak{g}^{-\theta,-\tau}$, and then $\mathfrak{p}'$ is irreducible as $\mathfrak{k}'$-module. (**CORRECT?**)

Moreover, is $\mathfrak{g}^{-\tau}=\mathfrak{g}^{\theta,-\tau}+\mathfrak{g}^{-\theta,-\tau}$ irreducible as $\mathfrak{g}^\tau=\mathfrak{g}^{\theta,\tau}+\mathfrak{g}^{-\theta,\tau}$-module?