Euclidean vector
Let "E" be a finite-dimensional Euclidean vector space, with the standard Euclidean inner product denoted by formula_1. A root system formula_2 in "E" is a finite set of non-zero vectors (called roots) that satisfy the following conditions: