李群
要建立李群的表示论，可以先考虑紧致李群，使得紧致群表示论的结论有用武之地。要将这部分理论延伸到半单李群的有限维表示，只需运用外尔的“酉技法”：每一个半单实李群 formula_110 都有一个複化，得到一个复李群 formula_227，而这个复李群有一个极大紧子群 formula_228。formula_110 的有限维表示和 formula_228 的有限维表示密切相关。