加法群では12を単位元とすればいいのかな。時計で正午の事を0時と言うか12時と言うかの違いだし。
0が使えないとなると、拡大体はどうなるんだろう。この円で記述出来るのかな。