>>560の続き

Z_p/pZ_p は有限体であるから、
過去スレ006の554より、Z_p はコンパクトであり、Q_p は局所コンパクトである。