Плоская крышка - Flat cover

В алгебре плоская крышка модуля M над кольцом является сюръективным гомоморфизмом из плоский модуль F к M это в некотором смысле минимально. Любой модуль над кольцом имеет плоское покрытие, единственное с точностью до (неединственного) изоморфизма. Плоские крышки в некотором смысле двойственны инъективные оболочки, и связаны с проективные покрытия и крышки без кручения.

Определения

Гомоморфизм FM определяется как плоское покрытие M если это сюръективно, F плоский, любой гомоморфизм из плоского модуля в M факторы через F, и любую карту из F к F добираться с картой до M является автоморфизмом F.

История

Хотя проективные покрытия для модулей не всегда существуют, предполагалось, что для общих колец каждый модуль будет иметь плоское покрытие. Этот гипотеза о плоской крышке впервые было явно указано в (Енох 1981, стр 196). Гипотеза оказалась верной, положительно разрешенной и одновременно доказанной Бикан, Эль-Башир и Енохс (2001). Этому предшествовали важные работы П. Эклофа, Дж. Трлифая и Дж. Сюй.

Минимальные плоские разрешения

Любой модуль M над кольцом имеет разрешение плоскими модулями

F2F1F0M → 0

так что каждый Fп+1 плоская крышка ядра FпFп−1. Такое разрешение единственно с точностью до изоморфизма и является минимальным плоским разрешением в том смысле, что любое плоское разрешение M факторы через это. Любой гомоморфизм модулей продолжается до гомоморфизма между соответствующими плоскими резольвентами, хотя это расширение, вообще говоря, не единственно.

Рекомендации

  • Енохс, Эдгар Э. (1981), «Инъективные и плоские крышки, конверты и резольвенты», Israel J. Math., 39 (3): 189–209, Дои:10.1007 / BF02760849, ISSN  0021-2172, МИСТЕР  0636889
  • Bican, L .; Эль Башир, Р .; Энохс, Э. (2001), «Все модули имеют плоские крышки», Бык. Лондонская математика. Soc., 33 (4): 385–390, Дои:10.1017 / S0024609301008104, ISSN  0024-6093, МИСТЕР  1832549
  • «Плоская крышка», Энциклопедия математики, EMS Press, 2001 [1994]
  • Сюй, Цзиньчжун (1996), Плоские крышки модулей, Конспект лекций по математике, 1634, Берлин: Springer-Verlag, Дои:10.1007 / BFb0094173, ISBN  3-540-61640-3, МИСТЕР  1438789