TITLE: How to find $d\phi(I)$ where $\phi(A)=AA^T$
QUESTION [0 upvotes]: I'm trying to show that $so(3) = \{A\in M(3; \mathbb{R}): A = -A^T \} $ is the lie algebra of $SO(3)$. For this i am using the following fact:"The tangent space at the identity to a Lie subgroup of $GL(n,\mathbb{R})$, endowed with the matrix commutator, is isomorphic to its Lie algebra". I defined $\phi:GL(3, \mathbb{R}) \to Sym$ (Sym is the subset of symmetric matrices) $\phi(A)=AA^T$. I want to check that the kernel of $d\phi(I): gl(3,R) → Sym $ is the subspace of skew-symmetric matrices in $Gl(3,R)$. I'm having trouble finding $d \phi (I)$, how do I proceed?

REPLY [1 votes]: $\phi(A_0+tA)=(A_0+tA)(A_0+tA)^T=A_0A_0^T+t(A_0A^T+AA^T_0)+t^2AA^T)$ implies that $d\phi(A_0)(A)=A_0A^T+AA_0^T$, we deduce that $\phi(I)(A)=A+A^T$ and $d\phi(I)$ is the set of antisymmetric matrices.
{"set_name": "stack_exchange", "score": 0, "question_id": 3713279}