有限生成不変部分群の性質に関するノート | Synapse