典型群在數學中指的是與歐幾里得空間的對稱性密切相關的四類無窮多李群。這些群包括:
一般線性群 GLn(F)
特殊線性群 SLn(F)
辛群 Spn(F)
正交群 On(F)
酉群 Un(F)
典型群的概念源於赫爾曼·外爾的專著《Weyl (1939)》。它們與「經典」幾何有著密切的關係,這一點在菲利克斯·克萊因的愛爾蘭根綱領中有所體現。有時,典型群也被稱為矩陣群,這是因為它們可以通過矩陣的形式來表示。
與典型群相對的是例外李群,這些群具有與典型李群相同的抽象性質,但不屬於同一類。在緊群的限制下討論典型群時,它們的表示論和代數拓撲更容易處理,但這樣處理會排除一般線性群,儘管一般線性群通常被認為是最典型的群。