Zn一般表示正整数模n的剩余类。

至于⊕应该是定义的Zn论域里的一个运算，具体是什么，应该看书中或文章中是怎么定义的。这里我认为应该是在模n意义下整数的加法运算，这样的话<Zn,⊕>构成一个模n的剩余类加群。