To prove closure under addition, let . Expand by the binomial theorem. In every monomial , either or . Thus each term contains a factor or and belongs to . Hence , so . The additive subgroup and absorption properties are proved, givingThis ideal is the radical of an ideal. The finite exponent for a sum uses commutativity of the ring.
Articles by others on the same topic
There are currently no matching articles.