Proof of the associated Lie algebra is isomorphic to $T_e(G)$
128603
Lie algebra and tangent space at the identity are isomorphic
107163
Proof that $S_3$ isomorphic to $D_3$
125980
Isomorphic Lie Algebra $so(4)$ and $su(2) \times su(2)$
26958
Classification of 3-dimensional Lie Algebra
123130
Showing an isomorphism between exterior products of a free module
158232
Tensor product of a module with an ideal is isomorphic to their standard product
78263
Prove $GL_n(\Bbb{R})/SL_n(\Bbb{R}) \cong \Bbb{R}^\times$
104258
Proof Verification: $\dim\mathrm{Im} T+\dim\ker T=\dim V$
91222
Isomorphism between $\mathfrak o(4,\mathbb R)$ and $\mathfrak o (3,\mathbb R) \oplus\mathfrak o (3,\mathbb R) $
153426
Is the radical of a Lie algebra preserved by all of its derivations?
43303
Which Lie groups have Lie algebras admitting an Ad-invariant inner product?
121257
Image of Homomorphism of Lie groups
15686
Product of a Lie ideal with a subalgebra
48524
Existence proof of the tensor product using the Adjoint functor theorem.
34700
Proving that the matrix exponential map is surjective onto the general linear group
102371
Proving that two vector spaces of equal dimension are isomorphic
98507
$\text{Aut}(F)$ is isomorphic to the multiplicative group of all $n\times n$ matrices over $\mathbb Z$