А дайте-ка определение фактор-кольца.
Ну это множество классов смежности элементов кольца по некоторому идеалу.
Например для факторкольца

это будет 5 классов смежности, соответственно это фактор-кольцо будет состоять из 5 элементов.
Но вот для
![$k[[x]]$ $k[[x]]$](https://dxdy-03.korotkov.co.uk/f/a/f/f/aff7d7041bb3a37984c7753c7e8d756682.png)
кольца я не могу так сразу понять что такое будет факторкольцо. Поэтому и прошу помочь разобраться.
-- 01.12.2016, 14:28 --А дайте-ка определение фактор-кольца.
Ну это множество классов смежности элементов кольца по некоторому идеалу.
Например для факторкольца

это будет 5 классов смежности, соответственно это фактор-кольцо будет состоять из 5 элементов.
Но вот для
![$k[[x]]$ $k[[x]]$](https://dxdy-03.korotkov.co.uk/f/a/f/f/aff7d7041bb3a37984c7753c7e8d756682.png)
кольца я не могу так сразу понять что такое будет факторкольцо. Поэтому и прошу помочь разобраться.
Грубо говоря, в данном случае элементами факторкольца должны быть все остатки от деления
![$k[[x]]$ $k[[x]]$](https://dxdy-03.korotkov.co.uk/f/a/f/f/aff7d7041bb3a37984c7753c7e8d756682.png)
на фактор, то есть на идеал порожденный

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

? или я что-то не понимаю?