Exercise 1170Algebra › Rings and fieldsL1Added 3 Nov 2026
Ideals
#ideal#definition#examples
Statement
Let be a commutative ring. An ideal is an additive subgroup such that for all , . Show that:
(a) is an ideal of ;
(b) the set of polynomials with zero constant term is an ideal of ;
(c) and are ideals.
Hint
Check closure under addition and absorption by multiplication.
Show solutionHide solution
Solution
(a) is an additive subgroup of . For and , . Ideal.
(b) Let . Sum of two such polynomials has value at ; product has . Ideal (the kernel of evaluation at ).
(c) : trivially an ideal. : trivially an ideal. These are the trivial ideals.
Conclusion. All three are ideals.