Real algebraic group

Definition
A real algebraic group is defined as an algebraic group over the field of real numbers.

Any real algebraic group can naturally be given the structure of a real Lie group. Note that the topology arising from the Lie structure is different (a lot finer) than the topology arising from the algebraic group structure.