Несколько там туманно написано, у вас в типовике.
Если я не ошибаюсь, классы смежности определяются для подгруппы. Что такое классы смежности для кольца я не знаю.
Факторгруппа существует, если подгуппа
нормальна.
Факторкольцо определяется для
идеала кольца, а не для любого подкольца.
В данном случае, мы имеем
кольцо многочленов
![$ \ \mathbb{R}[x]$ $ \ \mathbb{R}[x]$](https://dxdy-03.korotkov.co.uk/f/e/6/e/e6e92540ad0c03d2d2f8a4282dc31fd182.png)
. Подкольцо
![$ \ \mathbb{Z}[x]$ $ \ \mathbb{Z}[x]$](https://dxdy-02.korotkov.co.uk/f/d/3/c/d3c0a37db00c9af0990b4abe0d2e4bee82.png)
идеалом, естественно, не является. Поэтому говорить о факторкольце не приходится.