本稿では、このような "" を、の周期行列と言うことにする。