ああ、離散捩れの場合に限るんか
ならp進整数環の可法群とかで反例になるような