The set contains zero. If , then , giving closure under additive inverses; also for every .
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, giving
This 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 (0)

There are currently no matching articles.