If two simple roots have angle , normalize them to unit vectors with . For any other unit simple root , set , . Its three-root Gram matrix has determinant . Any nonzero or has absolute value at least , contradicting positive definiteness. Thus all other simple roots are orthogonal to . An irreducible root system containing this triple bond must be the rank-two G2 root system.
Articles by others on the same topic
There are currently no matching articles.