# 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.