I've started to go deep into the theory of Lie groups to eventually understand their representation theory. I picked up a text online and right on the first chapter something started to bother me. When the author defines a Lie algebra over a vector field, we get the standard definition:
Definition 1.2 A Lie algebra over $\mathbb K = \mathbb R$ or $\mathbb C$ is a vector space $V$ over $\mathbb K$ with a skew-symmetric $\mathbb K$-bilinear form (the Lie bracket) $[\,,\,]:V\times V\rightarrow V$ which satisfies the Jacobi identity $$[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0$$ for all $X,Y,Z\in\mathbb K$.
However, when the author first goes to use the notion of a Lie bracket to define the Lie algebra of a Lie group, he states that the pushforward of a diffeomorphism $f:M\rightarrow N$ is compatible with the Lie bracket, i.e. that
$$f_*[X,Y]=[f_* X,f_* Y].$$
As such, it seems like we completely disregarded the original abstract definition of the bracket on 1.2 and chose to use the Lie derivative because it happens to satisfy these properties and is nice to work with. This immediately seemed very arbitrary to me.
Are there any assumptions that I haven't picked up on to maybe uniquely determine that the Lie algebra of left-invariant vector fields can only have the Lie derivative as a consistent bracket (up to a scalar multiple, of course)?