Proving a compact Lie group admits a biinvariant metric
39763
Proving left-invariance (and proof-verification for right-invariance) for metric constructed from left-invariant Haar measure
23535
Describing the Lie algebra structure of a semi-direct product of Lie groups
105293
Proof of the second symmetric derivative
75391
How to prove that a left-invariant metric on a Lie group is smooth?
156803
Proving a corollary to Schwarz lemma
141643
Showing $\rho (x,y)=\frac{d(x,y)}{1+d(x,y)}$ is a metric
90332
Prove that that $U(n)$ is an abelian group.
94215
Fundamental group of the connected sum of manifolds
147399
Proof of "$L$ / Rad$L$ is semisimple for arbitrary Lie algebra L".
63098
Properly discontinuous actions and discrete groups in complete Riemannian manifolds.
103308
Showing that $\nabla\times(\nabla\times\vec{A}) = \nabla(\nabla\cdot\vec{A})-\Delta\vec{A}$
128457
Show that $T$ is a compact operator
146215
Metric on a Quotient of the Riemann Sphere
90365
Riemannian Manifolds with $n(n+1)/2$ dimensional symmetry group
123595
Representations of Direct Sum of Lie Algebras
121914
Unitary representations of the diffeomorphism group in curved spacetime
87922
Computing the Lie bracket on the Lie group $GL(n, \mathbb{R})$