User:Ilya (usurped)/Lie


 * su(C, n)
 * RP^3 so(4) _3
 * 3 + 2 + 1 = 10


 * su(n+1) \otimes C
 * a_1 - a_2, a_2 - a_3, a_3 - a_4, ..., a_n - a_{n+1}


 * CP^2 su(3) a_2
 * 5 + 3 + 0 = 8


 * CP^3 su(4) a_3
 * 7 + 5 + 3 + 0 = 15


 * sp(C, n+1)


 * H^* sp(1)
 * 2 + 1 = 3


 * HP^1 sp(2) d
 * 4 + 3 = 7


 * HP^2 sp(3)
 * 8 + 4 + 3 = 15


 * O^* G_2
 * 6 + 5 + 3 = 14


 * OP^1
 * 8 + 14 = 22


 * OP^2 F_4
 * 16 + 8 + 2*14 = 52


 * (OxC)P^2 E_6
 * 32 + 16 + 2*(14 + 1) = 78


 * (OxH)P^2 E_7
 * 64 + 32 + 2*(14 + 3) + 3 = 133


 * (OxO)P^2 E_8
 * 128 + 64 + 2*(14 + 14) = 248