リー群 - Wikipediaリー群（リーぐん、英語: Lie group）は、群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。 G を台集合とする実リー群とは、G には実数体上有限次元かつ可微分[注釈 1]な実多様体の構造が定められていて、G はまた群の構造を持ち、さらにその群の演算である乗法および逆元を取る操作が多様体としての G 上の写像として可微分であるもののことである[注釈 2]。このような構造が入っているという前提の下で、通常は「G はリー群である」というように台を表す記号を使ってリー群を表す。また、実数（実多様体）を複素数（複素多様体）にとりかえて複素リー群の概念が定まる。 圏論の言葉を使うとリー群の定義が簡潔になる：リー群とは可微分多様体の圏の群対象のことである。この圏論に基づく定義は重要である。なぜなら
