Let be finite abelian and let be a character of a finite abelian group. To adjoin , let be the least positive integer with and choose a complex number of modulus one with . Then is well-defined and extends to . There are exactly choices, corresponding to the roots. Iterating proves character extension to , proves that has exactly characters, and proves separation of points by extending a primitive character of the cyclic subgroup generated by a nonzero point. No structure theorem is needed for this argument.
Articles by others on the same topic
There are currently no matching articles.