>>902
pを素数として、有理数体Qを非アルキメデス付値で完備化しても、p進整数環 Z_p の標数は0なのか。