群论里面有一个例题是用群的拉格朗日定理证明费马小定理a^(p-1)和1关于p同余,第一行的内容是:“只需证明在Ip中[a^p]=[a]”请问,这里的Ip是什么意思? 中括号表示什么意思? [a^p}表示什么含义?谢谢!!!!!