Построение факторкольца

[Xardvor]

Нужно построить факторкольцо гауссовых целых чисел по главному идеалу, порожденному элементом 1+2i.

[Null]

Что хорошего лежит в этом идеале?

[Xardvor]

Ну, там лежат все числа из Z[i], делящиеся нацелo на 1+2i

[Null]

$a+bi=(b-2a-5k)i+(a+ik+2k)(1+2i)$

[Xardvor]

Эээм, и как этим пользоваться?

[Null]

Что такое факторкольцо?

[Gortaur]

Что такое делится нацело?