# Lie Algebra $[v,0]=0=[0,v], \quad\forall v\in \mathfrak{g}$.

I want to show that $[v,0]=0=[0,v], \quad\forall v\in \mathfrak{g}$.

Is this done using the Jacobi identity? I am not sure how to do this, I just put $0$'s in the Jacobi identity, but it didn't give me anything to work with.

• Surely this is super simple, and I am missing something obvious Aug 13, 2015 at 5:20
• Is $0$ the identity element? Do you define $[a,b]$ as $ab-ba$? Aug 13, 2015 at 5:28
• @Tucker No sorry, just an abstract Lie bracket. Looks like the current answer works though, so thanks anyway :). As for identity element, I don't think Lie brackets can have an identity element Aug 13, 2015 at 5:34
• I meant an identity element of the group. Aug 13, 2015 at 5:44
• @Tucker I think it is the element $0\in \mathfrak{g}$ since the Lie bracket is defined as $\mathfrak{g}\times\mathfrak{g}\to \mathfrak{g}$ Aug 13, 2015 at 5:55

By definition, the Lie bracket of a Lie algebra is bilinear (see https://en.wikipedia.org/wiki/Lie_algebra), which means when you fix $v \in \mathfrak{g}$ the map

$[-,v]: \mathfrak{g} \rightarrow \mathfrak{g}$

is a linear map. That is for any $w_1 , w_2 \in \mathfrak{g}$ and any $a \in \mathbb{C}$ we have the identity

$[w_1 + a w_2,v] = [w_1,v] + a[w_2,v]$.

So if $w_1 = 0$ and $w_2$ is any vector in $\mathfrak{g}$ and $a=0$ then

$[0,v]=0\cdot[w_2,v]=0$.

The same works if $v$ is in the first part of the bracket.