Chinese remainder theorem
である。中国の剰余定理により、これは全てのp-進整数環の積に同型である。