real algebraic group

C44642 concept

A real algebraic group is a group that is also a real algebraic variety, with group operations (multiplication and inversion) given by regular (polynomial) maps defined over the real numbers.

Instances (4)