A を可換環とし、M を A 加群、 を有向集合、 を M の部分 A 加群の族で が成り立っているものとする。このとき の基本近傍形を にとることで M が位相群となることは前回示したが、ここで ならば、自然な群準同型 が存在するから、A 加群の射影系 が存在す…