of characteristic zero embeds into the Lie algebra of endomorphisms of some finite-dimensional vector space.
*Birkhoff's HSP theorem states that every model of an algebra A is the homomorphic image of a subalgebra of a direct product of copies of A.
* In the study of semigroups,