One-dimensional Nash groups (Q757521)

A Lie group equipped with a compatible real algebraic structure is called a locally Nash group. We prove some general facts about locally Nash groups, then we classify the one-dimensional locally Nash groups, using a theorem of Weierstrass that characterizes the analytic functions satisfying an algebraic addition theorem. Besides the standard Nash structure on the additive group of real numbers, there are locally Nash structures on the additive reals induced by the exponential function, the sine function, and by any elliptic function that is real on \({\mathbb{R}}\). There are no other simply connected one-dimensional locally Nash groups. Any two quotients of the additive reals with their standard Nash structure by discrete subgroups are Nash equivalent. For other locally Nash structures on \({\mathbb{R}}\), the quotients \({\mathbb{R}}/\alpha Z\) and \({\mathbb{R}}/\beta Z\) are Nash equivalent if and only if \(\alpha\) /\(\beta\) is rational. The classification of the one-dimensional Nash groups is equivalent to the classification of the one-dimensional semialgebraic groups. It are precisely these groups that are definable over \({\mathbb{R}}\), so we have also classified the one-dimensional groups definable over \({\mathbb{R}}\). The correction concerns an error in the definition of locally Nash mappings that occurs on page 333.