@tomasz In "Euler characteristic in semialgebraic and other o-minimal groups", Strzebonski proves that the (o-minimal) euler characteristic of a semialgebraic group plays the role of the cardinality of a finite group, so I was wondering how similar real algebraic groups are to finite groups and what first order property of finite groups fails for a generic real algebraic group.