Proving a compact Lie group admits a biinvariant metric
9457
Compact Lie group bi-invariant metric
41483
Proof relation between Levi-Civita symbol and Kronecker deltas in Group Theory
77722
Lie algebra of affine linear maps
133413
Proof of paracompactness of CW-complexes (J. Lee, Introduction to Topological Manifolds)
27652
metric on the Euclidean Group
90778
Faithful representation of the Heisenberg group
90332
Prove that that $U(n)$ is an abelian group.
114569
How do you find the Lie algebra of a Lie group (in practice)?
116750
On surjectivity of exponential map for Lie groups
121914
Unitary representations of the diffeomorphism group in curved spacetime
6177
Do disconnected complex lie groups exist?
41520
Prove that $L(V,W)$ forms a vector space
43303
Which Lie groups have Lie algebras admitting an Ad-invariant inner product?
149772
How can a Lie subgroup of a matrix Lie group not be a matrix Lie group
28108
Proving the kernel is a normal subgroup.
123595
Representations of Direct Sum of Lie Algebras
102495
Proof that the Casimir invariant of a representation commutes with everything