Z_p的定义是什么啊，没看懂

有人帮我解释一下这个式子什么意思吗，Z_p和Z/p^nZ的区别是什么

Z/p^nZ 能理解吗？不能理解的话，知道 Z/nZ 表示模 n 同余类吧？那么 Z/p^nZ 就是模 p^n 的同余类。这个概念不理解建议百度，这里纸太少写不下（

Z_p 集合由一个无限长的序列 (a_1,a_2,...) 构成，其中 a_i 是 Z/p^iZ 这个同余类的元素（注意，i 从 1 到无穷）。此外，这个无限长序列的任意相邻的两个元素间还满足 a_(i+1) = a_i (mod p^i) 这个条件。