環 R の部分集合 I が、加法群としての部分群