Source: cirosantilli/infinitesimal-generator

= Infinitesimal generator

Elements of a <Lie algebra> can (should!) be seen a continuous analogue to the <generating set of a group> in finite groups.

For continuous groups however, we can't have a finite generating set in the strict sense, as a finite set won't ever cover every possible point.

But the <generator of a Lie algebra> can be finite.

And just like in finite groups, where you can specify the full group by specifying only the relationships between generating elements, in the Lie algebra you can almost specify the full group by specifying the relationships between the elements of a <generator of the Lie algebra>.

This "specification of a relation" is done by defining the <Lie bracket>.

The reason why the algebra works out well for continuous stuff is that by definition an <algebra over a field> is a <vector space> with some extra structure, and we know very well how to make infinitesimal elements in a vector space: just multiply its vectors by a constant $c$ that cana be arbitrarily small.