Bài tập 7, § 3

Cho $g$ là một đại số Lie phức, $\beta$ là dạng Killing của nó và $g_0$ là đại số Lie dẫn xuất từ $g$ bằng cách hạn chế trường cơ sở xuống $\mathbf{R}$. Chứng minh rằng dạng Killing của $g_0$ bằng hai lần phần thực của $\beta$.