ありがとう。4元数体なら４重周期関数が定義できるのかなということを考えてた。