Факторкольцо: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м оформление
м викификация
Строка 3:
Обозначается <math>\mathrm{K}/\mathrm{J}</math>.
 
''Классы вычетов по модулю [[идеалИдеал (алгебра)|идеала]]а'' <math>\mathrm{J}</math> определяются как [[смежный класс|смежные классы]] [[кольцо_(математика)|кольца]] <math>\mathrm{K}</math> по аддитивной [[подгруппа|подгруппе]] <math>\mathrm{J}</math>. Класс вычетов, содержащий элемент <math>\mathrm{a}</math> обычно обозначается <math>\mathrm{[a] = (a+J) = \{a+c|c\in J\}}</math>. Два различных элемента кольца, принадлежащие одному классу вычетов, называются ''равными по модулю идеала''.
 
Операции в факторкольце (сложение и умножение) определяются равенствами: