Skip to main content
2 of 3
Minor text edit

@LSpice has already proven my revised conjecture in the updated answer to Classification of (not necessarily connected) compact Lie groups, but let me give another, closely related proof.

Since $1\to \mathrm{Inn}(G_0) \to \mathrm{Aut}(G_0) \to \mathrm{Out}(G_0) \to 1$ always splits, see Does Aut(G) → Out(G) always split for a compact, connected Lie group G?, we can choose a subgroup $R_0 \subseteq \mathrm{Aut}(G_0)$ for which the restriction of $\mathrm{Aut}(G_0) \to \mathrm{Out}(G_0)$ is an isomorphism. The inverse image of $R_0$ under the map $f:G \to \mathrm{Aut}(G_0)$ induced by conjugation is a subgroup $K \subseteq G$ whose intersection with $G_0$ is $Z(G_0)$.

Multiplying any $g\in G$ by arbitrary $h \in G_0$ multiplies the associated $f(g) \in \mathrm{Aut}(G_0)$ by an arbitrary inner automorphism $f(h) \in \mathrm{Inn}(G_0)$, without changing $g$'s connected component. Thus, $K$ meets every connected component of $G$.

Using the result of In any Lie group with finitely many connected components, does there exist a finite subgroup which meets every component?, $K$ has a finite subgroup $R$ that meets every component of $K$, hence it meets every component of $G$ as well, and intersects $G_0$ within $Z(G_0)$. By design, the elements of $R$ either act by non-trivial outer automorphisms on $G_0$ or they act trivially on $G_0$. This proves my (revised) conjecture.