有限群の無限直積とか