Хочу немного подготовиться по алгебре, а для этого решил сделать несколько заданий преподавателя вместо чтения книги, т.к. от этого мало пользы. Возьмусь за решение, а там уже буду искать информацию по необходимости. Вот условие. Напишу две задачи, потому что они выглядят маленькими, по крайней мере на первый взгляд:
1) Определить, являются ли следующие идеалы простыми, максимальными:

в
![$R=R[X]$ $R=R[X]$](https://dxdy-02.korotkov.co.uk/f/9/a/b/9abc1523a33b4d905240107102b6a02682.png)
2) Определить идеалы кольца

и вычислить факторизации по данным идеалам.
Определения:
Идеал называется простым, если фактор-кольцо по нему является областью целостностиКак применить это определение в первой задаче? Построить кольцо по модулю многочлена

, составить таблицу умножения и посмотреть, не будут ли в таблице видны делители нуля?
Максимальным идеалом коммутативного кольца называется всякий собственный идеал кольца, не содержащийся ни в каком другом собственном идеале.
Что такое факторизация по идеалу

? Надо составить классы эквивалентности вида

? Как это сделать?
Помогите разобраться, предложите какие-нибудь идеи для решения, надо, чтобы кто-то направлял меня по ходу разбора задач и решения.