MaRDI QIDQ6674012
additive subgroup of a ring closed under multiplication by an arbitrary ring element