Lie group
和典型李群相对的是例外李群，具有一样的抽象性质，但不属于同一类。