李群
對於李群formula_2，以下陳述等價