Ado's theorem
In
abstract algebra
,
Ado's theorem
is a theorem characterizing finite-dimensional
Lie algebras
.