Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В абстрактной алгебре , А мультипликативно замкнутое множество (или мультипликативный набор ) представляет собой подмножество S из кольца R таким образом, что выполнены следующие два условия: [1] [2]

  • ,
  • для всех .

Другими словами, S будет закрыта относительно взятия конечных продуктов, в том числе пустого продукта 1. [3] Эквивалентно, мультипликативный множество является подмоноид мультипликативной моноиде кольца.

Мультипликативные множества особенно важны в коммутативной алгебре , где они используются для построения локализаций коммутативных колец.

Подмножество S из кольца R называется насыщенным , если он замкнут относительно взятия делителей : то есть, каждый раз , когда продукт х находится в S , то элементы х и у находятся в S тоже.

Примеры [ править ]

Общие примеры мультипликативных наборов включают:

Свойства [ править ]

  • Идеал P коммутативного кольца R первичен тогда и только тогда, когда его дополнение RP мультипликативно замкнуто.
  • Подмножество S является насыщенным и мультипликативно замкнутым тогда и только тогда, когда S является дополнением к объединению простых идеалов. [4] В частности, дополнение к простому идеалу является одновременно насыщенным и мультипликативно замкнутым.
  • Пересечение семейства мультипликативных множеств является мультипликативным множеством.
  • Пересечение семейства насыщенных множеств насыщено.

См. Также [ править ]

Заметки [ править ]

  1. Атья и Макдональд, стр. 36.
  2. ^ Ланг, стр. 107.
  3. ^ Эйзенбад, стр. 59.
  4. ^ Капланский, стр. 2, теорема 2.

Ссылки [ править ]