сладко стянул

сладко стянул

А я давно хотел понять по гомологическим данным, "сколько* нужно образующих и соотношений" для копредставления связной ассоциативной k-алгебры A. Ответ простой, если k — поле: это размерности векторных пространств Tor_1^A(k,k) и Tor_2^A(k,k). Сегодня я проверил…

Пусть T(x,y) — тензорная алгебра (некоммутативные многочлены от двух переменных) над каким-нибудь коммутативным кольцом. Вот оказывается алгебра T(x,y)/(2x=0, 3y=0) порождается одним элементом (задача: каким?)

(а если ввести мультиградуировку, скажем deg(x):=(1,0), deg(y):=(0,1), и требовать чтобы образующие и соотношения были мультиоднородными, то одним элементом её не породить. Это потому что Z/2⊕Z/3 = Z/6)

(ну и, конечно, алгебра T(x,y)/(2x=0, 2y=0) тоже одним элементом не порождается)

www.group-telegram.com/sg/sweet_homotopy.com/1945

1.2K viewsedited  Feb 27 at 19:03

Пусть T(x,y) — тензорная алгебра (некоммутативные многочлены от двух переменных) над каким-нибудь коммутативным кольцом. Вот оказывается алгебра T(x,y)/(2x=0, 3y=0) порождается одним элементом (задача: каким?)

(а если ввести мультиградуировку, скажем deg(x):=(1,0), deg(y):=(0,1), и требовать чтобы образующие и соотношения были мультиоднородными, то одним элементом её не породить. Это потому что Z/2⊕Z/3 = Z/6)

(ну и, конечно, алгебра T(x,y)/(2x=0, 2y=0) тоже одним элементом не порождается)

BY сладко стянул