円周群
circle group
https://ja.wikipedia.org/wiki/円周群