Максимальный общий делитель

В абстрактной алгебре , в частности в теории колец , максимальные общие делители являются абстракцией понятия теории чисел наибольшего общего делителя (НОД). Это определение немного более общее, чем НОД, и может существовать в кольцах, в которых НОД не существуют. Хальтер-Кох (1998) дает следующее определение. [1]

г ЧАС {\displaystyle d\in H} является максимальным общим делителем подмножества , если выполняются следующие критерии: Б ЧАС {\displaystyle B\subset H}

  1. г | б {\displaystyle д|б} для всех б Б {\displaystyle b\in B}
  2. Предположим , что и для всех . Тогда . с ЧАС {\displaystyle c\in H} г | с {\displaystyle d|c} с | б {\displaystyle c|b} б Б {\displaystyle b\in B} с г {\displaystyle c\simeq d}

Ссылки

  1. ^ Халтер-Кох, Франц (1998). Идеальные системы . Марсель Деккер. ISBN 0-8247-0186-0.


Взято с "https://en.wikipedia.org/w/index.php?title=Максимальный_общий_делитель&oldid=1170033246"