P
Initializing...
$\bigcap_n U^{p^n}$ is the prime-to-$p$ torsion of the semilocal units · Prove2Me