リー代数
唯一のリー代数は、可換リー代数 R1 で非零の実数からなる群で外部自己同型群を持っている。