Yes. An ideal is also closed under addition (in fact, it is a subgroup of ), so you also get elements such as with . However, you can see that this is the same as , where . Since multiplication by an element in and adding elements in generates the whole ideal, this shows (by example, not proof) that