Универсальное кольцо Лазара

В математике универсальное кольцо Лазара — это кольцо, введенное Мишелем Лазаром в работе Lazard (1955), над которым определен универсальный коммутативный одномерный формальный групповой закон .

Существует универсальный коммутативный одномерный формальный групповой закон над универсальным коммутативным кольцом , определяемый следующим образом. Пусть

Ф ( х , у ) {\displaystyle F(x,y)}

быть

х + у + я , дж с я , дж х я у дж {\displaystyle x+y+\sum _{i,j}c_{i,j}x^{i}y^{j}}

для неопределенных , и мы определяем универсальное кольцо R как коммутативное кольцо, порожденное элементами , с отношениями, которые навязываются законами ассоциативности и коммутативности для формальных групповых законов. Более или менее по определению, кольцо R имеет следующее универсальное свойство: с я , дж {\displaystyle c_{i,j}} с я , дж {\displaystyle c_{i,j}}

Для каждого коммутативного кольца S одномерные формальные групповые законы над S соответствуют кольцевым гомоморфизмам из R в  S.

Коммутативное кольцо R, построенное выше, известно как универсальное кольцо Лазара . На первый взгляд оно кажется невероятно сложным: отношения между его образующими очень запутанны. Однако Лазар доказал, что оно имеет очень простую структуру: это просто кольцо полиномов (над целыми числами) от образующих степени 1, 2, 3, ..., где имеет степень . Дэниел Квиллен  (1969) доказал, что кольцо коэффициентов комплексного кобордизма естественно изоморфно как градуированное кольцо универсальному кольцу Лазара. Поэтому топологи обычно переградуируют кольцо Лазара так, что имеет степень , поскольку кольцо коэффициентов комплексного кобордизма равномерно градуировано. с я , дж {\displaystyle c_{i,j}} ( я + дж 1 ) {\displaystyle (i+j-1)} с я , дж {\displaystyle c_{i,j}} 2 ( я + дж 1 ) {\displaystyle 2(i+j-1)}

Ссылки

Взято с "https://en.wikipedia.org/w/index.php?title=Lazard%27s_universal_ring&oldid=951160263"