李群的定義真漂亮Orz