Constructible group

Symbol-free definition
A group (possibly with additional structures and relations) is said to be constructible if it is definable in a pure algebraically closed field.

Definable isomorphism to algebraic groups
Every constructible group is definable isomorphic to an algebraic group.

Inner automorphism group
The inner automorphism group of a constructible group is definably isomrohpic to a linear algebraic group.