中山の補題
I を R の左イデアルとすると、以下の条件は同値である:
I ⊂ J (R)
任意の有限生成左 R-加群 M に対し、IM = 0 ならば M = 0
M / N が有限生成であるような任意の左 R 加群 N ⊂ M に対し、N + IM = M ならば N = M