  == Examples ==  The text says that each finite group  is also algebraic. I think that needs further explaining: why is that? Why is  even the set of zeros of some polynomials (over which field? The group-algebra?). And why are inversion and multiplication morphismns?