Irreducible root system

ID: irreducible-root-system

A root system spanning a real inner product space is irreducible when it cannot be partitioned into two nonempty mutually orthogonal root systems. Its Dynkin diagram is connected. This condition concerns the roots themselves, rather than an arbitrary ambient space larger than their span.

New to topics? Read the docs here!