Здравствуйте
есть задача:
построить фактор-кольцо

и выяснить когда оно является полем.
Фактор-уольцо я построил. Проблема с определением того, когда это кольцо является полем.
Я доказал, что d должно быть обязательно простым. Иначе в кольце есть делители нуля.
А дальше не знаю что делать. =(
Сейчас я пытаюсь найти единицу в кольце подозреваю, что она не всегда существует. вероятно она существует если

где k - некоторое целое.
Но доказать этого не получается. Подскажите пожалуйста как это можно сделать?