Let
with the commutation relations
where we have the nondegenerate invariant symmetric bilinear form
given by the Trace form of the fundamental representation,
making
Gram matrix
Ordering the basis
Properties
#state/develop | #lang/en | #SemBr