Two-root decomposition with a nondegenerate trace form

ID: two-root-decomposition-with-a-nondegenerate-trace-form

Let a maximal torus give a decomposition . If has a nondegenerate trace form, then , the opposite root spaces generate , and
where is central and abelian.

New to topics? Read the docs here!