Maths WorkshopMaths problems with full solutions
Exercise 1170Algebra › Rings and fieldsL1Added 3 Nov 2026

Ideals

#ideal#definition#examples

Statement

Let RR be a commutative ring. An ideal I⊆RI\subseteq R is an additive subgroup such that rx∈Irx\in I for all r∈Rr\in R, x∈Ix\in I. Show that:

(a) nZn\mathbb{Z} is an ideal of Z\mathbb{Z};
(b) the set of polynomials with zero constant term is an ideal of R[X]\mathbb{R}[X];
(c) {0}\{0\} and RR are ideals.

Hint

Check closure under addition and absorption by multiplication.

Show solutionHide solution

Solution

(a) nZn\mathbb{Z} is an additive subgroup of Z\mathbb{Z}. For r∈Zr\in\mathbb{Z} and x=nkx=nk, rx=rnk=n(rk)∈nZrx=rnk=n(rk)\in n\mathbb{Z}. Ideal.

(b) Let I={P∈R[X]:P(0)=0}I=\{P\in\mathbb{R}[X]:P(0)=0\}. Sum of two such polynomials has value 00 at 00; product QPQP has (QP)(0)=Q(0)⋅0=0(QP)(0)=Q(0)\cdot0=0. Ideal (the kernel of evaluation at 00).

(c) {0}\{0\}: trivially an ideal. RR: trivially an ideal. These are the trivial ideals.

Conclusion. All three are ideals.